Carlo Cabrera
4 commits · 0 version changes
2021-02-14 – 2025-03-21eprover version history (formula)
All packages / formula
- Current
- 3.2
- Versions
- 16
- Since
- Oct 2011
- Cadence
- 268d
Update cadence
Oct 2011 to Feb 2025
Contributors
21 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
Ruoyu Zhong
3 commits · 0 version changes
2023-10-01 – 2025-09-13Rui Chen
3 commits · 3 version changes
2021-06-23 – 2024-05-01Caleb Xu
3 commits · 3 version changes
2019-07-12 – 2020-07-29ilovezfs
3 commits · 2 version changes
2017-06-30 – 2018-06-25Brett Koonce
3 commits · 3 version changes
2012-08-05 – 2013-08-17Francois-Xavier Coudert
2 commits · 0 version changes
2022-11-10 – 2022-12-01Viktor Szakats
2 commits · 0 version changes
2015-10-13 – 2018-03-20Patrick Linnane
1 commit · 0 version changes
2024-08-01 – 2024-08-01Porkepix
1 commit · 1 version change
2023-11-15 – 2023-11-15Mike McQuaid
1 commit · 0 version changes
2023-08-15 – 2023-08-15Michael Cho
1 commit · 0 version changes
2021-07-13 – 2021-07-13Show 9 more
Mitchell Blank Jr
1 commit · 0 version changes
2021-02-13 – 2021-02-13Rylan Polster
1 commit · 0 version changes
2021-02-03 – 2021-02-03Nanda H Krishna
1 commit · 0 version changes
2020-08-28 – 2020-08-28Dragoș Tiselice
1 commit · 1 version change
2018-12-03 – 2018-12-03Alexandre Rademaker
1 commit · 1 version change
2016-02-27 – 2016-02-27Baptiste Fontaine
1 commit · 0 version changes
2015-10-12 – 2015-10-12Nikolaus Wittenstein
1 commit · 0 version changes
2015-05-19 – 2015-05-19Ted Pennings
1 commit · 0 version changes
2014-02-23 – 2014-02-23Libor Wagner
1 commit · 1 version change
2011-10-06 – 2011-10-06Automation
BrewTestBot
19 commits · 1 version change
2015-08-03 – 2025-02-10Version timeline
16 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 3.2 | 2025-02-10 | 7bbb67f64 | eprover 3.2 |
| 3.1 | 2024-05-01 | aed22dc8d | eprover 3.1 |
| 3.0.03 | 2023-11-26 | 623d432de | eprover 3.0.03 |
| 3.0 | 2023-11-15 | 3b708cbac | eprover 3.0 |
| 2.6 | 2021-06-23 | 6f1bc4e4f | eprover 2.6 |
| 2.5 | 2020-07-29 | 7f45758ec | eprover 2.5 |
| 2.4 | 2019-11-04 | 8e648076b | eprover 2.4 |
| 2.3 | 2019-07-12 | 99514d83e | eprover 2.3 |
| 2.2 | 2018-12-03 | 08987aeed | eprover 2.2 |
| 2.1 | 2018-06-25 | 53e8b183d | eprover 2.1 |
| 2.0 | 2017-09-05 | 9d53cb4fc | eprover 2.0 |
| 1.9 | 2016-02-27 | 85124b18c | eprover 1.9 |
| 1.8 | 2013-08-17 | 006dfd297 | eprover 1.8 |
| 1.7 | 2013-03-30 | a77ab3b0e | eprover 1.7 |
| 1.6 | 2012-08-05 | 43e3d9025 | eprover 1.6 |
| 1.4 | 2011-10-06 | 4951d2230 | The E Theorem Prover 1.4 |