Rui Chen
15 commits · 4 version changes
2021-07-11 – 2025-06-25z3 version history (formula)
All packages / formula
- Current
- 4.16.0
- Versions
- 52
- Since
- Oct 2015
- Cadence
- 46d
Update cadence
Oct 2015 to Jun 2026
Contributors
38 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
Carlo Cabrera
13 commits · 1 version change
2021-07-18 – 2024-10-28ilovezfs
8 commits · 4 version changes
2016-11-08 – 2018-05-23Michael Cho
7 commits · 1 version change
2023-11-12 – 2026-06-27Francois-Xavier Coudert
7 commits · 2 version changes
2018-12-23 – 2022-12-22Mike McQuaid
4 commits · 0 version changes
2016-09-18 – 2026-03-20Ruoyu Zhong
4 commits · 2 version changes
2023-01-18 – 2025-09-10Caleb Xu
4 commits · 4 version changes
2020-09-12 – 2021-12-24Bo Anderson
3 commits · 1 version change
2020-04-18 – 2024-09-17Igor Kapkov
3 commits · 3 version changes
2018-11-20 – 2019-09-20Sam Ford
2 commits · 0 version changes
2020-12-10 – 2023-03-18Michael Cho
2 commits · 1 version change
2021-07-18 – 2022-12-20Show 26 more
Porkepix
2 commits · 2 version changes
2022-07-23 – 2022-08-18Dennis Luxen
2 commits · 2 version changes
2018-10-26 – 2019-06-03Tej Chajed
2 commits · 0 version changes
2017-06-30 – 2019-03-27Rakesh
2 commits · 0 version changes
2016-04-26 – 2016-04-26Daeho Ro
1 commit · 0 version changes
2025-10-11 – 2025-10-11Branch Vincent
1 commit · 0 version changes
2024-05-12 – 2024-05-12Patrick Linnane
1 commit · 0 version changes
2023-12-06 – 2023-12-06Jerry1144
1 commit · 0 version changes
2023-11-23 – 2023-11-23Matt Whitlock
1 commit · 0 version changes
2023-08-04 – 2023-08-04Sean Molenaar
1 commit · 0 version changes
2023-05-05 – 2023-05-05Michael Cho
1 commit · 0 version changes
2022-10-21 – 2022-10-21Jake Vossen
1 commit · 0 version changes
2022-10-02 – 2022-10-02danielnachun
1 commit · 0 version changes
2022-09-09 – 2022-09-09Michka Popoff
1 commit · 0 version changes
2022-09-04 – 2022-09-04Sean Molenaar
1 commit · 1 version change
2021-10-25 – 2021-10-25Rylan Polster
1 commit · 0 version changes
2021-02-03 – 2021-02-03Ross smith
1 commit · 1 version change
2020-10-06 – 2020-10-06rui
1 commit · 0 version changes
2020-09-12 – 2020-09-12Nanda H Krishna
1 commit · 0 version changes
2020-08-28 – 2020-08-28Dennis Luxen
1 commit · 1 version change
2020-05-10 – 2020-05-10Nuno Lopes
1 commit · 1 version change
2019-11-20 – 2019-11-20Martin Afanasjew
1 commit · 0 version changes
2016-04-27 – 2016-04-27Deokhwan Kim
1 commit · 0 version changes
2016-02-11 – 2016-02-11Bart Leusink
1 commit · 1 version change
2015-11-22 – 2015-11-22Enrico Ghirardi
1 commit · 0 version changes
2015-11-16 – 2015-11-16Adam C. Foltzer
1 commit · 1 version change
2015-10-09 – 2015-10-09Automation
BrewTestBot
75 commits · 21 version changes
2015-10-14 – 2026-06-08Version timeline
52 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 4.16.0 | 2026-06-07 | e42ec4ac4 | z3 4.16.0 |
| 4.15.4 | 2025-10-29 | 7f06d6a17 | z3 4.15.4 |
| 4.15.3 | 2025-08-16 | 1fb99ad07 | z3 4.15.3 |
| 4.15.2 | 2025-06-25 | ffc63138f | z3 4.15.2 |
| 4.15.1 | 2025-06-10 | 0951742c6 | z3 4.15.1 |
| 4.15.0 | 2025-05-10 | 722b72e28 | z3 4.15.0 |
| 4.14.1 | 2025-03-11 | 10834c028 | z3 4.14.1 |
| 4.14.0 | 2025-02-18 | 0ee948c8a | z3 4.14.0 |
| 4.13.4 | 2024-12-17 | d36f5d75d | z3 4.13.4 |
| 4.13.3 | 2024-10-11 | 2eda2dc31 | z3 4.13.3 |
| 4.13.2 | 2024-09-27 | edd588c04 | z3 4.13.2 |
| 4.13.0 | 2024-03-07 | 17203642c | z3 4.13.0 |
| 4.12.6 | 2024-02-25 | a40cfdfc8 | z3 4.12.6 |
| 4.12.5 | 2024-01-21 | 02b49af71 | z3 4.12.5 |
| 4.12.4 | 2023-12-06 | 01df48444 | z3 4.12.4 |
| 4.12.3 | 2023-12-05 | 64f04875b | z3 4.12.3 |
| 4.12.2 | 2023-05-12 | 9cc0f7152 | z3 4.12.2 |
| 4.12.1 | 2023-01-18 | c92543f0e | z3 4.12.1 |
| 4.12.0 | 2023-01-14 | eaa145255 | z3 4.12.0 |
| 4.11.2 | 2022-12-20 | 1ec4e2048 | z3: migrate to `python@3.11` |
| 4.11.2 | 2022-09-04 | ecfaad326 | z3 4.11.2 |
| 4.11.0 | 2022-08-18 | 6174e3907 | z3 4.11.0 |
| 4.10.2 | 2022-07-30 | 6c3693965 | z3 4.10.2 |
| 4.10.1 | 2022-07-23 | 5bdd611ed | z3 4.10.1 |
| 4.9.1 | 2022-07-07 | b5e454bab | z3 4.9.1 |
| 4.8.17 | 2022-05-05 | 1272e48c1 | z3 4.8.17 |
| 4.8.16 | 2022-04-25 | 173f387e4 | z3 4.8.16 |
| 4.8.15 | 2022-03-21 | c8caca30e | z3 4.8.15 |
| 4.8.14 | 2021-12-24 | 8d84c67f5 | z3 4.8.14 |
| 4.8.13 | 2021-11-19 | 907520453 | z3 4.8.13 |
| 4.8.12 | 2021-10-25 | 754b3c20b | z3: migrate to python@3.10 |
| 4.8.12 | 2021-07-14 | 375cdf28a | z3 4.8.12 |
| 4.8.11 | 2021-07-11 | 599645087 | z3 4.8.11 |
| 4.8.10 | 2021-01-21 | c0173c261 | z3 4.8.10 |
| 4.8.9 | 2020-10-06 | 188c041ae | z3: migrate to python@3.9 |
| 4.8.9 | 2020-09-12 | fc9ac1d70 | z3 4.8.9 |
| 4.8.8 | 2020-05-10 | 069c71b7f | z3 4.8.8 |
| 4.8.7 | 2020-04-18 | bcf2c8e8a | z3: migrate to python@3.8 |
| 4.8.7 | 2019-11-20 | 0b0385e07 | z3 4.8.7 |
| 4.8.6 | 2019-09-20 | 86772494f | z3 4.8.6 |
| 4.8.5 | 2019-06-03 | 04205e2aa | z3 4.8.5 |
| 4.8.4 | 2019-01-08 | 92a54973a | z3: revision for readline |
| 4.8.4 | 2018-12-23 | d349ca04b | z3: remove options |
| 4.8.4 | 2018-12-21 | 2c3629459 | z3 4.8.4 |
| 4.8.3 | 2018-11-20 | 13c880b0e | z3 4.8.3 |
| 4.8.1 | 2018-10-26 | 45f948cb4 | z3 4.8.1 |
| 4.7.1 | 2018-05-23 | 062791a6d | z3 4.7.1 |
| 4.6.0 | 2018-03-16 | 38a4c709c | z3: revision to fix install receipt |
| 4.6.0 | 2017-12-19 | ab3365ac9 | z3 4.6.0 |
| 4.5.0 | 2016-11-08 | 3bf571a47 | z3 4.5.0 |
| 4.4.1 | 2015-11-22 | b2d52f599 | z3 4.4.1 |
| 4.4.0 | 2015-10-09 | 06bfa4f1f | z3 4.4.0 (migrate from homebrew/science) |