Michael Cho
7 commits · 4 version changes
2025-03-28 – 2026-07-10alive2 version history (formula)
All packages / formula
- Current
- 21.0
- Versions
- 10
- Since
- Jan 2025
- Cadence
- 30d
Update cadence
Jan 2025 to Jun 2026
Contributors
8 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
botantony
3 commits · 2 version changes
2025-05-27 – 2026-06-03Michael Cho
3 commits · 0 version changes
2025-03-31 – 2025-08-28Rui Chen
3 commits · 3 version changes
2025-02-19 – 2025-05-10Mike McQuaid
1 commit · 0 version changes
2026-06-21 – 2026-06-21Ruoyu Zhong
1 commit · 0 version changes
2025-09-13 – 2025-09-13Carlo Cabrera
1 commit · 0 version changes
2025-03-21 – 2025-03-21Carlo Cabrera
1 commit · 1 version change
2025-01-20 – 2025-01-20Automation
BrewTestBot
9 commits · 0 version changes
2025-01-20 – 2026-06-08Version timeline
10 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 21.0 | 2026-06-07 | 0fc5c1a2f | alive2: revision bump (z3 4.16.0) |
| 21.0 | 2026-06-03 | 1c1a90117 | alive2: revision bump (hiredis 1.4.0) |
| 21.0 | 2026-02-25 | ee8bc50c8 | alive2: revision bump (llvm 22.1.0) |
| 21.0 | 2025-08-20 | e7425f071 | alive2: revision bump (llvm 21.1.0) |
| 21.0 | 2025-08-12 | 535f185e7 | alive2 21.0 |
| 20.0 | 2025-05-10 | ac3f740cb | alive2: revision bump (z3 4.15.0) |
| 20.0 | 2025-04-23 | d1d53b8e6 | alive2: revision bump (hiredis 1.3.0) |
| 20.0 | 2025-03-28 | adaa6f027 | alive2 20.0 |
| 19.0 | 2025-02-19 | f384b9ca4 | alive2: revision bump (z3 4.14.0) |
| 19.0 | 2025-01-20 | 333d23222 | alive2 19.0 (new formula) |