pkgstory

checked rss

agda version history (formula)

All packages / formula

agda

formula

formula timeline from Homebrew git history.

Track agda with the RSS feed.

Current
2.8.0.2_2
Versions
67
Since
Jan 2015
Cadence
46d
Bottles
5 platforms

Update cadence

Jan 2015 to Sep 2026

Bottle availability

21 availability spans

PlatformFromUntilFirst bottled commitRemoval commit
Linux (arm64)2025-04-22presentc41b43638—
Linux (x86_64)2021-07-11presentccfdf2a66—
macOS Golden Gate 27 (arm64)2026-09-10presentf34581a03—
macOS Tahoe 26 (arm64)2025-09-14presenta039b1e72—
macOS Sequoia 15 (arm64)2024-09-11presentdedb195f9—
macOS Sonoma 14 (arm64)2023-10-072026-09-13c9e312c42d76d30add
macOS Sonoma 14 (x86_64)2023-10-162026-09-078fb099b0f6cfdc056f
macOS Ventura 13 (arm64)2022-12-112025-09-13e4c37f6f049806dae7
macOS Ventura 13 (x86_64)2022-11-192025-09-13c812e8cb249806dae7
macOS Monterey 12 (arm64)2021-10-292025-01-158416e70037ef0d5546
macOS Monterey 12 (x86_64)2021-10-292025-01-159451370fc7ef0d5546
macOS Big Sur 11 (arm64)2021-06-112023-10-075eca97a80c9e312c42
macOS Big Sur 11 (x86_64)2020-12-182023-10-07702b00164c9e312c42
macOS Catalina 10.15 (x86_64)2020-02-282022-12-08f355ba995f18b409d2
macOS Mojave 10.14 (x86_64)2018-08-202021-10-271e044ee9e0c7ce529e
macOS High Sierra 10.13 (x86_64)2017-09-222020-12-18c873bdecf702b00164
macOS Sierra 10.12 (x86_64)2016-09-252020-02-28d96d94f28f355ba995
OS X El Capitan 10.11 (x86_64)2015-09-242018-10-3106877d90912472a603
OS X Yosemite 10.10 (x86_64)2015-01-232018-01-10c0ee78f82e48dca11c
OS X Mavericks 10.9 (x86_64)2015-01-232016-11-26c0ee78f822757b7248
OS X Mountain Lion 10.8 (x86_64)2015-01-232015-11-01c0ee78f82004bd2334

Contributors

38 people · 1 automated

Authors and co-authors of formula file changes in Homebrew history, not the upstream project.

Laine Taffin Altman

19 commits · 19 version changes

2015-01-23 – 2026-09-24

ilovezfs

16 commits · 10 version changes

2016-02-26 – 2018-07-20

Carlo Cabrera

15 commits · 5 version changes

2020-12-18 – 2021-10-29

Miëtek Bak

13 commits · 12 version changes

2015-11-01 – 2020-03-17

Michael Cho

12 commits · 3 version changes

2024-03-03 – 2026-07-10

Mike McQuaid

10 commits · 0 version changes

2015-01-25 – 2026-06-22

Rui Chen

6 commits · 4 version changes

2021-02-17 – 2024-05-23

Michael Cho

4 commits · 0 version changes

2021-07-11 – 2025-04-22

Francois-Xavier Coudert

4 commits · 0 version changes

2018-09-05 – 2022-12-11

Patrick Linnane

3 commits · 1 version change

2023-10-07 – 2023-11-11

Michael Cho

3 commits · 3 version changes

2022-09-12 – 2023-02-04

fishtreesugar

3 commits · 2 version changes

2020-05-07 – 2021-10-27
Show 26 more

botantony

2 commits · 1 version change

2026-01-17 – 2026-09-10

Ruoyu Zhong

2 commits · 0 version changes

2024-09-11 – 2025-09-14

Issy Long

2 commits · 0 version changes

2020-02-23 – 2024-07-31

Sam Ford

2 commits · 0 version changes

2021-02-06 – 2024-07-18

Alexander Bayandin

2 commits · 0 version changes

2020-05-07 – 2020-05-07

Bo Anderson

2 commits · 1 version change

2020-02-28 – 2020-05-07

Alex Dunn

2 commits · 1 version change

2015-11-02 – 2015-12-06

Dominyk Tiller

2 commits · 1 version change

2015-07-22 – 2015-07-23

Michka Popoff

1 commit · 1 version change

2023-10-05 – 2023-10-05

Porkepix

1 commit · 1 version change

2023-02-04 – 2023-02-04

Sean Molenaar

1 commit · 0 version changes

2022-12-08 – 2022-12-08

haykam821

1 commit · 1 version change

2021-06-24 – 2021-06-24

Rylan Polster

1 commit · 0 version changes

2021-02-04 – 2021-02-04

Nanda H Krishna

1 commit · 0 version changes

2020-08-28 – 2020-08-28

Josh Tilles

1 commit · 0 version changes

2020-08-23 – 2020-08-23

rui

1 commit · 0 version changes

2020-07-19 – 2020-07-19

Luke Lau

1 commit · 0 version changes

2020-05-07 – 2020-05-07

Jonathan Chang

1 commit · 0 version changes

2019-06-29 – 2019-06-29

Viktor Szakats

1 commit · 0 version changes

2018-12-12 – 2018-12-12

Mistral Contrastin

1 commit · 1 version change

2018-04-05 – 2018-04-05

Xu Cheng

1 commit · 0 version changes

2015-11-04 – 2015-11-04

Tomasz Pajor

1 commit · 1 version change

2015-07-17 – 2015-07-17

Baptiste Fontaine

1 commit · 0 version changes

2015-07-12 – 2015-07-12

