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
- Sep 2019
- Cadence
- 44d
Update cadence
Sep 2019 to Aug 2025
Contributors
30 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-02Francois-Xavier Coudert
4 commits · 1 version change
2020-12-17 – 2022-11-30Tej Chajed
4 commits · 4 version changes
2021-04-21 – 2022-02-21Mike McQuaid
3 commits · 0 version changes
2020-07-27 – 2026-06-21botantony
3 commits · 1 version change
2025-05-27 – 2026-06-12Michael Cho
3 commits · 0 version changes
2022-03-14 – 2026-06-04Tej Chajed
3 commits · 3 version changes
2022-12-15 – 2025-02-04Michael Cho
3 commits · 2 version changes
2022-02-15 – 2022-12-07Bo Anderson
3 commits · 1 version change
2020-04-18 – 2022-05-13Show 18 more
Patrick Linnane
2 commits · 0 version changes
2022-12-10 – 2023-10-24Aaron Tomb
2 commits · 2 version changes
2022-07-19 – 2022-10-27rui
2 commits · 0 version changes
2020-11-01 – 2022-01-23davidcok
2 commits · 1 version change
2020-06-24 – 2021-02-04Daeho 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-23 – 2022-08-23Sean Molenaar
1 commit · 0 version changes
2022-02-17 – 2022-02-17Fabio Madge
1 commit · 1 version change
2022-02-15 – 2022-02-15Thierry Moisan
1 commit · 0 version changes
2021-05-17 – 2021-05-17Rylan Polster
1 commit · 0 version changes
2021-02-03 – 2021-02-03Eric Knibbe
1 commit · 1 version change
2020-12-09 – 2020-12-09davidcok
1 commit · 1 version change
2020-12-05 – 2020-12-05Sam 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-21 – 2019-11-21cvluca
1 commit · 1 version change
2019-09-24 – 2019-09-24Automation
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-26 | 1700569cd | dafny 4.11.0 |
| 4.10.0 | 2025-02-04 | d49bd1a52 | dafny 4.10.0 |
| 4.9.0 | 2024-10-30 | 5e193eaa4 | dafny 4.9.0 |
| 4.8.1 | 2024-09-16 | 49cf00c9f | dafny 4.8.1 |
| 4.8.0 | 2024-08-28 | 53bb114c0 | dafny 4.8.0 |
| 4.7.0 | 2024-06-26 | c224cea4e | dafny 4.7.0 |
| 4.6.0 | 2024-03-28 | 9d59a56c7 | dafny 4.6.0 |
| 4.5.0 | 2024-03-16 | ccf7c3d94 | dafny 4.5.0 |
| 4.4.0 | 2023-12-12 | 492862e7e | dafny 4.4.0 |
| 4.3.0 | 2023-09-29 | ed2f3d476 | dafny 4.3.0 |
| 4.2.0 | 2023-07-20 | 770bf5081 | dafny 4.2.0 |
| 4.1.0 | 2023-05-10 | 7b3c422ba | dafny 4.1.0 |
| 4.0.0 | 2023-03-03 | 185de7fc9 | dafny 4.0.0 |
| 3.13.1 | 2023-03-02 | 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-15 | 5976bfd75 | dafny 3.10.0 |
| 3.9.1 | 2022-12-07 | 036a19738 | dafny: use `dotnet@6` and `openjdk@17` |
| 3.9.1 | 2022-10-27 | 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-23 | d32135082 | dafny 3.8.0 |
| 3.7.3 | 2022-07-19 | 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-12 | 922d67240 | dafny 3.6.0 |
| 3.5.0 | 2022-03-15 | 5a9f7d0b4 | dafny 3.5.0 |
| 3.4.2 | 2022-02-21 | 93c11e193 | dafny 3.4.2 |
| 3.4.1 | 2022-02-15 | 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-21 | 902ec14bf | dafny 3.1.0 |
| 3.0.0 | 2021-02-04 | 0519e91d4 | dafny 3.0.0 |
| 2.3.0 | 2020-12-05 | f95fb0635 | parent f9b222792e87e0b226e91a0f206e8ceb17016167 |
| 2.3.0 | 2020-04-18 | fdb28a236 | dafny: fix z3 symlink pointing to Cellar |
| 2.3.0 | 2019-11-21 | c6525038f | dafny: fix z3 symlink |
| 2.3.0 | 2019-09-24 | e6576686e | dafny 2.3.0 (new formula) |