Rui Chen
37 commits · 26 version changes
2021-06-29 – 2026-04-30acl2 version history (formula)
All packages / formula
- Current
- 8.7
- Versions
- 62
- Since
- Jul 2020
- Cadence
- 30d
Update cadence
Jul 2020 to Jun 2026
Contributors
28 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
Carlo Cabrera
7 commits · 4 version changes
2021-03-03 – 2022-10-02TANIGUCHI Masaya
7 commits · 1 version change
2020-07-18 – 2020-07-23Michael Cho
5 commits · 3 version changes
2024-11-29 – 2026-03-17botantony
4 commits · 3 version changes
2026-03-29 – 2026-06-28Ruoyu Zhong
4 commits · 1 version change
2023-02-26 – 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-03-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
2024-11-30 – 2024-12-29Show 16 more
Thierry Moisan
2 commits · 2 version changes
2022-12-29 – 2024-06-28Porkepix
2 commits · 2 version changes
2022-07-23 – 2024-02-29Michael Cho
2 commits · 0 version changes
2021-07-11 – 2022-05-27rui
2 commits · 2 version changes
2020-10-31 – 2020-11-29Sean Molenaar
2 commits · 0 version changes
2020-07-23 – 2020-10-01Sam Ford
1 commit · 1 version change
2025-01-31 – 2025-01-31Stefan 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-09 – 2023-08-09PythonCoderAS
1 commit · 1 version change
2022-05-13 – 2022-05-13Sean Molenaar
1 commit · 1 version change
2021-08-30 – 2021-08-30Yan
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-03 – 2021-02-03Markus Reiter
1 commit · 0 version changes
2020-09-18 – 2020-09-18Dawid Dziurla
1 commit · 0 version changes
2020-08-11 – 2020-08-11Automation
BrewTestBot
48 commits · 1 version change
2020-09-02 – 2026-07-16Version timeline
62 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 8.7 | 2026-06-28 | cf7e72b64 | acl2: revision bump (sbcl 2.6.6) |
| 8.7 | 2026-05-30 | c5b736960 | acl2: revision bump (sbcl 2.6.5) |
| 8.7 | 2026-04-30 | 67cf3b18e | acl2: revision bump (sbcl 2.6.4) |
| 8.7 | 2026-03-29 | 675786691 | acl2: revision bump (sbcl 2.6.3) |
| 8.7 | 2026-03-27 | 8220bc498 | acl2 8.7 |
| 8.6 | 2026-03-17 | b2c790487 | acl2: revision bump (sbcl 2.6.2) |
| 8.6 | 2026-01-27 | a7991e15e | acl2: revision bump (sbcl 2.6.1) |
| 8.6 | 2026-01-26 | 519749837 | acl2: revision bump (sbcl 2.6.0) |
| 8.6 | 2025-10-27 | 1ba406d8d | acl2: revision bump (sbcl 2.5.10) |
| 8.6 | 2025-09-29 | 6e3fd20a5 | acl2: revision bump (sbcl 2.5.9) |
| 8.6 | 2025-08-29 | 30b6c711b | acl2: revision bump (sbcl 2.5.8) |
| 8.6 | 2025-07-26 | 6b689bcae | acl2: revision bump (sbcl 2.5.7) |
| 8.6 | 2025-06-30 | f0d1e032f | acl2: revision bump (sbcl 2.5.6) |
| 8.6 | 2025-05-31 | fef7dce96 | acl2: revision bump (sbcl 2.5.5) |
| 8.6 | 2025-04-28 | f15393e79 | acl2: revision bump (sbcl 2.5.4) |
| 8.6 | 2025-03-30 | 4cc9a22e2 | acl2: revision bump (sbcl 2.5.3) |
| 8.6 | 2025-02-28 | de70f66a0 | acl2: revision bump (sbcl 2.5.2) |
| 8.6 | 2025-01-31 | 0fb38ddf8 | acl2: revision bump (sbcl 2.5.1) |
| 8.6 | 2024-12-29 | 2b1e8cd6f | acl2: revision bump (sbcl 2.5.0) |
| 8.6 | 2024-11-30 | 2591e963c | acl2: revision bump (sbcl 2.4.11) |
| 8.6 | 2024-10-31 | 2b0626450 | acl2: revision bump (sbcl 2.4.10) |
| 8.6 | 2024-10-14 | 55ad04228 | acl2 8.6 |
| 8.5 | 2024-09-30 | 0bade344b | acl2: revision bump (sbcl 2.4.9) |
| 8.5 | 2024-08-29 | fc44ab05b | acl2: revision bump (sbcl 2.4.8) |
| 8.5 | 2024-07-27 | d43456a11 | acl2: revision bump (sbcl 2.4.7) |
| 8.5 | 2024-06-28 | 7e1e2a078 | acl2: revision bump (sbcl 2.4.6) |
| 8.5 | 2024-05-30 | 4636dd7cf | acl2: revision bump (sbcl 2.4.5) |
| 8.5 | 2024-04-30 | 2c0a95994 | acl2: revision bump (sbcl 2.4.4) |
| 8.5 | 2024-02-29 | 763fb78b1 | acl2: revision bump (sbcl 2.4.3) |
| 8.5 | 2024-01-28 | 639bb432b | acl2: revision bump (sbcl 2.4.1) |
| 8.5 | 2023-12-28 | 95dc5ba0a | acl2: revision bump for sbcl 2.4.0 |
| 8.5 | 2023-11-30 | 95e18f409 | acl2: revision bump (sbcl 2.3.11) |
| 8.5 | 2023-10-31 | 78fc0403c | acl2: revision bump (sbcl 2.3.10) |
| 8.5 | 2023-09-29 | 4f9a15067 | acl2: revision bump (sbcl 2.3.9) |
| 8.5 | 2023-09-03 | 8cc16fc06 | acl2: revision bump (sbcl 2.3.8) |
| 8.5 | 2023-04-30 | 16dd88a64 | acl2: revision bump (sbcl 2.3.4) |
| 8.5 | 2023-03-28 | cc9a3c234 | acl2: revision bump (sbcl 2.3.3) |
| 8.5 | 2023-02-26 | e97171a24 | acl2: revision bump (sbcl 2.3.2) |
| 8.5 | 2023-01-28 | 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-02 | 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-23 | ff83f6c6e | acl2 8.5 |
| 8.4 | 2022-07-03 | 385d19662 | acl2: revision bump (sbcl 2.2.6) |
| 8.4 | 2022-05-31 | e53dfae6e | acl2: revision bump (sbcl 2.2.5) |
| 8.4 | 2022-05-13 | 9b584a82d | acl2 8.4 |
| 8.3 | 2022-03-08 | 450c30640 | acl2: revision bump (sbcl 2.2.4) |
| 8.3 | 2021-09-28 | ab6c46f7d | acl2: revision bump |
| 8.3 | 2021-08-30 | 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-29 | 36ca81b08 | acl2: revision for sbcl |
| 8.3 | 2020-10-31 | 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-07-18 | b0e63e57c | Create acl2.rb |