Ruoyu Zhong
4 commits · 0 version changes
2023-10-01 – 2026-09-12eprover version history (formula)
All packages / formula
- Current
- 3.2
- Versions
- 16
- Since
- Mar 2012
- Cadence
- 237d
- Bottles
- 9 platforms
Update cadence
Mar 2012 to Feb 2025
Bottle availability
20 availability spans
| Platform | From | Until | First bottled commit | Removal commit |
|---|---|---|---|---|
| Linux (arm64) | 2025-03-21 | present | 8ff98cf0f | — |
| Linux (x86_64) | 2021-07-13 | present | ad19a4e21 | — |
| macOS Golden Gate 27 (arm64) | 2026-09-12 | present | fb40bb6ce | — |
| macOS Tahoe 26 (arm64) | 2025-09-13 | present | f1cf0c884 | — |
| macOS Sequoia 15 (arm64) | 2024-09-13 | present | 36d2a8f13 | — |
| macOS Sonoma 14 (arm64) | 2023-10-01 | present | a31541615 | — |
| macOS Sonoma 14 (x86_64) | 2023-10-01 | present | a31541615 | — |
| macOS Ventura 13 (arm64) | 2022-11-10 | present | 2498880be | — |
| macOS Ventura 13 (x86_64) | 2022-12-01 | present | 4adea39b7 | — |
| macOS Monterey 12 (arm64) | 2021-10-30 | 2025-02-10 | 848da247b | 86612e516 |
| macOS Monterey 12 (x86_64) | 2021-10-30 | 2025-02-10 | 848da247b | 86612e516 |
| macOS Big Sur 11 (arm64) | 2021-02-14 | 2023-11-15 | 1f9fa5ec4 | fdecf4a8e |
| macOS Big Sur 11 (x86_64) | 2021-02-14 | 2023-11-15 | ff6ea4913 | fdecf4a8e |
| macOS Catalina 10.15 (x86_64) | 2019-10-14 | 2023-11-15 | e5b106958 | fdecf4a8e |
| macOS Mojave 10.14 (x86_64) | 2018-08-21 | 2023-11-15 | 6510f0f0b | fdecf4a8e |
| macOS High Sierra 10.13 (x86_64) | 2017-09-23 | 2021-02-14 | 588c3a1c5 | ff6ea4913 |
| macOS Sierra 10.12 (x86_64) | 2016-09-26 | 2019-11-04 | 30ce8dc2a | d0d003b65 |
| OS X El Capitan 10.11 (x86_64) | 2015-10-14 | 2018-12-03 | 651319001 | 8315b576c |
| OS X Yosemite 10.10 (x86_64) | 2015-10-14 | 2018-06-25 | 651319001 | 112034990 |
| OS X Mavericks 10.9 (x86_64) | 2015-10-14 | 2017-09-06 | 651319001 | badf4b4f7 |
Contributors
21 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
Carlo Cabrera
4 commits · 0 version changes
2021-02-14 – 2025-03-21Rui Chen
3 commits · 3 version changes
2021-06-23 – 2024-05-01Caleb Xu
3 commits · 3 version changes
2019-07-13 – 2020-07-29ilovezfs
3 commits · 2 version changes
2017-07-03 – 2018-06-25Brett Koonce
3 commits · 3 version changes
2012-08-06 – 2013-08-18Francois-Xavier Coudert
2 commits · 0 version changes
2022-11-10 – 2022-12-01Viktor Szakats
2 commits · 0 version changes
2015-10-14 – 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-14 – 2021-02-14Rylan Polster
1 commit · 0 version changes
2021-02-04 – 2021-02-04Nanda 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-29 – 2016-02-29Baptiste Fontaine
1 commit · 0 version changes
2015-10-12 – 2015-10-12Nikolaus Wittenstein
1 commit · 0 version changes
2015-06-05 – 2015-06-05Ted Pennings
1 commit · 0 version changes
2014-02-25 – 2014-02-25Libor Wagner
1 commit · 1 version change
2012-03-10 – 2012-03-10Automation
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 | 86612e516 | eprover 3.2 |
| 3.1 | 2024-05-01 | a89f651f0 | eprover 3.1 |
| 3.0.03 | 2023-11-27 | 4d2a440ce | eprover 3.0.03 |
| 3.0 | 2023-11-15 | fdecf4a8e | 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-13 | 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-06 | 9d53cb4fc | eprover 2.0 |
| 1.9 | 2016-02-29 | 85124b18c | eprover 1.9 |
| 1.8 | 2013-08-18 | 006dfd297 | eprover 1.8 |
| 1.7 | 2013-03-30 | a77ab3b0e | eprover 1.7 |
| 1.6 | 2012-08-06 | 43e3d9025 | eprover 1.6 |
| 1.4 | 2012-03-10 | 4951d2230 | The E Theorem Prover 1.4 |