pkgstory

checked rss

alive2 version history (formula)

All packages / formula

alive2

formula

formula timeline from Homebrew git history.

Track alive2 with the RSS feed.

Current
21.0_9
Versions
15
Since
Jan 2025
Cadence
33d
Bottles
5 platforms

Update cadence

Jan 2025 to Oct 2026

Bottle availability

9 availability spans

PlatformFromUntilFirst bottled commitRemoval commit
Linux (arm64)2025-03-21presentd93b40119—
Linux (x86_64)2025-01-20present173e6a2f6—
macOS Golden Gate 27 (arm64)2026-09-12presentd7fa5696c—
macOS Tahoe 26 (arm64)2025-09-13present6055f8388—
macOS Sequoia 15 (arm64)2025-01-20present173e6a2f6—
macOS Sonoma 14 (arm64)2025-01-202026-10-16173e6a2f63c57a9596
macOS Sonoma 14 (x86_64)2025-01-202026-10-16173e6a2f63c57a9596
macOS Ventura 13 (arm64)2025-01-202026-02-17173e6a2f6b6319bc5d
macOS Ventura 13 (x86_64)2025-01-202026-02-17173e6a2f6b6319bc5d

Contributors

10 people · 1 automated

Authors and co-authors of formula file changes in Homebrew history, not the upstream project.

Michael Cho

10 commits · 6 version changes

2025-03-30 – 2026-08-27

botantony

6 commits · 4 version changes

2025-06-03 – 2026-10-16

Michael Cho

3 commits · 0 version changes

2025-03-31 – 2025-08-28

Rui Chen

3 commits · 3 version changes

2025-02-19 – 2025-05-10

Ruoyu Zhong

2 commits · 0 version changes

2025-09-13 – 2026-08-28

Caleb Xu

1 commit · 0 version changes

2026-09-12 – 2026-09-12

Patrick Linnane

1 commit · 1 version change

2026-08-16 – 2026-08-16

Mike McQuaid

1 commit · 0 version changes

2026-06-22 – 2026-06-22

Carlo Cabrera

1 commit · 0 version changes

2025-03-21 – 2025-03-21

Carlo Cabrera

1 commit · 1 version change

2025-01-20 – 2025-01-20
Automation

BrewTestBot

13 commits · 0 version changes

2025-01-20 – 2026-10-16

Version timeline

15 version-changing commits

VersionUpdatedCommitSubject
21.0_92026-10-161b00735b4alive2: revision bump (`python@3.15` migration)
21.0_82026-10-163c57a9596alive2: revision bump (hiredis 1.5.0)
21.0_72026-08-284e3eb7897alive2: revision bump (llvm 23.1.0)
21.0_62026-08-187b2a97f79alive2: revision bump (z3 5.1.0)
21.0_52026-08-16ca6bf0fdfalive2: revision bump (z3 5.0.0)
21.0_42026-06-08831823302alive2: revision bump (z3 4.16.0)
21.0_32026-06-06a78a7470falive2: revision bump (hiredis 1.4.0)
21.0_22026-02-27c19f0eb64alive2: revision bump (llvm 22.1.0)
21.0_12025-08-2898f5e4774alive2: revision bump (llvm 21.1.0)
21.02025-08-12e40338e51alive2 21.0
20.0_22025-05-119e7a2486ealive2: revision bump (z3 4.15.0)
20.0_12025-05-0400de37a2aalive2: revision bump (hiredis 1.3.0)
20.02025-03-315bf2bd5e0alive2 20.0
19.0_12025-02-222464da74calive2: revision bump (z3 4.14.0)
19.02025-01-20173e6a2f6alive2 19.0 (new formula)