Francois-Xavier Coudert
4 commits · 0 version changes
2020-12-23 – 2023-09-28prover9 version history (formula)
All packages / formula
- Current
- 2009-11A
- Versions
- 1
- Since
- Dec 2019
- Cadence
- single
- Bottles
- 13 platforms
Bottle availability
16 availability spans
| Platform | From | Until | First bottled commit | Removal commit |
|---|---|---|---|---|
| Linux (arm64) | 2025-03-21 | present | 9cfae9c99 | — |
| Linux (x86_64) | 2021-08-21 | present | 504c92561 | — |
| macOS Golden Gate 27 (arm64) | 2026-09-13 | present | 0f74d0632 | — |
| macOS Tahoe 26 (arm64) | 2025-09-15 | present | 778f48f82 | — |
| macOS Sequoia 15 (arm64) | 2024-09-13 | present | 4aa49959d | — |
| macOS Sonoma 14 (arm64) | 2023-09-28 | present | 0570d54a7 | — |
| macOS Sonoma 14 (x86_64) | 2023-09-28 | present | 0570d54a7 | — |
| macOS Ventura 13 (arm64) | 2022-11-11 | present | e418b434e | — |
| macOS Ventura 13 (x86_64) | 2022-11-26 | present | bdd15dd0a | — |
| macOS Monterey 12 (arm64) | 2021-10-31 | present | dea4f62c4 | — |
| macOS Monterey 12 (x86_64) | 2021-10-31 | present | dea4f62c4 | — |
| macOS Big Sur 11 (arm64) | 2020-12-23 | present | d492514ed | — |
| macOS Big Sur 11 (x86_64) | 2020-11-16 | present | 752956bf2 | — |
| macOS Catalina 10.15 (x86_64) | 2019-12-26 | 2026-08-29 | dbad0def2 | 18bbb89d2 |
| macOS Mojave 10.14 (x86_64) | 2019-12-26 | 2025-09-15 | dbad0def2 | 778e14054 |
| macOS High Sierra 10.13 (x86_64) | 2019-12-26 | 2025-09-15 | dbad0def2 | 778e14054 |
Contributors
16 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
Carlo Cabrera
3 commits · 0 version changes
2021-08-21 – 2025-03-21Patrick Linnane
2 commits · 0 version changes
2025-09-15 – 2026-08-29FX Coudert
1 commit · 0 version changes
2026-09-13 – 2026-09-13Daeho Ro
1 commit · 0 version changes
2026-03-08 – 2026-03-08Štefan Baebler
1 commit · 0 version changes
2025-09-15 – 2025-09-15botantony
1 commit · 0 version changes
2025-06-09 – 2025-06-09Michael Cho
1 commit · 0 version changes
2024-09-13 – 2024-09-13Michael Cho
1 commit · 0 version changes
2024-09-13 – 2024-09-13Mike McQuaid
1 commit · 0 version changes
2023-08-15 – 2023-08-15Sam Ford
1 commit · 0 version changes
2021-09-11 – 2021-09-11danielnachun
1 commit · 0 version changes
2021-08-21 – 2021-08-21Show 4 more
Rylan Polster
1 commit · 0 version changes
2021-02-04 – 2021-02-04Jonathan Chang
1 commit · 0 version changes
2020-11-16 – 2020-11-16William Ma
1 commit · 0 version changes
2020-07-06 – 2020-07-06Bas Westerbaan
1 commit · 1 version change
2019-12-26 – 2019-12-26Automation
BrewTestBot
1 commit · 0 version changes
2019-12-26 – 2019-12-26Version timeline
1 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 2009-11A | 2019-12-26 | 770dd7a01 | prover9 2009-11A (new formula) |