ilovezfs
13 commits · 9 version changes
2016-02-24 – 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
- 129d
Update cadence
Feb 2014 to Apr 2020
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-20 – 2017-08-27Calvin Loncaric
2 commits · 2 version changes
2014-02-13 – 2014-10-11Troels Henriksen
1 commit · 0 version changes
2020-04-11 – 2020-04-11Thierry Moisan
1 commit · 0 version changes
2020-04-10 – 2020-04-10Tej Chajed
1 commit · 1 version change
2020-04-09 – 2020-04-09Bo Anderson
1 commit · 0 version changes
2020-03-08 – 2020-03-08Caleb Xu
1 commit · 1 version change
2019-09-20 – 2019-09-20Igor Kapkov
1 commit · 1 version change
2019-03-22 – 2019-03-22Francois-Xavier Coudert
1 commit · 1 version change
2018-09-05 – 2018-09-05Viktor 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-02 – 2015-09-02Alex Dunn
1 commit · 1 version change
2015-08-12 – 2015-08-12Nikolaus Wittenstein
1 commit · 0 version changes
2015-05-19 – 2015-05-19Automation
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-09 | ec5d12cd5 | compcert 3.7 |
| 3.6 | 2019-09-20 | dc7d74f9e | compcert 3.6 |
| 3.5 | 2019-03-22 | adf0a34b5 | compcert 3.5 |
| 3.4 | 2018-09-05 | 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-27 | 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-21 | 7ed9f9e4d | Compcert 3.0.1 |
| 3.0 | 2017-02-20 | 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-02 | 6843a3047 | compcert 2.7 |
| 2.6 | 2016-02-24 | 6c8ab62f4 | compcert 2.6 |
| 2.5 | 2015-08-12 | 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-13 | 2864b15b9 | compcert 2.1 |