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
- Nov 2010
- Cadence
- 69d
- Bottles
- 0 platforms
Update cadence
Nov 2010 to Jan 2025
Bottle availability
19 availability spans
| Platform | From | Until | First bottled commit | Removal commit |
|---|---|---|---|---|
| Linux (arm64) | 2025-03-21 | 2025-08-23 | 15bd58a5a | 6b199c458 |
| Linux (x86_64) | 2021-07-21 | 2025-08-23 | a0a740df0 | 6b199c458 |
| macOS Sequoia 15 (arm64) | 2024-09-11 | 2025-08-23 | a6a89e295 | 6b199c458 |
| macOS Sonoma 14 (arm64) | 2023-09-22 | 2025-08-23 | f91044316 | 6b199c458 |
| macOS Sonoma 14 (x86_64) | 2023-09-22 | 2025-08-23 | f91044316 | 6b199c458 |
| macOS Ventura 13 (arm64) | 2022-10-27 | 2025-08-23 | 4e03e3de3 | 6b199c458 |
| macOS Ventura 13 (x86_64) | 2022-11-26 | 2025-08-23 | 79f06d3a7 | 6b199c458 |
| macOS Monterey 12 (arm64) | 2021-11-08 | 2025-01-16 | a1765e91c | 65d251e6c |
| macOS Monterey 12 (x86_64) | 2021-11-08 | 2025-01-16 | a1765e91c | 65d251e6c |
| macOS Big Sur 11 (arm64) | 2021-02-21 | 2023-12-06 | 1cdef3a17 | 3e1a15920 |
| macOS Big Sur 11 (x86_64) | 2020-11-16 | 2023-12-06 | c8ea364ff | 3e1a15920 |
| macOS Catalina 10.15 (x86_64) | 2019-10-10 | 2023-03-27 | f52ce52ca | 5ffc5b840 |
| macOS Mojave 10.14 (x86_64) | 2018-08-20 | 2021-11-24 | ce6f87ae3 | c26955483 |
| macOS High Sierra 10.13 (x86_64) | 2017-09-23 | 2020-12-11 | 50e893ff9 | 4792b61f0 |
| macOS Sierra 10.12 (x86_64) | 2016-09-17 | 2019-10-10 | 63e79b897 | f52ce52ca |
| OS X El Capitan 10.11 (x86_64) | 2015-09-23 | 2018-10-31 | aa2da0281 | ef92c34e0 |
| OS X Yosemite 10.10 (x86_64) | 2015-05-16 | 2017-10-18 | 0ed32e9de | 11443c887 |
| OS X Mavericks 10.9 (x86_64) | 2015-05-16 | 2016-10-30 | 0ed32e9de | f7288e4e3 |
| OS X Mountain Lion 10.8 (x86_64) | 2015-05-16 | 2015-10-13 | 0ed32e9de | 8a6994687 |
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-15 – 2018-07-10Carlo Cabrera
8 commits · 3 version changes
2021-01-08 – 2025-03-21Rui Chen
7 commits · 3 version changes
2021-01-08 – 2025-06-22Mike McQuaid
7 commits · 0 version changes
2015-06-16 – 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 · 2 version changes
2015-05-16 – 2016-01-25Ruoyu Zhong
2 commits · 0 version changes
2023-09-22 – 2024-09-11Thierry Moisan
2 commits · 2 version changes
2019-02-10 – 2023-04-16Porkepix
2 commits · 2 version changes
2022-09-26 – 2022-11-26Show 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-04rui
2 commits · 1 version change
2020-12-11 – 2020-12-11Dominyk Tiller
2 commits · 1 version change
2014-11-02 – 2016-07-22harold cooper
2 commits · 0 version changes
2016-06-30 – 2016-06-30bellbind
2 commits · 2 version changes
2012-08-08 – 2012-08-28Michael Dippery
2 commits · 2 version changes
2010-11-04 – 2010-11-06Michael Cho
1 commit · 0 version changes
2025-08-19 – 2025-08-19Anton Kochkov
1 commit · 1 version change
2024-06-04 – 2024-06-04Timothy Sutton
1 commit · 1 version change
2024-04-01 – 2024-04-01Jason Gross
1 commit · 1 version change
2024-02-27 – 2024-02-27Jade Elizabeth Sailor
1 commit · 1 version change
2024-02-20 – 2024-02-20Eric Knibbe
1 commit · 1 version change
2023-12-05 – 2023-12-05Caleb Xu
1 commit · 1 version change
2022-07-01 – 2022-07-01Nanda 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-26 – 2020-07-26William Ma
1 commit · 0 version changes
2020-07-06 – 2020-07-06Michka 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-06-03 – 2019-06-03Thomas Hartmann
1 commit · 1 version change
2018-10-31 – 2018-10-31commitay
1 commit · 0 version changes
2018-09-17 – 2018-09-17Luke Nelson
1 commit · 1 version change
2016-04-21 – 2016-04-21Tomasz Pajor
1 commit · 0 version changes
2016-01-30 – 2016-01-30Satoshi Ohmori
1 commit · 0 version changes
2016-01-13 – 2016-01-13Andrew Janke
1 commit · 0 version changes
2015-10-13 – 2015-10-13Alex Wang
1 commit · 0 version changes
2015-09-04 – 2015-09-04Alex Dunn
1 commit · 0 version changes
2015-08-02 – 2015-08-02Anil Madhavapeddy
1 commit · 1 version change
2015-08-01 – 2015-08-01Nikolaus Wittenstein
1 commit · 0 version changes
2015-06-05 – 2015-06-05Nada Amin
1 commit · 0 version changes
2014-04-25 – 2014-04-25Josh Tilles
1 commit · 1 version change
2013-12-25 – 2013-12-25Darin Morrison
1 commit · 0 version changes
2013-09-19 – 2013-09-19Duckki Oe
1 commit · 1 version change
2013-04-07 – 2013-04-07Jonas 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-13 – 2012-03-13Austin Seipp
1 commit · 1 version change
2011-07-29 – 2011-07-29Automation
BrewTestBot
53 commits · 3 version changes
2015-05-16 – 2025-01-16Version timeline
62 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 8.20.1 | 2025-01-16 | 65d251e6c | coq 8.20.1 |
| 8.20.0 | 2024-09-04 | 66852c02e | coq 8.20.0 |
| 8.19.2 | 2024-06-10 | 4b033374b | coq 8.19.2 |
| 8.19.1 | 2024-06-06 | ebed60d6d | coq: revision bump (ocaml-5.2.0) |
| 8.19.1 | 2024-04-01 | 0fa6b03d8 | coq 8.19.1 |
| 8.19.0 | 2024-02-27 | 4b9be8a0b | coq: update libdir paths a la ocaml-findlib |
| 8.19.0 | 2024-02-27 | dfed05ca8 | coq 8.19.0 |
| 8.18.0 | 2023-12-06 | 3e1a15920 | coq 8.18.0 |
| 8.17.1 | 2023-06-27 | 94f6d094e | coq 8.17.1 |
| 8.17.0 | 2023-04-20 | f9304e77b | coq: add `coqide-server` |
| 8.17.0 | 2023-04-18 | f1674c760 | coq 8.17.0 |
| 8.16.1 | 2023-03-27 | 5ffc5b840 | coq: depend on `ocaml-findlib` |
| 8.16.1 | 2022-11-26 | 267477800 | coq 8.16.1 |
| 8.16.0 | 2022-09-26 | f8f6ab89b | coq 8.16.0 |
| 8.15.2 | 2022-07-01 | 52850559f | coq 8.15.2 |
| 8.15.0 | 2022-01-13 | 24eaef656 | coq 8.15.0 |
| 8.14.1 | 2021-11-24 | feddc61fb | coq 8.14.1 |
| 8.14.0 | 2021-10-14 | 14e5d4bc6 | coq 8.14.0 |
| 8.13.2 | 2021-04-02 | 6b1988db1 | coq 8.13.2 |
| 8.13.1 | 2021-02-22 | 954bff952 | coq 8.13.1 |
| 8.13.0 | 2021-01-08 | 985a6843c | coq 8.13.0 |
| 8.12.2 | 2020-12-11 | 43fd15c38 | coq 8.12.2 |
| 8.12.1 | 2020-11-14 | a9f4eff33 | coq 8.12.1 |
| 8.12.0 | 2020-07-26 | 0c2a1a551 | coq 8.12.0 |
| 8.11.2 | 2020-05-27 | 8cf404486 | coq 8.11.2 |
| 8.11.1 | 2020-04-06 | 36c02871c | coq 8.11.1 |
| 8.11.0 | 2020-01-30 | 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-10 | 8b1ed8751 | coq 8.10.0 |
| 8.9.1 | 2019-06-03 | a8212242a | coq 8.9.1 |
| 8.9.0 | 2019-02-10 | 4149a2e55 | coq 8.9.0 |
| 8.8.2 | 2018-10-31 | 5504b656c | coq 8.8.2 |
| 8.8.1 | 2018-07-10 | 48859b864 | coq 8.8.1 |
| 8.8.0 | 2018-04-28 | 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-12-01 | e523b1df8 | coq: revision for camlp5 |
| 8.5pl3 | 2016-10-30 | 7d9126f66 | coq 8.5pl3 |
| 8.5pl2 | 2016-07-08 | 8e7262529 | coq 8.5pl2 |
| 8.5pl1 | 2016-05-15 | b574a5496 | coq: revision for ocaml |
| 8.5pl1 | 2016-04-21 | 019d8048e | coq 8.5pl1 |
| 8.5 | 2016-01-25 | bc3c5ad3c | coq: update to v8.5 |
| 8.4pl6 | 2015-08-01 | 9e4c755ac | bump revisions of ocaml dependents |
| 8.4pl6 | 2015-05-16 | e3e028c62 | coq 8.4pl6 |
| 8.4pl5 | 2014-11-02 | 4416a06ba | coq 8.4pl5 |
| 8.4pl4 | 2014-05-25 | 71af7d253 | coq 8.4pl4 |
| 8.4pl3 | 2013-12-25 | 6f43f258f | coq 8.4pl3 |
| 8.4pl2 | 2013-04-07 | f18e64366 | updated coq version to 8.4pl2 |
| 8.4pl1 | 2013-01-03 | 4aebec486 | coq 8.4pl1 |
| 8.4 | 2012-08-28 | 15d9e60e7 | coq 8.4 |
| 8.3pl4 | 2012-08-08 | a830a4bd6 | coq-8.3pl4 |
| 8.3pl3 | 2012-03-13 | f32cd659c | coq 8.3pl3 |
| 8.3pl2 | 2011-07-29 | f03a12359 | coq 8.3pl2 |
| 8.3 | 2010-11-06 | 6c11c6658 | coq: Upgrade to v8.3 |
| 8.2 | 2010-11-04 | 2918d4994 | Added coq |