ilovezfs
13 commits · 9 version changes
2016-02-26 – 2018-05-31compcert version history (formula)
All packages / formula
compcert
formularemovedformula timeline from Homebrew git history.
- Current
- 3.7
- Versions
- 20
- Since
- Feb 2014
- Cadence
- 128d
- Bottles
- 0 platforms
Update cadence
Feb 2014 to Apr 2020
Bottle availability
8 availability spans
| Platform | From | Until | First bottled commit | Removal commit |
|---|---|---|---|---|
| macOS Catalina 10.15 (x86_64) | 2020-03-09 | 2020-04-11 | d33113f3e | be2ca53e3 |
| macOS Mojave 10.14 (x86_64) | 2018-09-17 | 2020-04-11 | 8a5f29be2 | be2ca53e3 |
| macOS High Sierra 10.13 (x86_64) | 2017-09-23 | 2020-04-11 | 6f3e8b844 | be2ca53e3 |
| macOS Sierra 10.12 (x86_64) | 2016-09-27 | 2020-03-09 | b5e44548a | d33113f3e |
| OS X El Capitan 10.11 (x86_64) | 2015-12-20 | 2019-03-22 | 479af9232 | b2431cc26 |
| OS X Yosemite 10.10 (x86_64) | 2015-08-13 | 2017-11-05 | 2eab1957f | b3c8cb480 |
| OS X Mavericks 10.9 (x86_64) | 2015-08-13 | 2016-12-30 | 2eab1957f | cbe229499 |
| OS X Mountain Lion 10.8 (x86_64) | 2015-08-13 | 2015-12-20 | 2eab1957f | 479af9232 |
Contributors
16 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
Jack Nagel
4 commits · 1 version change
2014-05-26 – 2014-05-26Benjamin Beurdouche
3 commits · 3 version changes
2017-02-21 – 2017-08-28Calvin Loncaric
2 commits · 2 version changes
2014-02-16 – 2014-10-11Troels Henriksen
1 commit · 0 version changes
2020-04-11 – 2020-04-11Tej Chajed
1 commit · 1 version change
2020-04-10 – 2020-04-10Thierry Moisan
1 commit · 0 version changes
2020-04-10 – 2020-04-10Bo Anderson
1 commit · 0 version changes
2020-03-09 – 2020-03-09Caleb Xu
1 commit · 1 version change
2019-09-21 – 2019-09-21Igor Kapkov
1 commit · 1 version change
2019-03-22 – 2019-03-22Francois-Xavier Coudert
1 commit · 1 version change
2018-09-17 – 2018-09-17Viktor Szakats
1 commit · 0 version changes
2015-12-20 – 2015-12-20Show 4 more
Andrew Janke
1 commit · 0 version changes
2015-12-19 – 2015-12-19Alex Wang
1 commit · 0 version changes
2015-09-04 – 2015-09-04Alex Dunn
1 commit · 1 version change
2015-08-13 – 2015-08-13Nikolaus Wittenstein
1 commit · 0 version changes
2015-06-05 – 2015-06-05Automation
BrewTestBot
23 commits · 0 version changes
2015-08-03 – 2020-03-09Version timeline
20 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 3.7 | 2020-04-10 | ec5d12cd5 | compcert 3.7 |
| 3.6 | 2019-09-21 | dc7d74f9e | compcert 3.6 |
| 3.5 | 2019-03-22 | adf0a34b5 | compcert 3.5 |
| 3.4 | 2018-09-17 | 2e0db822d | compcert 3.4 |
| 3.3 | 2018-05-31 | 641a26d9d | compcert 3.3 |
| 3.2 | 2018-01-16 | 98f7f6b6e | compcert 3.2 |
| 3.1 | 2017-08-28 | b5b745ec5 | compcert 3.1 |
| 3.0.1 | 2017-07-16 | 80bd4e957 | compcert: revision for ocaml |
| 3.0.1 | 2017-06-24 | fdfefc3b2 | compcert: revision for ocaml |
| 3.0.1 | 2017-03-22 | 6abd0e096 | compcert: depend on coq |
| 3.0.1 | 2017-03-22 | 7ed9f9e4d | Compcert 3.0.1 |
| 3.0 | 2017-02-21 | 2f4163bdf | compcert 3.0 |
| 2.7.1 | 2016-12-30 | b8e8f38ba | compcert: build with Coq 8.5pl3 from OPAM |
| 2.7.1 | 2016-07-20 | 9910501e8 | compcert 2.7.1 |
| 2.7 | 2016-07-03 | 6843a3047 | compcert 2.7 |
| 2.6 | 2016-02-26 | 6c8ab62f4 | compcert 2.6 |
| 2.5 | 2015-08-13 | 764cf8881 | compcert 2.5 |
| 2.4 | 2014-10-11 | 04a99fb57 | Compcert 2.4 |
| 2.3pl2 | 2014-05-26 | 560982588 | compcert 2.3pl2 |
| 2.1 | 2014-02-16 | 2864b15b9 | compcert 2.1 |