Rui Chen
8 commits · 6 version changes
2020-12-30 – 2025-03-21idris2 version history (formula)
All packages / formula
- Current
- 0.8.0
- Versions
- 23
- Since
- Jun 2020
- Cadence
- 64d
- Bottles
- 7 platforms
Update cadence
Jun 2020 to May 2026
Bottle availability
16 availability spans
| Platform | From | Until | First bottled commit | Removal commit |
|---|---|---|---|---|
| Linux (arm64) | 2025-03-21 | present | 4759c83da | — |
| Linux (x86_64) | 2021-07-31 | present | 494a595b7 | — |
| macOS Golden Gate 27 (arm64) | 2026-09-12 | present | 72509d94a | — |
| macOS Tahoe 26 (arm64) | 2025-09-14 | present | 256fed859 | — |
| macOS Sequoia 15 (arm64) | 2024-09-14 | present | 90b50dcc9 | — |
| macOS Sonoma 14 (arm64) | 2023-10-02 | present | ab427b2b6 | — |
| macOS Sonoma 14 (x86_64) | 2023-10-02 | present | ab427b2b6 | — |
| macOS Ventura 13 (arm64) | 2022-11-30 | 2025-10-30 | c6358c58c | 509de320b |
| macOS Ventura 13 (x86_64) | 2022-12-03 | 2025-10-30 | 9ccb99c35 | 509de320b |
| macOS Monterey 12 (arm64) | 2022-11-30 | 2024-11-16 | c6358c58c | ecd19f457 |
| macOS Monterey 12 (x86_64) | 2022-11-01 | 2024-11-16 | f4f91065f | ecd19f457 |
| macOS Big Sur 11 (arm64) | 2022-11-30 | 2023-10-16 | c6358c58c | e87239e0f |
| macOS Big Sur 11 (x86_64) | 2020-11-17 | 2023-10-16 | b59c1118d | e87239e0f |
| macOS Catalina 10.15 (x86_64) | 2020-06-13 | 2023-08-30 | 11666ed95 | ed4057563 |
| macOS Mojave 10.14 (x86_64) | 2020-06-13 | 2021-11-11 | 11666ed95 | 08a0cde32 |
| macOS High Sierra 10.13 (x86_64) | 2020-06-13 | 2020-12-30 | 11666ed95 | 8157b899f |
Contributors
29 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
botantony
4 commits · 2 version changes
2025-06-06 – 2026-06-13Ruoyu Zhong
3 commits · 0 version changes
2024-09-14 – 2026-09-12Francois-Xavier Coudert
3 commits · 0 version changes
2022-11-13 – 2023-10-02Dario Vladovic
3 commits · 2 version changes
2020-06-13 – 2021-07-17Mike McQuaid
2 commits · 0 version changes
2023-08-15 – 2026-06-22Daeho Ro
2 commits · 2 version changes
2025-10-30 – 2026-05-12Michael Cho
2 commits · 0 version changes
2021-07-31 – 2022-11-30Michael Cho
2 commits · 1 version change
2022-11-01 – 2022-11-29rui
2 commits · 1 version change
2020-07-27 – 2020-09-07Michael Cho
1 commit · 0 version changes
2025-09-15 – 2025-09-15Thierry Moisan
1 commit · 1 version change
2025-05-07 – 2025-05-07Show 17 more
Steve Dunham
1 commit · 1 version change
2024-02-09 – 2024-02-09Porkepix
1 commit · 1 version change
2023-12-22 – 2023-12-22Patrick Linnane
1 commit · 1 version change
2023-10-16 – 2023-10-16Max Eisner
1 commit · 0 version changes
2022-09-03 – 2022-09-03Alexander Bayandin
1 commit · 1 version change
2022-04-26 – 2022-04-26Eric Knibbe
1 commit · 1 version change
2021-11-11 – 2021-11-11Greg Werbin
1 commit · 0 version changes
2021-11-10 – 2021-11-10Caleb Xu
1 commit · 1 version change
2021-09-21 – 2021-09-21Greg Werbin
1 commit · 1 version change
2021-06-25 – 2021-06-25G. Allais
1 commit · 0 version changes
2021-02-21 – 2021-02-21danielnachun
1 commit · 0 version changes
2021-02-19 – 2021-02-19Rylan Polster
1 commit · 0 version changes
2021-02-04 – 2021-02-04Carlo Cabrera
1 commit · 0 version changes
2021-01-15 – 2021-01-15Jonathan Chang
1 commit · 0 version changes
2020-11-17 – 2020-11-17rui
1 commit · 0 version changes
2020-09-07 – 2020-09-07Anton Trunov
1 commit · 1 version change
2020-08-17 – 2020-08-17Sam Ford
1 commit · 0 version changes
2020-06-13 – 2020-06-13Automation
BrewTestBot
23 commits · 0 version changes
2020-06-21 – 2026-05-12Version timeline
23 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 0.8.0 | 2026-05-12 | 1623e5a6c | idris2: revision bump (chezscheme 10.4.1) |
| 0.8.0 | 2026-05-07 | 2004df4ac | idris2: revision bump (chezscheme 10.4.0) |
| 0.8.0 | 2025-11-01 | 0552746ec | idris2 0.8.0 |
| 0.7.0 | 2025-10-30 | 509de320b | idris2: revision bump (chezscheme 10.3.0) |
| 0.7.0 | 2025-05-07 | 02073ce3c | idris2: revision bump (chezscheme 10.2.0) |
| 0.7.0 | 2024-11-16 | ecd19f457 | idris2: revision bump (chezscheme 10.1.0) |
| 0.7.0 | 2024-02-09 | f8ac798d6 | idris2: switch aarch64 to standard chezscheme |
| 0.7.0 | 2024-02-08 | 54fd2bb51 | idris2: revision bump (chezscheme 10.0.0) |
| 0.7.0 | 2023-12-22 | a3bf4191c | idris2 0.7.0 |
| 0.6.0 | 2023-10-16 | e87239e0f | idris2: revision bump (chezscheme 9.6.4) |
| 0.6.0 | 2023-08-30 | ed4057563 | idris2: revision bump (chezscheme 9.6.2) |
| 0.6.0 | 2022-11-01 | 1e1e3df1b | idris2 0.6.0 |
| 0.5.1 | 2022-04-26 | bf2d4ff6c | idris2: revision bump for chezscheme |
| 0.5.1 | 2021-11-11 | 918f5b5ec | idris2: revision bump for chezscheme |
| 0.5.1 | 2021-09-21 | 9dcf179b0 | idris2 0.5.1 |
| 0.5.0 | 2021-09-19 | 614dd112a | idris2 0.5.0 |
| 0.4.0 | 2021-07-17 | c8a046af3 | idris2: update runtime dependencies & add bash completion |
| 0.4.0 | 2021-06-25 | fc9fc4a48 | idris2 0.4.0 |
| 0.3.0 | 2021-01-15 | 7c1bc253a | idris2 0.3.0 |
| 0.2.2 | 2020-12-30 | 58d3a22ca | idris2 0.2.2 |
| 0.2.1 | 2020-09-07 | 0266dd998 | idris2: revision for chezscheme |
| 0.2.1 | 2020-08-17 | 7ab163e65 | idris2 0.2.1 |
| 0.2.0 | 2020-06-13 | 5466c674e | idris2 0.2.0 (new formula) |