Tej Chajed
15 commits · 11 version changes
2017-08-18 – 2022-01-13coq version history (formula)
All packages / formula
coq
formularenamedformula timeline from Homebrew git history.
- Current
- 8.20.1
- Versions
- 62
- Since
- Sep 2010
- Cadence
- 67d
Update cadence
Sep 2010 to Jan 2025
Contributors
53 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
ilovezfs
14 commits · 13 version changes
2016-05-13 – 2018-07-10Carlo Cabrera
8 commits · 3 version changes
2021-01-07 – 2025-03-21Rui Chen
7 commits · 3 version changes
2021-01-07 – 2025-06-22Mike McQuaid
7 commits · 1 version change
2015-04-11 – 2023-08-15Adam Vandenberg
7 commits · 1 version change
2010-12-03 – 2014-05-25Jack Nagel
5 commits · 0 version changes
2013-01-19 – 2015-06-26Patrick Linnane
3 commits · 2 version changes
2022-11-26 – 2023-06-27Tej Chajed
3 commits · 3 version changes
2015-05-15 – 2016-01-25Ruoyu Zhong
2 commits · 0 version changes
2023-09-22 – 2024-09-11Thierry Moisan
2 commits · 2 version changes
2019-01-26 – 2023-04-15Porkepix
2 commits · 2 version changes
2022-09-21 – 2022-11-25Show 41 more
Francois-Xavier Coudert
2 commits · 0 version changes
2020-11-16 – 2022-10-27Rylan Polster
2 commits · 0 version changes
2020-11-14 – 2021-02-03rui
2 commits · 1 version change
2020-12-11 – 2020-12-11Dominyk Tiller
2 commits · 1 version change
2014-10-31 – 2016-07-22harold cooper
2 commits · 0 version changes
2016-06-29 – 2016-06-29bellbind
2 commits · 2 version changes
2012-08-08 – 2012-08-22Michael Dippery
2 commits · 2 version changes
2010-09-30 – 2010-11-05Michael Cho
1 commit · 0 version changes
2025-03-23 – 2025-03-23Anton Kochkov
1 commit · 1 version change
2024-05-26 – 2024-05-26Timothy Sutton
1 commit · 1 version change
2024-03-16 – 2024-03-16Jade Elizabeth Sailor
1 commit · 1 version change
2024-02-20 – 2024-02-20Jason Gross
1 commit · 1 version change
2023-12-24 – 2023-12-24Eric Knibbe
1 commit · 1 version change
2023-12-05 – 2023-12-05Caleb Xu
1 commit · 1 version change
2022-06-30 – 2022-06-30Nanda H Krishna
1 commit · 0 version changes
2021-08-20 – 2021-08-20Michael Cho
1 commit · 0 version changes
2021-07-21 – 2021-07-21Sam Ford
1 commit · 0 version changes
2021-02-03 – 2021-02-03Nanda H Krishna
1 commit · 0 version changes
2020-08-28 – 2020-08-28rui
1 commit · 1 version change
2020-07-25 – 2020-07-25William Ma
1 commit · 0 version changes
2020-07-02 – 2020-07-02Michka Popoff
1 commit · 0 version changes
2020-06-22 – 2020-06-22Dawid Dziurla
1 commit · 0 version changes
2020-04-06 – 2020-04-06Igor Kapkov
1 commit · 1 version change
2019-05-31 – 2019-05-31Thomas Hartmann
1 commit · 1 version change
2018-10-28 – 2018-10-28commitay
1 commit · 0 version changes
2018-09-17 – 2018-09-17Luke Nelson
1 commit · 1 version change
2016-04-20 – 2016-04-20Tomasz Pajor
1 commit · 0 version changes
2016-01-30 – 2016-01-30Satoshi Ohmori
1 commit · 0 version changes
2016-01-12 – 2016-01-12Andrew Janke
1 commit · 0 version changes
2015-10-05 – 2015-10-05Alex Wang
1 commit · 0 version changes
2015-09-02 – 2015-09-02Anil Madhavapeddy
1 commit · 0 version changes
2015-07-31 – 2015-07-31Alex Dunn
1 commit · 1 version change
2015-07-05 – 2015-07-05Nikolaus Wittenstein
1 commit · 0 version changes
2015-05-19 – 2015-05-19Nada Amin
1 commit · 0 version changes
2014-04-25 – 2014-04-25Josh Tilles
1 commit · 1 version change
2013-12-24 – 2013-12-24Darin Morrison
1 commit · 0 version changes
2013-09-19 – 2013-09-19Duckki Oe
1 commit · 1 version change
2013-04-05 – 2013-04-05Jonas B. Jensen
1 commit · 1 version change
2013-01-03 – 2013-01-03Kenn Knowles
1 commit · 0 version changes
2012-08-29 – 2012-08-29Pedro Borges
1 commit · 1 version change
2012-03-12 – 2012-03-12Austin Seipp
1 commit · 1 version change
2011-07-14 – 2011-07-14Automation
BrewTestBot
53 commits · 4 version changes
2015-05-15 – 2025-01-16Version timeline
62 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 8.20.1 | 2025-01-16 | dc2c50750 | coq 8.20.1 |
| 8.20.0 | 2024-09-04 | 0fa3307ef | coq 8.20.0 |
| 8.19.2 | 2024-06-10 | 6675f7637 | coq 8.19.2 |
| 8.19.1 | 2024-05-26 | bfa9d39c9 | coq: revision bump (ocaml-5.2.0) |
| 8.19.1 | 2024-03-16 | a19ada00c | coq 8.19.1 |
| 8.19.0 | 2024-02-20 | a6e9b5ff0 | coq 8.19.0 |
| 8.19.0 | 2023-12-24 | b221d6bf2 | coq: update libdir paths a la ocaml-findlib |
| 8.18.0 | 2023-12-05 | 7c26d61f2 | coq 8.18.0 |
| 8.17.1 | 2023-06-27 | b76d3d1a8 | coq 8.17.1 |
| 8.17.0 | 2023-04-19 | 49bf6e805 | coq: add `coqide-server` |
| 8.17.0 | 2023-04-15 | b4e16bd32 | coq 8.17.0 |
| 8.16.1 | 2023-03-27 | 8b7aab714 | coq: depend on `ocaml-findlib` |
| 8.16.1 | 2022-11-25 | 267477800 | coq 8.16.1 |
| 8.16.0 | 2022-09-21 | f8f6ab89b | coq 8.16.0 |
| 8.15.2 | 2022-06-30 | 52850559f | coq 8.15.2 |
| 8.15.0 | 2022-01-13 | 24eaef656 | coq 8.15.0 |
| 8.14.1 | 2021-11-23 | feddc61fb | coq 8.14.1 |
| 8.14.0 | 2021-10-14 | 14e5d4bc6 | coq 8.14.0 |
| 8.13.2 | 2021-04-01 | 6b1988db1 | coq 8.13.2 |
| 8.13.1 | 2021-02-22 | 954bff952 | coq 8.13.1 |
| 8.13.0 | 2021-01-07 | 985a6843c | coq 8.13.0 |
| 8.12.2 | 2020-12-11 | 43fd15c38 | coq 8.12.2 |
| 8.12.1 | 2020-11-13 | a9f4eff33 | coq 8.12.1 |
| 8.12.0 | 2020-07-25 | 0c2a1a551 | coq 8.12.0 |
| 8.11.2 | 2020-05-26 | 8cf404486 | coq 8.11.2 |
| 8.11.1 | 2020-04-05 | 36c02871c | coq 8.11.1 |
| 8.11.0 | 2020-01-29 | 6a9f991ce | coq 8.11.0 |
| 8.10.2 | 2019-12-13 | 6669a8490 | coq: remove camlp5 dependency |
| 8.10.2 | 2019-11-29 | e07f3a88e | coq 8.10.2 |
| 8.10.1 | 2019-11-02 | 5ce1cb300 | coq 8.10.1 |
| 8.10.0 | 2019-10-09 | 8b1ed8751 | coq 8.10.0 |
| 8.9.1 | 2019-05-31 | a8212242a | coq 8.9.1 |
| 8.9.0 | 2019-01-26 | 4149a2e55 | coq 8.9.0 |
| 8.8.2 | 2018-10-28 | 5504b656c | coq 8.8.2 |
| 8.8.1 | 2018-07-10 | 48859b864 | coq 8.8.1 |
| 8.8.0 | 2018-04-18 | c36c6dc62 | coq 8.8.0 |
| 8.7.2 | 2018-02-17 | 1b6276dfe | coq 8.7.2 |
| 8.7.1 | 2017-12-16 | 9b860a040 | coq 8.7.1 |
| 8.7.0 | 2017-11-04 | 44b8b2209 | coq: depend on ocaml-num |
| 8.7.0 | 2017-10-18 | 1580e2ead | coq 8.7.0 |
| 8.6.1 | 2017-07-16 | 14c713efe | coq: revision for ocaml |
| 8.6.1 | 2017-07-06 | 150ce8b72 | coq 8.6.1 |
| 8.6 | 2016-12-15 | aa172e518 | coq 8.6 |
| 8.5pl3 | 2016-11-30 | e523b1df8 | coq: revision for camlp5 |
| 8.5pl3 | 2016-10-29 | 7d9126f66 | coq 8.5pl3 |
| 8.5pl2 | 2016-07-08 | 8e7262529 | coq 8.5pl2 |
| 8.5pl1 | 2016-05-13 | b574a5496 | coq: revision for ocaml |
| 8.5pl1 | 2016-04-20 | 019d8048e | coq 8.5pl1 |
| 8.5 | 2016-01-25 | bc3c5ad3c | coq: update to v8.5 |
| 8.4pl6 | 2015-07-05 | fab4b0341 | coq: formula-specific directory in site-lisp |
| 8.4pl6 | 2015-04-11 | 968429d7a | coq: cleanup requirement naming. |
| 8.4pl5 | 2014-10-31 | 4416a06ba | coq 8.4pl5 |
| 8.4pl4 | 2014-05-25 | 71af7d253 | coq 8.4pl4 |
| 8.4pl3 | 2013-12-24 | 6f43f258f | coq 8.4pl3 |
| 8.4pl2 | 2013-04-05 | f18e64366 | updated coq version to 8.4pl2 |
| 8.4pl1 | 2013-01-03 | 4aebec486 | coq 8.4pl1 |
| 8.4 | 2012-08-22 | 15d9e60e7 | coq 8.4 |
| 8.3pl4 | 2012-08-08 | a830a4bd6 | coq-8.3pl4 |
| 8.3pl3 | 2012-03-12 | f32cd659c | coq 8.3pl3 |
| 8.3pl2 | 2011-07-14 | f03a12359 | coq 8.3pl2 |
| 8.3 | 2010-11-05 | 6c11c6658 | coq: Upgrade to v8.3 |
| 8.2 | 2010-09-30 | 2918d4994 | Added coq |