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
- May 2020
- Cadence
- 68d
Update cadence
May 2020 to May 2026
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-05-27 – 2026-06-13Francois-Xavier Coudert
3 commits · 0 version changes
2022-11-12 – 2023-10-02Dario Vladović
3 commits · 2 version changes
2020-05-26 – 2021-07-11Mike McQuaid
2 commits · 0 version changes
2023-08-15 – 2026-06-21Daeho Ro
2 commits · 2 version changes
2025-10-30 – 2026-05-12Ruoyu Zhong
2 commits · 0 version changes
2024-09-14 – 2025-09-14Michael Cho
2 commits · 1 version change
2021-07-31 – 2022-11-30Michael Cho
2 commits · 2 version changes
2022-09-30 – 2022-10-31rui
2 commits · 1 version change
2020-07-26 – 2020-09-06Michael 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-08-11 – 2022-08-11Alexander Bayandin
1 commit · 1 version change
2022-04-26 – 2022-04-26Eric Knibbe
1 commit · 1 version change
2021-11-10 – 2021-11-10Greg 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-24 – 2021-06-24G. Allais
1 commit · 0 version changes
2021-02-19 – 2021-02-19danielnachun
1 commit · 0 version changes
2021-02-16 – 2021-02-16Rylan Polster
1 commit · 0 version changes
2021-02-03 – 2021-02-03Carlo 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 | fb121be97 | idris2: revision bump (chezscheme 10.4.1) |
| 0.8.0 | 2026-05-06 | 6aa521cec | idris2: revision bump (chezscheme 10.4.0) |
| 0.8.0 | 2025-10-31 | e67a12387 | idris2 0.8.0 |
| 0.7.0 | 2025-10-30 | a9f6ea63f | idris2: revision bump (chezscheme 10.3.0) |
| 0.7.0 | 2025-05-07 | 0aa1c8fb5 | idris2: revision bump (chezscheme 10.2.0) |
| 0.7.0 | 2024-11-15 | f09e4607a | idris2: revision bump (chezscheme 10.1.0) |
| 0.7.0 | 2024-02-09 | ee362cf5f | idris2: switch aarch64 to standard chezscheme |
| racket-v8.9 | 2023-12-22 | 8d2afff31 | idris2 0.7.0 |
| racket-v8.9 | 2023-10-16 | 39ccb11aa | idris2: revision bump (chezscheme 9.6.4) |
| racket-v8.9 | 2023-08-29 | 1d61c4863 | idris2: revision bump (chezscheme 9.6.2) |
| 0.6.0 | 2022-10-31 | 1e1e3df1b | idris2 0.6.0 |
| racket-v8.6 | 2022-09-30 | 266d890c5 | idris2: fix build on Apple Silicon |
| 0.5.1 | 2022-04-26 | bf2d4ff6c | idris2: revision bump for chezscheme |
| 0.5.1 | 2021-11-10 | 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-11 | c8a046af3 | idris2: update runtime dependencies & add bash completion |
| 0.4.0 | 2021-06-24 | 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-06 | 0266dd998 | idris2: revision for chezscheme |
| 0.2.1 | 2020-08-17 | 7ab163e65 | idris2 0.2.1 |
| 0.2.0 | 2020-05-26 | 5466c674e | idris2 0.2.0 (new formula) |