Branch Vincent
2 commits · 0 version changes
2025-07-08 – 2025-08-24boolector version history (formula)
All packages / formula
boolector
formuladisabledformula timeline from Homebrew git history.
Track boolector with the RSS feed.
- Current
- 3.2.4
- Versions
- 3
- Since
- May 2023
- Cadence
- 231d
Update cadence
May 2023 to Aug 2024
Contributors
12 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
Michael Cho
2 commits · 0 version changes
2024-09-14 – 2025-03-30Daeho Ro
1 commit · 0 version changes
2026-07-05 – 2026-07-05Michael Cho
1 commit · 0 version changes
2026-02-20 – 2026-02-20botantony
1 commit · 0 version changes
2025-05-27 – 2025-05-27Sam Ford
1 commit · 1 version change
2024-08-24 – 2024-08-24Ruoyu Zhong
1 commit · 0 version changes
2023-09-30 – 2023-09-30Rui Chen
1 commit · 1 version change
2023-09-11 – 2023-09-11Mike McQuaid
1 commit · 0 version changes
2023-08-15 – 2023-08-15Patrick Linnane
1 commit · 0 version changes
2023-05-24 – 2023-05-24RexYuan
1 commit · 1 version change
2023-05-19 – 2023-05-19Carlo Cabrera
1 commit · 1 version change
2023-05-19 – 2023-05-19Automation
BrewTestBot
4 commits · 1 version change
2023-05-21 – 2024-08-24Version timeline
3 version-changing commits