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
Contributors
15 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-21Daeho Ro
1 commit · 0 version changes
2026-03-08 – 2026-03-08Patrick Linnane
1 commit · 0 version changes
2025-09-15 – 2025-09-15Štefan Baebler
1 commit · 0 version changes
2025-09-15 – 2025-09-15botantony
1 commit · 0 version changes
2025-05-27 – 2025-05-27Michael 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-21Rylan Polster
1 commit · 0 version changes
2021-02-03 – 2021-02-03Show 3 more
Jonathan Chang
1 commit · 0 version changes
2020-11-16 – 2020-11-16William Ma
1 commit · 0 version changes
2020-07-02 – 2020-07-02Bas Westerbaan
1 commit · 1 version change
2019-12-23 – 2019-12-23Automation
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-23 | 770dd7a01 | prover9 2009-11A (new formula) |