Branch Vincent
2 commits · 0 version changes
2025-07-08 – 2025-08-24boolector version history (formula)
All packages / formula
boolector
formularemovedformula timeline from Homebrew git history.
- Current
- 3.2.4
- Versions
- 3
- Since
- May 2023
- Cadence
- 231d
- Bottles
- 0 platforms
Update cadence
May 2023 to Aug 2024
Bottle availability
11 availability spans
| Platform | From | Until | First bottled commit | Removal commit |
|---|---|---|---|---|
| Linux (arm64) | 2025-03-30 | 2026-08-25 | 14f3e617a | 456b3b041 |
| Linux (x86_64) | 2023-05-21 | 2026-08-25 | 403b5f48a | 456b3b041 |
| macOS Sequoia 15 (arm64) | 2024-09-14 | 2026-08-25 | 0952966f0 | 456b3b041 |
| macOS Sonoma 14 (arm64) | 2023-09-30 | 2026-08-25 | c82bb9b7d | 456b3b041 |
| macOS Sonoma 14 (x86_64) | 2023-09-30 | 2026-08-25 | c82bb9b7d | 456b3b041 |
| macOS Ventura 13 (arm64) | 2023-05-21 | 2026-08-25 | 403b5f48a | 456b3b041 |
| macOS Ventura 13 (x86_64) | 2023-05-21 | 2026-08-25 | 403b5f48a | 456b3b041 |
| macOS Monterey 12 (arm64) | 2023-05-21 | 2026-08-25 | 403b5f48a | 456b3b041 |
| macOS Monterey 12 (x86_64) | 2023-05-21 | 2026-08-25 | 403b5f48a | 456b3b041 |
| macOS Big Sur 11 (arm64) | 2023-05-21 | 2024-08-24 | 403b5f48a | 95b9c8276 |
| macOS Big Sur 11 (x86_64) | 2023-05-21 | 2024-08-24 | 403b5f48a | 95b9c8276 |
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-06-03 – 2025-06-03Sam 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-12 – 2023-09-12Mike 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-21 – 2023-05-21Carlo Cabrera
1 commit · 1 version change
2023-05-21 – 2023-05-21Automation
BrewTestBot
5 commits · 1 version change
2023-05-21 – 2026-08-25Version timeline
3 version-changing commits