Rui Chen
37 commits · 26 version changes
2021-06-29 – 2026-04-30acl2 version history (formula)
All packages / formula
- Current
- 8.7
- Versions
- 65
- Since
- Aug 2020
- Cadence
- 30d
- Bottles
- 4 platforms
Update cadence
Aug 2020 to Sep 2026
Bottle availability
15 availability spans
| Platform | From | Until | First bottled commit | Removal commit |
|---|---|---|---|---|
| Linux (x86_64) | 2021-07-11 | present | 6aa42f9fa | — |
| macOS Golden Gate 27 (arm64) | 2026-09-11 | present | 9656154de | — |
| macOS Tahoe 26 (arm64) | 2025-09-13 | present | ff2e08908 | — |
| macOS Sequoia 15 (arm64) | 2024-09-11 | present | 36e23d1d4 | — |
| macOS Sonoma 14 (arm64) | 2023-09-24 | 2026-09-27 | c7690df78 | 89a9d3142 |
| macOS Sonoma 14 (x86_64) | 2023-09-24 | 2026-08-28 | c7690df78 | df35b9356 |
| macOS Ventura 13 (arm64) | 2022-11-08 | 2025-09-29 | 1e6c12981 | 90cc0fb7f |
| macOS Ventura 13 (x86_64) | 2022-11-29 | 2025-09-29 | 1ecd0ea9d | 90cc0fb7f |
| macOS Monterey 12 (arm64) | 2022-05-27 | 2024-10-03 | 6357c8315 | 462ae2e42 |
| macOS Monterey 12 (x86_64) | 2022-05-08 | 2024-10-03 | 85e7aa225 | 462ae2e42 |
| macOS Big Sur 11 (arm64) | 2022-05-27 | 2023-10-22 | 6357c8315 | c71de9e47 |
| macOS Big Sur 11 (x86_64) | 2020-11-15 | 2023-10-22 | 2f808c9e6 | c71de9e47 |
| macOS Catalina 10.15 (x86_64) | 2020-08-11 | 2022-12-29 | 369a845bb | 9cded52eb |
| macOS Mojave 10.14 (x86_64) | 2020-08-11 | 2022-05-08 | 369a845bb | 85e7aa225 |
| macOS High Sierra 10.13 (x86_64) | 2020-08-11 | 2020-11-30 | 369a845bb | 43fb6aee8 |
Contributors
29 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
botantony
8 commits · 4 version changes
2026-03-29 – 2026-09-27Michael Cho
7 commits · 3 version changes
2024-11-29 – 2026-09-15Carlo Cabrera
7 commits · 4 version changes
2021-03-03 – 2022-10-04TANIGUCHI Masaya
7 commits · 1 version change
2020-08-11 – 2020-08-11Ruoyu Zhong
4 commits · 1 version change
2023-02-27 – 2025-09-13Patrick Linnane
3 commits · 2 version changes
2022-12-29 – 2023-04-30Francois-Xavier Coudert
3 commits · 0 version changes
2020-11-15 – 2022-11-29Michael Cho
3 commits · 2 version changes
2022-05-08 – 2022-09-17Miccal Matthews
3 commits · 3 version changes
2021-03-30 – 2021-09-28Adrian Ho
3 commits · 3 version changes
2020-09-02 – 2021-06-29Daeho Ro
2 commits · 2 version changes
2026-07-29 – 2026-09-26Show 17 more
Daeho Ro
2 commits · 2 version changes
2024-11-30 – 2024-12-29Thierry Moisan
2 commits · 2 version changes
2022-12-29 – 2024-06-30Porkepix
2 commits · 2 version changes
2022-07-24 – 2024-04-01Michael Cho
2 commits · 0 version changes
2021-07-11 – 2022-05-27rui
2 commits · 2 version changes
2020-11-01 – 2020-11-30Sean Molenaar
2 commits · 0 version changes
2020-08-11 – 2020-10-01Sam Ford
1 commit · 1 version change
2025-01-31 – 2025-01-31Štefan Baebler
1 commit · 0 version changes
2024-11-29 – 2024-11-29Caleb Xu
1 commit · 1 version change
2023-12-28 – 2023-12-28Mike McQuaid
1 commit · 0 version changes
2023-08-10 – 2023-08-10PythonCoderAS
1 commit · 1 version change
2022-05-17 – 2022-05-17Sean Molenaar
1 commit · 1 version change
2021-08-31 – 2021-08-31Yan
1 commit · 1 version change
2021-07-30 – 2021-07-30Nanda H Krishna
1 commit · 1 version change
2021-04-29 – 2021-04-29Rylan Polster
1 commit · 0 version changes
2021-02-04 – 2021-02-04Markus Reiter
1 commit · 0 version changes
2020-09-20 – 2020-09-20Dawid Dziurla
1 commit · 0 version changes
2020-08-11 – 2020-08-11Automation
BrewTestBot
50 commits · 1 version change
2020-09-02 – 2026-08-28Version timeline
65 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 8.7 | 2026-09-27 | 89a9d3142 | acl2: revision bump (sbcl 2.6.9) |
| 8.7 | 2026-08-28 | df35b9356 | acl2: revision bump (sbcl 2.6.8) |
| 8.7 | 2026-07-30 | 668ed2b25 | acl2: revision bump, disable on ARM64 Linux |
| 8.7 | 2026-07-16 | 02a5509e9 | acl2: revision bump (sbcl 2.6.6) |
| 8.7 | 2026-06-01 | 301c4009b | acl2: revision bump (sbcl 2.6.5) |
| 8.7 | 2026-04-30 | a95ab1e59 | acl2: revision bump (sbcl 2.6.4) |
| 8.7 | 2026-03-29 | c8599dbb4 | acl2: revision bump (sbcl 2.6.3) |
| 8.7 | 2026-03-28 | 572b3e03d | acl2 8.7 |
| 8.6 | 2026-03-17 | 333ceebbf | acl2: revision bump (sbcl 2.6.2) |
| 8.6 | 2026-01-27 | b0ffcb4df | acl2: revision bump (sbcl 2.6.1) |
| 8.6 | 2026-01-26 | 463aa98a2 | acl2: revision bump (sbcl 2.6.0) |
| 8.6 | 2025-10-27 | 0360d8812 | acl2: revision bump (sbcl 2.5.10) |
| 8.6 | 2025-09-29 | 90cc0fb7f | acl2: revision bump (sbcl 2.5.9) |
| 8.6 | 2025-08-30 | 4f23dfe6f | acl2: revision bump (sbcl 2.5.8) |
| 8.6 | 2025-07-27 | 886c748cf | acl2: revision bump (sbcl 2.5.7) |
| 8.6 | 2025-07-02 | 04fd9d43a | acl2: revision bump (sbcl 2.5.6) |
| 8.6 | 2025-06-03 | e0afc1ab1 | acl2: revision bump (sbcl 2.5.5) |
| 8.6 | 2025-04-28 | 823600c34 | acl2: revision bump (sbcl 2.5.4) |
| 8.6 | 2025-03-30 | 88e435924 | acl2: revision bump (sbcl 2.5.3) |
| 8.6 | 2025-03-01 | de0031d39 | acl2: revision bump (sbcl 2.5.2) |
| 8.6 | 2025-01-31 | 9f98df022 | acl2: revision bump (sbcl 2.5.1) |
| 8.6 | 2024-12-29 | 0a068704a | acl2: revision bump (sbcl 2.5.0) |
| 8.6 | 2024-11-30 | b8ead21fa | acl2: revision bump (sbcl 2.4.11) |
| 8.6 | 2024-10-31 | c04cf4a7c | acl2: revision bump (sbcl 2.4.10) |
| 8.6 | 2024-10-16 | c46f4cba4 | acl2 8.6 |
| 8.5 | 2024-10-03 | 462ae2e42 | acl2: revision bump (sbcl 2.4.9) |
| 8.5 | 2024-08-30 | b8eb9c92d | acl2: revision bump (sbcl 2.4.8) |
| 8.5 | 2024-07-27 | fc77edbc2 | acl2: revision bump (sbcl 2.4.7) |
| 8.5 | 2024-06-30 | f71145a7b | acl2: revision bump (sbcl 2.4.6) |
| 8.5 | 2024-05-31 | 46c73fc7e | acl2: revision bump (sbcl 2.4.5) |
| 8.5 | 2024-05-01 | 1cf76ae7b | acl2: revision bump (sbcl 2.4.4) |
| 8.5 | 2024-04-01 | fb0dc78d0 | acl2: revision bump (sbcl 2.4.3) |
| 8.5 | 2024-01-28 | 1b4c1e131 | acl2: revision bump (sbcl 2.4.1) |
| 8.5 | 2023-12-29 | 035e4ed19 | acl2: revision bump for sbcl 2.4.0 |
| 8.5 | 2023-12-24 | f4c140f71 | acl2: revision bump (sbcl 2.3.11) |
| 8.5 | 2023-11-01 | 6b2dd21ca | acl2: revision bump (sbcl 2.3.10) |
| 8.5 | 2023-10-22 | c71de9e47 | acl2: revision bump (sbcl 2.3.9) |
| 8.5 | 2023-09-04 | cafa1abf5 | acl2: revision bump (sbcl 2.3.8) |
| 8.5 | 2023-05-01 | 5bf0b5815 | acl2: revision bump (sbcl 2.3.4) |
| 8.5 | 2023-03-29 | 2391b9294 | acl2: revision bump (sbcl 2.3.3) |
| 8.5 | 2023-02-27 | e97171a24 | acl2: revision bump (sbcl 2.3.2) |
| 8.5 | 2023-01-29 | 96ceb58d7 | acl2: revision bump (sbcl 2.3.1) |
| 8.5 | 2022-12-29 | e9804bb11 | acl2: revision bump (sbcl 2.3.0) |
| 8.5 | 2022-11-29 | 0e8babb86 | acl2: revision bump (sbcl 2.2.11) |
| 8.5 | 2022-11-01 | e87695b66 | acl2: revision bump (sbcl 2.2.10) |
| 8.5 | 2022-10-04 | f80718996 | acl2: revision bump (sbcl 2.2.9) |
| 8.5 | 2022-09-17 | 7c532451f | acl2: revision bump (sbcl 2.2.8) |
| 8.5 | 2022-07-24 | ff83f6c6e | acl2 8.5 |
| 8.4 | 2022-07-04 | 385d19662 | acl2: revision bump (sbcl 2.2.6) |
| 8.4 | 2022-06-01 | e53dfae6e | acl2: revision bump (sbcl 2.2.5) |
| 8.4 | 2022-05-17 | 9b584a82d | acl2 8.4 |
| 8.3 | 2022-05-08 | 450c30640 | acl2: revision bump (sbcl 2.2.4) |
| 8.3 | 2021-09-28 | ab6c46f7d | acl2: revision bump |
| 8.3 | 2021-08-31 | 42d8288f0 | acl2: revision bump for sbcl 2.1.8 |
| 8.3 | 2021-07-30 | 47fd2c99a | acl2: revision bump |
| 8.3 | 2021-06-29 | 5f52caf96 | acl2: revision bump (sbcl 2.1.6) |
| 8.3 | 2021-06-01 | 77ebbe878 | acl2: revision bump |
| 8.3 | 2021-04-29 | edd3a488f | acl2: revision bump (sbcl 2.1.4) |
| 8.3 | 2021-03-30 | 1c8fe2441 | acl2: revision bump |
| 8.3 | 2021-03-03 | 5a4c3e5d9 | acl2: revision bump (sbcl 2.1.2) |
| 8.3 | 2020-11-30 | 36ca81b08 | acl2: revision for sbcl |
| 8.3 | 2020-11-01 | 2be52649e | acl2: revision for sbcl |
| 8.3 | 2020-10-01 | a98d3eb42 | acl2: revision |
| 8.3 | 2020-09-02 | f6164f903 | sbcl 2.0.8 |
| 8.3 | 2020-08-11 | b0e63e57c | Create acl2.rb |