coq version history (formula)
coq
formula removed 58 versions
since Jul 2011
~67 days between updates
| Version | Updated | Commit |
|---|---|---|
| 8.20.1 | 2025-01-16 | dc2c50750 |
| 8.20.0 | 2024-09-04 | 0fa3307ef |
| 8.19.2 | 2024-06-10 | 6675f7637 |
| 8.19.1 | 2024-05-26 | bfa9d39c9 |
| 8.19.1 | 2024-03-16 | a19ada00c |
| 8.19.0 | 2024-02-20 | a6e9b5ff0 |
| 8.19.0 | 2023-12-24 | b221d6bf2 |
| 8.18.0 | 2023-12-05 | 7c26d61f2 |
| 8.17.1 | 2023-06-27 | b76d3d1a8 |
| 8.17.0 | 2023-04-19 | 49bf6e805 |
| 8.17.0 | 2023-04-15 | b4e16bd32 |
| 8.16.1 | 2023-03-27 | 8b7aab714 |
| 8.16.1 | 2022-11-25 | 267477800 |
| 8.16.0 | 2022-09-21 | f8f6ab89b |
| 8.15.2 | 2022-06-30 | 52850559f |
| 8.15.0 | 2022-01-13 | 24eaef656 |
| 8.14.1 | 2021-11-23 | feddc61fb |
| 8.14.0 | 2021-10-14 | 14e5d4bc6 |
| 8.13.2 | 2021-04-01 | 6b1988db1 |
| 8.13.1 | 2021-02-22 | 954bff952 |
| 8.13.0 | 2021-01-07 | 985a6843c |
| 8.12.2 | 2020-12-11 | 43fd15c38 |
| 8.12.1 | 2020-11-13 | a9f4eff33 |
| 8.12.0 | 2020-07-25 | 0c2a1a551 |
| 8.11.2 | 2020-05-26 | 8cf404486 |
| 8.11.1 | 2020-04-05 | 36c02871c |
| 8.11.0 | 2020-01-29 | 6a9f991ce |
| 8.10.2 | 2019-12-13 | 6669a8490 |
| 8.10.2 | 2019-11-29 | e07f3a88e |
| 8.10.1 | 2019-11-02 | 5ce1cb300 |
| 8.10.0 | 2019-10-09 | 8b1ed8751 |
| 8.9.1 | 2019-05-31 | a8212242a |
| 8.9.0 | 2019-01-26 | 4149a2e55 |
| 8.8.2 | 2018-10-28 | 5504b656c |
| 8.8.1 | 2018-07-10 | 48859b864 |
| 8.8.0 | 2018-04-18 | c36c6dc62 |
| 8.7.2 | 2018-02-17 | 1b6276dfe |
| 8.7.1 | 2017-12-16 | 9b860a040 |
| 8.7.0 | 2017-11-04 | 44b8b2209 |
| 8.7.0 | 2017-10-18 | 1580e2ead |
| 8.6.1 | 2017-07-16 | 14c713efe |
| 8.6.1 | 2017-07-06 | 150ce8b72 |
| 8.6 | 2016-12-15 | aa172e518 |
| 8.5pl3 | 2016-11-30 | e523b1df8 |
| 8.5pl3 | 2016-10-29 | 7d9126f66 |
| 8.5pl2 | 2016-07-08 | 8e7262529 |
| 8.5pl1 | 2016-05-13 | b574a5496 |
| 8.5pl1 | 2016-04-20 | 019d8048e |
| 8.5 | 2016-01-25 | bc3c5ad3c |
| 8.4pl6 | 2015-07-05 | fab4b0341 |
| 8.4pl6 | 2015-04-11 | 968429d7a |
| 8.4pl5 | 2014-10-31 | 4416a06ba |
| 8.4pl4 | 2014-05-25 | 71af7d253 |
| 8.4pl3 | 2013-12-24 | 6f43f258f |
| 8.4pl1 | 2013-01-03 | 4aebec486 |
| 8.4 | 2012-08-22 | 15d9e60e7 |
| 8.3pl3 | 2012-03-12 | f32cd659c |
| 8.3pl2 | 2011-07-14 | f03a12359 |