Nikolaus Wittenstein

1 commit · 0 version changes

2015-06-05 – 2015-06-05

Misty De Meo

1 commit · 0 version changes

2015-05-29 – 2015-05-29

Geoff Nixon

1 commit · 0 version changes

2015-05-13 – 2015-05-13
Automation

BrewTestBot

71 commits · 2 version changes

2015-01-23 – 2026-09-25

Version timeline

67 version-changing commits

VersionUpdatedCommitSubject
2.8.0.2_22026-09-25431d7a73eagda: language server v8
2.8.0.2_12026-09-19655d450ccagda: update ALS resource to v7
2.8.0.22026-09-13d76d30addagda 2.8.0.2
2.8.0.12026-09-076cfdc056fagda 2.8.0.1
2.8.0-r32026-06-09267691853agda 2.8.0-r3
2.8.0_12026-01-17a9e000320agda: revision bump (ghc 9.14.1)
2.8.02025-09-1349806dae7agda 2.8.0
2.7.0.1_22025-05-23e14e4f508agda: bump cubical to 0.8
2.7.0.1_12025-03-17e2e90b507agda: revision bump (ghc 9.12.2)
2.7.0.12025-02-04a9f9b9e62agda 2.7.0.1
2.6.4.3_22024-08-04c9aba6d90agda: add workarounds to build with GHC 9.10
2.6.4.3_12024-05-19367e91b0cagda: bump revision
2.6.4.32024-03-08f8721556aagda 2.6.4.3
2.6.4.1_42024-03-030d8d54b13agda: revision bump (ghc 9.8.2)
2.6.4.1_32024-02-2001a51a04fagda: add categories library and agda2hs
2.6.4.1_22024-01-02929957f7eagda: include cubical library
2.6.4.1_12023-12-19f9f5dc0b6agda: bump stdlib to 2.0
2.6.4.12023-12-01e77dde446agda 2.6.4.1
2.6.4_12023-11-112c60ade59agda: revision bump (ghc 9.8.1)
2.6.42023-10-168fb099b0fagda 2.6.4
2.6.3_12023-10-07c9e312c42agda: build with ghc 9.6.2
2.6.32023-02-04aef0f079cagda 2.6.3
2.6.2.2_32023-01-07c549076cdagda: revision bump (ghc 9.4.4)
2.6.2.2_22022-12-0868afdbefdagda: revision bump (ghc 9.4.3)
2.6.2.2_12022-09-12c10ebe900agda: revision bump (ghc 9.2.4)
2.6.2.22022-04-04292ddf733agda 2.6.2.2
2.6.2.1_12022-02-060d3da6f6cagda: bump alex dependency
2.6.2.12021-12-11872a4fef9agda 2.6.2.1
2.6.2_32021-10-275966965c6agda: revision bump
2.6.2_22021-08-28b597f77dcagda: revision bump (ghc 8.10.7)
2.6.2_12021-08-193841e2a39agda: revision bump (ghc 8.10.6)
2.6.22021-06-242d19fae5bagda 2.6.2
2.6.1.3_32021-06-1179e765847agda: build on ARM, depend on ghc on Mojave
2.6.1.3_22021-06-080042b2418agda: revision bump (ghc 8.10.5)
2.6.1.3_12021-04-2322e60fc58agda: update sodlib to 1.6
2.6.1.32021-02-174ccd41875agda 2.6.1.3
2.6.1.22020-12-18cf7806b8cagda 2.6.1.2
2.6.12020-03-17e476f7a8fagda 2.6.1
2.6.0.1_22020-02-285d823c2dfagda: depend on ghc@8.6
2.6.0.1_12019-07-01729b3cbecagda: update standard library
2.6.0.12019-06-215977b138bagda 2.6.0.1
2.6.02019-05-06ac4c272d9agda 2.6.0
2.5.4.22018-10-31eeb9bba3bagda 2.5.4.2
2.5.4.12018-07-201eb9377b4agda 2.5.4.1
2.5.42018-06-03a145d09faagda 2.5.4
2.5.3_32018-04-05e50e68f05agda: bump standard library version to 0.15
2.5.3_22018-03-2024d833cefagda: depend on ghc@8.2
2.5.3_12018-01-10ee22c3159agda: depend on emacs instead of :emacs
2.5.32017-09-09e4b18694cagda 2.5.3
2.5.3-alpha12017-08-09e1f505f26agda 2.5.3-alpha1
2.5.2_12017-07-270f9d8d5ecagda: depend on ghc@8.0
2.5.22016-12-2431eebae0cagda 2.5.2
2.5.1.2_12016-12-215347468e6agda: revision for directory 1.3
2.5.1.22016-11-26ca8688a98agda 2.5.1.2
2.5.1.12016-06-222a2e33ec7agda 2.5.1.1
2.5.1_12016-05-26e6240e874agda: revision for GHC 8
2.5.12016-04-21366b93269agda 2.5.1
2.4.2.52015-12-23a9ff58067agda 2.4.2.5
2.4.2.4_32015-12-23e0f3956d1agda: fix non-standard library location
2.4.2.4_22015-12-20ce0edd2cbAgda: Tweak layout; bump revision
2.4.2.4_12015-11-021eb0effe5agda: fix HEAD build, install Emacs Lisp
2.4.2.42015-11-015b69c6bcaagda 2.4.2.4
2.4.2.3_22015-07-23600bde2d8agda: revision for ghc
2.4.2.3_12015-07-2091bd10103agda: remove epic support
2.4.2.32015-07-1733682144fagda 2.4.2.3
2.4.2.2_12015-02-10ef78e7bc8agda: add standard library.
2.4.2.22015-01-2395e2f8dccagda 2.4.2.2 (new formula)