Carlo Cabrera
14 commits · 7 version changes
2021-03-10 – 2022-09-29klee version history (formula)
All packages / formula
- Current
- 3.3
- Versions
- 27
- Since
- Mar 2021
- Cadence
- 59d
- Bottles
- 4 platforms
Update cadence
Mar 2021 to Oct 2026
Bottle availability
14 availability spans
| Platform | From | Until | First bottled commit | Removal commit |
|---|---|---|---|---|
| Linux (x86_64) | 2022-05-14 | present | d70c9048f | — |
| macOS Golden Gate 27 (arm64) | 2026-10-16 | present | 4e62902be | — |
| macOS Tahoe 26 (arm64) | 2025-09-18 | present | 8c3c6100b | — |
| macOS Sequoia 15 (arm64) | 2024-09-24 | present | 63ef7e56e | — |
| macOS Sonoma 14 (arm64) | 2024-01-06 | 2026-10-16 | b75aadce1 | 4e62902be |
| macOS Sonoma 14 (x86_64) | 2024-01-06 | 2026-10-16 | b75aadce1 | 4e62902be |
| macOS Ventura 13 (arm64) | 2022-11-07 | 2025-10-12 | 8c633d7d3 | 327e505da |
| macOS Ventura 13 (x86_64) | 2022-12-01 | 2025-10-12 | bbfd05ca4 | 327e505da |
| macOS Monterey 12 (arm64) | 2022-07-02 | 2024-09-24 | ea3aa6715 | 63ef7e56e |
| macOS Monterey 12 (x86_64) | 2022-06-08 | 2024-09-24 | fe62b6aeb | 63ef7e56e |
| macOS Big Sur 11 (arm64) | 2022-07-02 | 2023-11-16 | ea3aa6715 | 87fbe9d16 |
| macOS Big Sur 11 (x86_64) | 2021-03-10 | 2023-11-16 | 3ea18013c | 87fbe9d16 |
| macOS Catalina 10.15 (x86_64) | 2021-03-10 | 2022-12-26 | 3ea18013c | 2c36e975b |
| macOS Mojave 10.14 (x86_64) | 2021-03-10 | 2022-07-01 | 3ea18013c | 687714949 |
Contributors
16 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
Michael Cho
13 commits · 5 version changes
2023-12-29 – 2026-10-05Rui Chen
12 commits · 7 version changes
2021-12-19 – 2025-05-10Branch Vincent
5 commits · 1 version change
2022-11-28 – 2026-09-05botantony
3 commits · 2 version changes
2025-10-29 – 2026-10-16Patrick Linnane
3 commits · 2 version changes
2023-06-08 – 2026-08-16Francois-Xavier Coudert
3 commits · 0 version changes
2022-08-01 – 2022-12-01danielnachun
3 commits · 0 version changes
2022-05-10 – 2022-09-13Daeho Ro
2 commits · 2 version changes
2025-10-12 – 2026-07-31Mike McQuaid
2 commits · 0 version changes
2021-09-07 – 2023-08-15Daniel Nachun
2 commits · 0 version changes
2022-05-14 – 2022-06-08Michael Cho
1 commit · 0 version changes
2025-09-18 – 2025-09-18Show 4 more
Nanda H Krishna
1 commit · 0 version changes
2025-02-18 – 2025-02-18Issy Long
1 commit · 0 version changes
2024-10-21 – 2024-10-21ryenus
1 commit · 0 version changes
2022-12-26 – 2022-12-26Michka Popoff
1 commit · 1 version change
2022-07-01 – 2022-07-01Automation
BrewTestBot
29 commits · 2 version changes
2021-06-24 – 2026-10-16Version timeline
27 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 3.3 | 2026-10-16 | 1b00735b4 | klee: revision bump (`python@3.15` migration) |
| 3.3 | 2026-10-16 | 4e62902be | klee 3.3 |
| 3.2 | 2026-08-18 | 7b2a97f79 | klee: revision bump (z3 5.1.0) |
| 3.2 | 2026-08-16 | ca6bf0fdf | klee: revision bump (z3 5.0.0) |
| 3.2 | 2026-07-31 | 8ba738c11 | klee: revision bump (stp 2.4.0) |
| 3.2 | 2026-06-08 | 831823302 | klee: revision bump (z3 4.16.0) |
| 3.2 | 2026-04-04 | 4168b548e | klee: revision bump (cryptominisat 5.14.2) |
| 3.2 | 2026-01-24 | ec40da323 | klee: revision bump (cryptominisat 5.13.0) |
| 3.2 | 2025-12-23 | 35821bfa1 | klee 3.2 |
| 3.1 | 2025-10-12 | 327e505da | klee: migrate to `python@3.14` |
| 3.1 | 2025-05-11 | 9e7a2486e | klee: revision bump (z3 4.15.0) |
| 3.1 | 2025-03-23 | da7f91280 | klee: revision bump (cryptominisat 5.12.1) |
| 3.1 | 2025-02-22 | 2464da74c | klee: revision bump (z3 4.14.0) |
| 3.1 | 2024-04-23 | 8da75001c | klee: revision bump (z3 4.13.0) |
| 3.1 | 2024-04-04 | aa4b04e63 | klee 3.1 |
| 3.0 | 2024-01-03 | 0bc766799 | klee: revision bump (gperftools 2.14) |
| 3.0 | 2023-11-16 | 87fbe9d16 | klee: migrate to `python@3.12` |
| 3.0 | 2023-06-08 | 03a0f6807 | klee 3.0 |
| 2.3 | 2023-01-17 | e7916e7f9 | klee: revision bump (z3 4.12.0) |
| 2.3 | 2022-11-28 | 348412ed3 | klee: revision bump (python-tabulate) |
| 2.3 | 2022-09-29 | 8506a442f | klee: revision bump to fix libc++ linkage |
| 2.3 | 2022-09-27 | c60ea7042 | klee: revision bump (cryptominisat 5.11.2) |
| 2.3 | 2022-07-01 | 51ee74f10 | klee 2.3 |
| 2.2 | 2021-10-07 | 343383bd7 | klee: switch to LLVM 12 |
| 2.2 | 2021-06-24 | 1828dddb3 | klee: switch to LLVM 12 |
| 2.2 | 2021-04-19 | fc2ba8a02 | klee: switch to llvm@11 |
| 2.2 | 2021-03-10 | c4f5b7720 | klee 2.2 (new formula) |