Carlo Cabrera
7 commits · 1 version change
2021-02-05 – 2025-03-21dafny version history (formula)
All packages / formula
- Current
- 4.11.0
- Versions
- 40
- Since
- Oct 2019
- Cadence
- 44d
- Bottles
- 9 platforms
Update cadence
Oct 2019 to Aug 2025
Bottle availability
19 availability spans
| Platform | From | Until | First bottled commit | Removal commit |
|---|---|---|---|---|
| Linux (arm64) | 2025-03-21 | present | af0f5bced | — |
| Linux (x86_64) | 2022-02-18 | present | 3453c8c1a | — |
| macOS Golden Gate 27 (arm64) | 2026-09-19 | present | 8c586bfab | — |
| macOS Tahoe 26 (arm64) | 2025-09-15 | present | 6e6a79044 | — |
| macOS Sequoia 15 (arm64) | 2024-11-04 | present | 6e31666a6 | — |
| macOS Sonoma 14 (arm64) | 2024-08-30 | present | 78b7d57e2 | — |
| macOS Sonoma 14 (x86_64) | 2026-06-04 | present | e849a98c0 | — |
| 2024-08-30 | 2025-02-05 | 78b7d57e2 | b9f86b0d5 | |
| macOS Ventura 13 (arm64) | 2025-02-05 | present | b9f86b0d5 | — |
| 2022-10-27 | 2024-08-24 | 2e3953fa5 | 6708a29d0 | |
| macOS Ventura 13 (x86_64) | 2025-02-05 | present | b9f86b0d5 | — |
| 2022-11-30 | 2024-08-24 | 3ce525d8d | 6708a29d0 | |
| macOS Monterey 12 (arm64) | 2022-03-14 | 2024-09-16 | a9eccb029 | 0d3120bbb |
| macOS Monterey 12 (x86_64) | 2022-03-14 | 2024-09-16 | a9eccb029 | 0d3120bbb |
| macOS Big Sur 11 (arm64) | 2022-02-17 | 2023-09-29 | 198cb2583 | 9ddd08eaa |
| macOS Big Sur 11 (x86_64) | 2020-12-17 | 2023-09-29 | 3ddce15d8 | 9ddd08eaa |
| macOS Catalina 10.15 (x86_64) | 2019-10-02 | 2022-12-10 | 9494977d0 | 898087286 |
| macOS Mojave 10.14 (x86_64) | 2019-10-02 | 2021-11-05 | 9494977d0 | b5311904b |
| macOS High Sierra 10.13 (x86_64) | 2019-10-02 | 2020-12-17 | 9494977d0 | 3ddce15d8 |
Contributors
31 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
Michael Cho
4 commits · 0 version changes
2023-11-20 – 2026-05-19Ruoyu Zhong
4 commits · 3 version changes
2023-03-02 – 2025-09-15Rui Chen
4 commits · 4 version changes
2022-09-02 – 2023-03-03Francois-Xavier Coudert
4 commits · 0 version changes
2020-12-17 – 2022-11-30Tej Chajed
4 commits · 4 version changes
2021-04-22 – 2022-02-23Mike McQuaid
3 commits · 0 version changes
2020-07-27 – 2026-06-22botantony
3 commits · 1 version change
2025-06-03 – 2026-06-12Michael Cho
3 commits · 0 version changes
2022-03-14 – 2026-06-04Tej Chajed
3 commits · 3 version changes
2022-12-17 – 2025-02-04Michael Cho
3 commits · 2 version changes
2022-02-17 – 2022-12-10Bo Anderson
3 commits · 1 version change
2020-04-19 – 2022-05-13Show 19 more
Daeho Ro
2 commits · 0 version changes
2026-09-19 – 2026-10-17Patrick Linnane
2 commits · 0 version changes
2022-12-10 – 2023-10-24Aaron Tomb
2 commits · 2 version changes
2022-07-20 – 2022-10-30rui
2 commits · 0 version changes
2020-11-01 – 2022-01-23davidcok
2 commits · 1 version change
2020-06-24 – 2021-02-05Daeho Ro
1 commit · 0 version changes
2025-08-28 – 2025-08-28Porkepix
1 commit · 1 version change
2023-02-22 – 2023-02-22Miles Liu
1 commit · 0 version changes
2022-09-12 – 2022-09-12Parva Shah
1 commit · 1 version change
2022-08-24 – 2022-08-24Sean Molenaar
1 commit · 0 version changes
2022-02-17 – 2022-02-17Fabio Madge
1 commit · 1 version change
2022-02-17 – 2022-02-17Thierry Moisan
1 commit · 0 version changes
2021-05-31 – 2021-05-31Rylan Polster
1 commit · 0 version changes
2021-02-04 – 2021-02-04davidcok
1 commit · 1 version change
2020-12-17 – 2020-12-17Eric Knibbe
1 commit · 0 version changes
2020-12-09 – 2020-12-09Sam Ford
1 commit · 0 version changes
2020-11-01 – 2020-11-01David Cok
1 commit · 0 version changes
2020-06-24 – 2020-06-24Nuno Lopes
1 commit · 1 version change
2019-11-25 – 2019-11-25cvluca
1 commit · 1 version change
2019-10-02 – 2019-10-02Automation
BrewTestBot
46 commits · 14 version changes
2019-10-02 – 2025-02-05Version timeline
40 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 4.11.0 | 2025-08-28 | ff1c184d1 | dafny 4.11.0 |
| 4.10.0 | 2025-02-05 | b9f86b0d5 | dafny 4.10.0 |
| 4.9.0 | 2024-10-31 | 17ecd7972 | dafny 4.9.0 |
| 4.8.1 | 2024-09-16 | 0d3120bbb | dafny 4.8.1 |
| 4.8.0 | 2024-08-30 | 78b7d57e2 | dafny 4.8.0 |
| 4.7.0 | 2024-06-26 | 970455b15 | dafny 4.7.0 |
| 4.6.0 | 2024-03-28 | 4e23cca5f | dafny 4.6.0 |
| 4.5.0 | 2024-03-16 | e1aaf0567 | dafny 4.5.0 |
| 4.4.0 | 2023-12-12 | 4807cbf21 | dafny 4.4.0 |
| 4.3.0 | 2023-09-29 | 9ddd08eaa | dafny 4.3.0 |
| 4.2.0 | 2023-07-20 | bc3e6332e | dafny 4.2.0 |
| 4.1.0 | 2023-05-11 | 9651f96eb | dafny 4.1.0 |
| 4.0.0 | 2023-03-03 | 185de7fc9 | dafny 4.0.0 |
| 3.13.1 | 2023-03-03 | 30be9a55f | dafny 3.13.1 |
| 3.13.0 | 2023-03-02 | 39157a2a4 | dafny 3.13.0 |
| 3.12.0 | 2023-02-22 | d04e32337 | dafny 3.12.0 |
| 3.11.0 | 2023-02-01 | 4b705e089 | dafny 3.11.0 |
| 3.10.0 | 2022-12-17 | 5976bfd75 | dafny 3.10.0 |
| 3.9.1 | 2022-12-10 | 036a19738 | dafny: use `dotnet@6` and `openjdk@17` |
| 3.9.1 | 2022-10-30 | 093f2f420 | dafny 3.9.1 |
| 3.9.0 | 2022-10-04 | 5f57357fd | dafny 3.9.0 |
| 3.8.1 | 2022-09-02 | 70cbdd53b | dafny 3.8.1 |
| 3.8.0 | 2022-08-24 | d32135082 | dafny 3.8.0 |
| 3.7.3 | 2022-07-20 | 91b4fe549 | dafny 3.7.3 |
| 3.7.2 | 2022-07-14 | d9493ea8b | dafny 3.7.2 |
| 3.7.1 | 2022-06-22 | 42453be89 | dafny 3.7.1 |
| 3.7.0 | 2022-06-21 | 38a24142b | dafny 3.7.0 |
| 3.6.0 | 2022-05-13 | 922d67240 | dafny 3.6.0 |
| 3.5.0 | 2022-03-15 | 5a9f7d0b4 | dafny 3.5.0 |
| 3.4.2 | 2022-02-23 | 93c11e193 | dafny 3.4.2 |
| 3.4.1 | 2022-02-17 | 0752704c0 | dafny 3.4.1 |
| 3.3.0 | 2021-11-05 | 789744d1a | dafny 3.3.0 |
| 3.2.0 | 2021-07-14 | 89a94868b | dafny 3.2.0 |
| 3.1.0 | 2021-05-31 | e4e1506b6 | dafny: revision bump (openjdk@11) |
| 3.1.0 | 2021-04-22 | 902ec14bf | dafny 3.1.0 |
| 3.0.0 | 2021-02-05 | 0519e91d4 | dafny 3.0.0 |
| 2.3.0 | 2020-12-17 | f95fb0635 | parent f9b222792e87e0b226e91a0f206e8ceb17016167 |
| 2.3.0 | 2020-04-19 | fdb28a236 | dafny: fix z3 symlink pointing to Cellar |
| 2.3.0 | 2019-11-25 | c6525038f | dafny: fix z3 symlink |
| 2.3.0 | 2019-10-02 | e6576686e | dafny 2.3.0 (new formula) |