Laine Taffin Altman
16 commits · 10 version changes
2015-01-21 – 2025-08-03agda version history (formula)
All packages / formula
- Current
- 0.3.0
- Versions
- 33
- Since
- Jan 2015
- Cadence
- 116d
Update cadence
Jan 2015 to Jan 2026
Contributors
38 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
ilovezfs
16 commits · 5 version changes
2016-02-22 – 2018-07-20Carlo Cabrera
15 commits · 2 version changes
2020-12-16 – 2021-10-29Miëtek Bak
13 commits · 9 version changes
2015-10-25 – 2020-03-16Michael Cho
12 commits · 2 version changes
2024-03-03 – 2026-07-10Mike McQuaid
10 commits · 1 version change
2015-01-25 – 2026-06-21Rui Chen
6 commits · 2 version changes
2021-02-07 – 2024-05-23Michael Cho
4 commits · 0 version changes
2021-07-11 – 2025-04-22Francois-Xavier Coudert
4 commits · 0 version changes
2018-09-05 – 2022-12-11Patrick Linnane
3 commits · 1 version change
2023-10-07 – 2023-11-11Michael Cho
3 commits · 1 version change
2022-09-09 – 2023-01-30fishtreesugar
3 commits · 0 version changes
2020-05-07 – 2021-10-26Show 26 more
Ruoyu Zhong
2 commits · 0 version changes
2024-09-11 – 2025-09-14Issy Long
2 commits · 0 version changes
2020-02-23 – 2024-07-22Sam Ford
2 commits · 0 version changes
2021-02-06 – 2024-07-18Alexander Bayandin
2 commits · 0 version changes
2020-05-07 – 2020-05-07Bo Anderson
2 commits · 0 version changes
2020-02-28 – 2020-05-07Alex Dunn
2 commits · 0 version changes
2015-11-01 – 2015-12-05Dominyk Tiller
2 commits · 1 version change
2015-07-22 – 2015-07-22botantony
1 commit · 1 version change
2026-01-10 – 2026-01-10Michka Popoff
1 commit · 0 version changes
2023-09-15 – 2023-09-15Porkepix
1 commit · 1 version change
2023-01-30 – 2023-01-30Sean Molenaar
1 commit · 0 version changes
2022-12-08 – 2022-12-08haykam821
1 commit · 1 version change
2021-06-21 – 2021-06-21Rylan Polster
1 commit · 0 version changes
2021-02-03 – 2021-02-03Nanda H Krishna
1 commit · 0 version changes
2020-08-28 – 2020-08-28Josh Tilles
1 commit · 0 version changes
2020-08-15 – 2020-08-15rui
1 commit · 0 version changes
2020-07-18 – 2020-07-18Luke Lau
1 commit · 0 version changes
2020-05-07 – 2020-05-07Jonathan Chang
1 commit · 0 version changes
2019-06-29 – 2019-06-29Viktor Szakats
1 commit · 0 version changes
2018-12-12 – 2018-12-12Mistral Contrastin
1 commit · 0 version changes
2018-04-05 – 2018-04-05Xu Cheng
1 commit · 0 version changes
2015-11-04 – 2015-11-04Tomasz Pajor
1 commit · 1 version change
2015-07-14 – 2015-07-14Baptiste Fontaine
1 commit · 0 version changes
2015-07-10 – 2015-07-10Misty De Meo
1 commit · 0 version changes
2015-05-29 – 2015-05-29Nikolaus Wittenstein
1 commit · 0 version changes
2015-05-19 – 2015-05-19Geoff Nixon
1 commit · 0 version changes
2015-04-30 – 2015-04-30Automation
BrewTestBot
66 commits · 2 version changes
2015-01-23 – 2026-02-14Version timeline
33 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 0.3.0 | 2026-01-10 | 4d2fd6e38 | agda: revision bump (ghc 9.14.1) |
| 0.3.0 | 2025-08-03 | bab84cdaa | agda 2.8.0 |
| 0.2.0 | 2025-03-17 | 1f0963542 | agda: revision bump (ghc 9.12.2) |
| 0.2.0 | 2025-01-19 | e57d042f0 | agda: use shared libraries/linkage on macOS to reduce install size |
| 0.2.0 | 2024-08-18 | a7fc0e985 | agda 2.7.0.1 |
| 2.6.4.3 | 2024-02-23 | bc180f967 | agda 2.6.4.3 |
| 2.6.4.1 | 2023-11-30 | ea7b281d2 | agda 2.6.4.1 |
| 2.6.4 | 2023-10-07 | 7420512ab | agda 2.6.4 |
| 2.6.3 | 2023-01-30 | aef0f079c | agda 2.6.3 |
| 2.6.2.2 | 2022-04-03 | 292ddf733 | agda 2.6.2.2 |
| 2.6.2.1 | 2021-12-11 | 872a4fef9 | agda 2.6.2.1 |
| 2.6.2 | 2021-06-21 | 2d19fae5b | agda 2.6.2 |
| 2.6.1.3 | 2021-02-07 | 4ccd41875 | agda 2.6.1.3 |
| 2.6.1.2 | 2020-12-16 | cf7806b8c | agda 2.6.1.2 |
| 2.6.1 | 2020-03-16 | e476f7a8f | agda 2.6.1 |
| 2.6.0.1 | 2019-06-21 | 5977b138b | agda 2.6.0.1 |
| 2.6.0 | 2019-05-06 | ac4c272d9 | agda 2.6.0 |
| 2.5.4.2 | 2018-10-30 | eeb9bba3b | agda 2.5.4.2 |
| 2.5.4.1 | 2018-07-20 | 1eb9377b4 | agda 2.5.4.1 |
| 2.5.4 | 2018-06-03 | a145d09fa | agda 2.5.4 |
| 2.5.3 | 2017-09-09 | e4b18694c | agda 2.5.3 |
| 2.5.3-alpha1 | 2017-08-09 | e1f505f26 | agda 2.5.3-alpha1 |
| 2.5.2 | 2016-12-23 | 31eebae0c | agda 2.5.2 |
| 2.5.1.2 | 2016-11-25 | ca8688a98 | agda 2.5.1.2 |
| 2.5.1.1 | 2016-06-21 | 2a2e33ec7 | agda 2.5.1.1 |
| 2.5.1 | 2016-04-18 | 366b93269 | agda 2.5.1 |
| 2.4.2.5 | 2015-12-21 | a9ff58067 | agda 2.4.2.5 |
| 2.4.2.4 | 2015-10-25 | 5b69c6bca | agda 2.4.2.4 |
| 2.4.2.3 | 2015-07-22 | 600bde2d8 | agda: revision for ghc |
| 2.4.2.3 | 2015-07-19 | 91bd10103 | agda: remove epic support |
| 2.4.2.3 | 2015-07-14 | 33682144f | agda 2.4.2.3 |
| 2.4.2.2 | 2015-02-09 | ef78e7bc8 | agda: add standard library. |
| 2.4.2.2 | 2015-01-21 | 95e2f8dcc | agda 2.4.2.2 (new formula) |