Rui Chen
16 commits · 4 version changes
2021-07-11 – 2026-10-17z3 version history (formula)
All packages / formula
- Current
- 5.3.1
- Versions
- 56
- Since
- Oct 2015
- Cadence
- 52d
- Bottles
- 5 platforms
Update cadence
Oct 2015 to Oct 2026
Bottle availability
21 availability spans
| Platform | From | Until | First bottled commit | Removal commit |
|---|---|---|---|---|
| Linux (arm64) | 2025-03-19 | present | 8d3086f86 | — |
| Linux (x86_64) | 2021-07-18 | present | a3efd2804 | — |
| macOS Golden Gate 27 (arm64) | 2026-09-10 | present | a81f2a624 | — |
| macOS Tahoe 26 (arm64) | 2025-09-10 | present | 028613880 | — |
| macOS Sequoia 15 (arm64) | 2024-09-10 | present | 7461c8dff | — |
| macOS Sequoia 15 (x86_64) | 2024-09-17 | 2024-09-28 | 6b27c6a61 | 5045da36d |
| macOS Sonoma 14 (arm64) | 2023-09-13 | 2026-10-16 | 1cc3778dd | 1b00735b4 |
| macOS Sonoma 14 (x86_64) | 2023-09-13 | 2026-10-16 | e2981ddc6 | 1b00735b4 |
| macOS Ventura 13 (arm64) | 2022-10-21 | 2025-10-11 | d7f98d2eb | c43069328 |
| macOS Ventura 13 (x86_64) | 2022-11-16 | 2025-10-11 | bd6345d45 | c43069328 |
| macOS Monterey 12 (arm64) | 2021-10-24 | 2024-09-28 | 56e744f09 | 5045da36d |
| macOS Monterey 12 (x86_64) | 2021-10-24 | 2024-09-28 | fbccd0f3c | 5045da36d |
| macOS Big Sur 11 (arm64) | 2020-12-22 | 2023-11-12 | 41f0fe5cd | abfdde3ab |
| macOS Big Sur 11 (x86_64) | 2020-11-15 | 2023-11-12 | 01b3d5bb7 | abfdde3ab |
| macOS Catalina 10.15 (x86_64) | 2019-10-09 | 2022-12-22 | 253cbb47e | 0b3eebfb0 |
| macOS Mojave 10.14 (x86_64) | 2018-08-25 | 2021-10-26 | db1eff648 | 5b70e3bb3 |
| macOS High Sierra 10.13 (x86_64) | 2017-09-18 | 2021-01-21 | f8edb6cca | 1589423b5 |
| macOS Sierra 10.12 (x86_64) | 2016-09-28 | 2019-11-25 | e68924ab4 | 2760cae35 |
| OS X El Capitan 10.11 (x86_64) | 2015-10-15 | 2018-10-26 | 98fd6a3e2 | 339495a73 |
| OS X Yosemite 10.10 (x86_64) | 2015-10-15 | 2017-12-19 | 98fd6a3e2 | 26789299e |
| OS X Mavericks 10.9 (x86_64) | 2015-10-15 | 2016-11-11 | 98fd6a3e2 | 6e9c3a2bf |
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-28Michael Cho
8 commits · 1 version change
2023-11-12 – 2026-08-27ilovezfs
8 commits · 4 version changes
2016-11-11 – 2018-05-23Francois-Xavier Coudert
7 commits · 2 version changes
2018-12-24 – 2022-12-22Ruoyu Zhong
5 commits · 2 version changes
2023-01-19 – 2026-09-10Mike McQuaid
4 commits · 0 version changes
2016-09-18 – 2026-03-20Caleb Xu
4 commits · 4 version changes
2020-09-12 – 2021-12-24Patrick Linnane
3 commits · 1 version change
2023-12-06 – 2026-09-05Bo Anderson
3 commits · 1 version change
2020-04-19 – 2024-09-17Igor Kapkov
3 commits · 3 version changes
2018-11-21 – 2019-09-20Sam Ford
2 commits · 0 version changes
2020-12-10 – 2023-03-18Show 26 more
Michael Cho
2 commits · 1 version change
2021-07-18 – 2022-12-22Porkepix
2 commits · 2 version changes
2022-07-23 – 2022-08-19Dennis Luxen
2 commits · 2 version changes
2018-10-26 – 2019-06-04Tej Chajed
2 commits · 0 version changes
2017-06-30 – 2019-03-27Rakesh
2 commits · 0 version changes
2016-04-27 – 2016-04-27Daeho Ro
1 commit · 0 version changes
2025-10-11 – 2025-10-11Branch Vincent
1 commit · 0 version changes
2024-05-12 – 2024-05-12Jerry1144
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-08 – 2023-05-08Michael 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-05 – 2022-09-05Sean Molenaar
1 commit · 1 version change
2021-10-26 – 2021-10-26Rylan Polster
1 commit · 0 version changes
2021-02-04 – 2021-02-04Ross smith
1 commit · 1 version change
2020-10-07 – 2020-10-07rui
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-25 – 2019-11-25Martin Afanasjew
1 commit · 0 version changes
2016-04-27 – 2016-04-27Deokhwan Kim
1 commit · 0 version changes
2016-02-13 – 2016-02-13Bart Leusink
1 commit · 1 version change
2015-11-23 – 2015-11-23Enrico Ghirardi
1 commit · 0 version changes
2015-11-18 – 2015-11-18Adam C. Foltzer
1 commit · 1 version change
2015-10-15 – 2015-10-15Automation
BrewTestBot
81 commits · 24 version changes
2015-10-15 – 2026-10-17Version timeline
56 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 5.3.1 | 2026-10-17 | 7217a4bb6 | z3 5.3.1 |
| 5.3.0 | 2026-10-16 | 1b00735b4 | z3 5.3.0 |
| 5.1.0 | 2026-08-18 | 7b2a97f79 | z3 5.1.0 |
| 5.0.0 | 2026-08-16 | ca6bf0fdf | z3 5.0.0 |
| 4.16.0 | 2026-06-08 | 831823302 | z3 4.16.0 |
| 4.15.4 | 2025-10-30 | a320d06f2 | z3 4.15.4 |
| 4.15.3 | 2025-08-16 | ab5050c92 | z3 4.15.3 |
| 4.15.2 | 2025-06-25 | a002d60ff | z3 4.15.2 |
| 4.15.1 | 2025-06-11 | fc8def0f3 | z3 4.15.1 |
| 4.15.0 | 2025-05-11 | 9e7a2486e | z3 4.15.0 |
| 4.14.1 | 2025-03-11 | 1ac2e7ef4 | z3 4.14.1 |
| 4.14.0 | 2025-02-22 | 2464da74c | z3 4.14.0 |
| 4.13.4 | 2024-12-17 | 7871f5f64 | z3 4.13.4 |
| 4.13.3 | 2024-10-11 | a2e813e32 | z3 4.13.3 |
| 4.13.2 | 2024-09-28 | 5045da36d | z3 4.13.2 |
| 4.13.0 | 2024-04-23 | 8da75001c | z3 4.13.0 |
| 4.12.6 | 2024-02-29 | b1aef0f26 | z3 4.12.6 |
| 4.12.5 | 2024-01-25 | 3ad84b52e | z3 4.12.5 |
| 4.12.4 | 2023-12-06 | c90f65c48 | z3 4.12.4 |
| 4.12.3 | 2023-12-06 | a95957971 | z3 4.12.3 |
| 4.12.2 | 2023-05-13 | eee4f861e | z3 4.12.2 |
| 4.12.1 | 2023-01-19 | c92543f0e | z3 4.12.1 |
| 4.12.0 | 2023-01-17 | eaa145255 | z3 4.12.0 |
| 4.11.2 | 2022-12-22 | 1ec4e2048 | z3: migrate to `python@3.11` |
| 4.11.2 | 2022-09-04 | ecfaad326 | z3 4.11.2 |
| 4.11.0 | 2022-08-19 | 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-24 | 907520453 | z3 4.8.13 |
| 4.8.12 | 2021-10-26 | 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-07 | 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-19 | bcf2c8e8a | z3: migrate to python@3.8 |
| 4.8.7 | 2019-11-25 | 0b0385e07 | z3 4.8.7 |
| 4.8.6 | 2019-09-20 | 86772494f | z3 4.8.6 |
| 4.8.5 | 2019-06-04 | 04205e2aa | z3 4.8.5 |
| 4.8.4 | 2019-01-13 | 92a54973a | z3: revision for readline |
| 4.8.4 | 2018-12-24 | d349ca04b | z3: remove options |
| 4.8.4 | 2018-12-21 | 2c3629459 | z3 4.8.4 |
| 4.8.3 | 2018-11-21 | 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-11 | 3bf571a47 | z3 4.5.0 |
| 4.4.1 | 2015-11-23 | b2d52f599 | z3 4.4.1 |
| 4.4.0 | 2015-10-15 | 06bfa4f1f | z3 4.4.0 (migrate from homebrew/science) |