Mike McQuaid
6 commits · 0 version changes
2014-03-08 – 2023-08-15proof-general version history (formula)
All packages / formula
proof-general
formulaformula timeline from Homebrew git history.
Track proof-general with the RSS feed.
- Current
- 4.5
- Versions
- 6
- Since
- Dec 2012
- Cadence
- 259d
- Bottles
- 13 platforms
Update cadence
Dec 2012 to Jul 2022
Bottle availability
20 availability spans
| Platform | From | Until | First bottled commit | Removal commit |
|---|---|---|---|---|
| Linux (arm64) | 2025-03-22 | present | 6a68aaadf | — |
| Linux (x86_64) | 2021-07-17 | present | 4dcbf8f8a | — |
| macOS Golden Gate 27 (arm64) | 2026-09-13 | present | c3b860bf2 | — |
| macOS Tahoe 26 (arm64) | 2025-09-15 | present | 7f89ca988 | — |
| macOS Sequoia 15 (arm64) | 2024-09-11 | present | ebe96f8d6 | — |
| macOS Sonoma 14 (arm64) | 2023-09-28 | present | 91a7c7b27 | — |
| macOS Sonoma 14 (x86_64) | 2023-09-28 | present | 91a7c7b27 | — |
| macOS Ventura 13 (arm64) | 2022-11-06 | present | 1aa866d10 | — |
| macOS Ventura 13 (x86_64) | 2022-12-05 | present | 090b68fb1 | — |
| macOS Monterey 12 (arm64) | 2021-10-31 | present | a83c1ffd6 | — |
| macOS Monterey 12 (x86_64) | 2021-10-31 | present | a83c1ffd6 | — |
| macOS Big Sur 11 (arm64) | 2020-12-24 | present | ed526c123 | — |
| macOS Big Sur 11 (x86_64) | 2020-11-20 | present | 4a8a37422 | — |
| macOS Catalina 10.15 (x86_64) | 2019-10-18 | 2022-12-05 | f8f219ce6 | 090b68fb1 |
| macOS Mojave 10.14 (x86_64) | 2018-09-04 | 2022-07-14 | 55249c209 | c381b3089 |
| macOS High Sierra 10.13 (x86_64) | 2017-09-22 | 2022-07-14 | 8d423a33e | c381b3089 |
| macOS Sierra 10.12 (x86_64) | 2016-09-19 | 2019-10-18 | 2630a465c | f8f219ce6 |
| OS X El Capitan 10.11 (x86_64) | 2015-10-22 | 2019-10-18 | 6f6cbc125 | f8f219ce6 |
| OS X Yosemite 10.10 (x86_64) | 2015-10-22 | 2018-01-10 | 6f6cbc125 | 1c7310b10 |
| OS X Mavericks 10.9 (x86_64) | 2015-10-22 | 2016-09-19 | 6f6cbc125 | 2630a465c |
Contributors
27 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
Rui Chen
4 commits · 1 version change
2021-08-25 – 2025-03-22Francois-Xavier Coudert
4 commits · 0 version changes
2020-11-20 – 2023-09-28Alex Dunn
3 commits · 0 version changes
2015-05-09 – 2015-08-10Adam Vandenberg
3 commits · 0 version changes
2013-07-08 – 2013-07-17botantony
2 commits · 0 version changes
2025-06-09 – 2026-02-14Carlo Cabrera
2 commits · 0 version changes
2021-10-31 – 2024-09-11ilovezfs
2 commits · 1 version change
2017-10-20 – 2018-01-10FX Coudert
1 commit · 0 version changes
2026-09-13 – 2026-09-13Štefan Baebler
1 commit · 0 version changes
2025-09-15 – 2025-09-15Patrick Linnane
1 commit · 0 version changes
2022-12-05 – 2022-12-05Thierry Moisan
1 commit · 0 version changes
2022-12-05 – 2022-12-05Show 15 more
Porkepix
1 commit · 1 version change
2022-07-14 – 2022-07-14Michael Cho
1 commit · 0 version changes
2021-07-17 – 2021-07-17Rylan Polster
1 commit · 0 version changes
2021-02-04 – 2021-02-04William Ma
1 commit · 0 version changes
2020-07-06 – 2020-07-06Yishuai Li
1 commit · 0 version changes
2018-03-10 – 2018-03-10Eric Mertens
1 commit · 1 version change
2017-04-26 – 2017-04-26Zhiming Wang
1 commit · 1 version change
2016-09-19 – 2016-09-19Tej Chajed
1 commit · 0 version changes
2016-09-16 – 2016-09-16Dominyk Tiller
1 commit · 0 version changes
2016-07-22 – 2016-07-22Tej Chajed
1 commit · 0 version changes
2016-02-12 – 2016-02-12Kabelo Moiloa
1 commit · 0 version changes
2015-10-22 – 2015-10-22Nikolaus Wittenstein
1 commit · 0 version changes
2015-06-05 – 2015-06-05Jack Nagel
1 commit · 0 version changes
2013-12-09 – 2013-12-09Richard Osborn
1 commit · 1 version change
2012-12-17 – 2012-12-17Ming-Hsien Tsai
1 commit · 1 version change
2012-12-17 – 2012-12-17Automation
BrewTestBot
9 commits · 0 version changes
2015-10-22 – 2022-07-14Version timeline
6 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 4.5 | 2022-07-14 | 5a196ccbd | proof-general 4.5 |
| 4.4 | 2018-01-10 | f31621977 | proof-general: depend on emacs instead of :emacs |
| 4.4 | 2017-04-26 | 4712aa61c | proof-general: revision for emacs |
| 4.4 | 2016-09-19 | 0bcad5dc7 | proof-general 4.4 |
| 4.2 | 2012-12-17 | f1b4feb9d | Proof General 4.2 |
| 4.1 | 2012-12-17 | 7d3e8677f | Proof General 4.1 |