agda version history (formula)
agda
formula 62 versions
since Jan 2015
~46 days between updates
Track agda — subscribe to the RSS feed to get an item each time it updates.
| Version | Updated | Commit |
|---|---|---|
| 0.3.0 | 2026-01-10 | 4d2fd6e38 |
| 0.3.0 | 2025-08-03 | bab84cdaa |
| 0.2.0 | 2025-03-17 | 1f0963542 |
| 0.2.0 | 2025-01-19 | e57d042f0 |
| 0.2.0 | 2024-08-18 | a7fc0e985 |
| 2.6.4.3-r1 | 2024-07-31 | 82a11faa4 |
| 2.6.4.3-r1 | 2024-05-19 | c172ec317 |
| 2.6.4.1 | 2024-03-03 | 62de8e771 |
| 2.6.4.3 | 2024-02-23 | bc180f967 |
| 2.6.4.1 | 2024-02-07 | 55607cf60 |
| 2.6.4.1 | 2023-12-29 | f349ab260 |
| 2.6.4.1 | 2023-12-12 | 57a7542c9 |
| 2.6.4.1 | 2023-11-30 | ea7b281d2 |
| 2.6.4 | 2023-11-10 | 0051cc1b2 |
| 2.6.4 | 2023-10-07 | 7420512ab |
| 2.6.3 | 2023-09-15 | 8c79c01d6 |
| 2.6.3 | 2023-01-30 | aef0f079c |
| 2.6.2.2 | 2022-12-27 | c549076cd |
| 2.6.2.2 | 2022-12-02 | 68afdbefd |
| 2.6.2.2 | 2022-09-09 | c10ebe900 |
| 2.6.2.2 | 2022-04-03 | 292ddf733 |
| 2.6.2.1 | 2022-02-06 | 0d3da6f6c |
| 2.6.2.1 | 2021-12-11 | 872a4fef9 |
| 2.6.2 | 2021-10-26 | 5966965c6 |
| 2.6.2 | 2021-08-27 | b597f77dc |
| 2.6.2 | 2021-08-16 | 3841e2a39 |
| 2.6.2 | 2021-06-21 | 2d19fae5b |
| 2.6.1.3 | 2021-06-10 | 79e765847 |
| 2.6.1.3 | 2021-06-07 | 0042b2418 |
| 2.6.1.3 | 2021-04-23 | 22e60fc58 |
| 2.6.1.3 | 2021-02-07 | 4ccd41875 |
| 2.6.1.2 | 2020-12-16 | cf7806b8c |
| 2.6.1 | 2020-03-16 | e476f7a8f |
| 2.6.0.1 | 2020-02-28 | 5d823c2df |
| 2.6.0.1 | 2019-06-30 | 729b3cbec |
| 2.6.0.1 | 2019-06-21 | 5977b138b |
| 2.6.0 | 2019-05-06 | ac4c272d9 |
| 2.5.4.2 | 2018-10-30 | eeb9bba3b |
| 2.5.4.1 | 2018-07-20 | 1eb9377b4 |
| 2.5.4 | 2018-06-03 | a145d09fa |
| 2.5.3 | 2018-04-05 | e50e68f05 |
| 2.5.3 | 2018-03-20 | 24d833cef |
| 2.5.3 | 2018-01-10 | ee22c3159 |
| 2.5.3 | 2017-09-09 | e4b18694c |
| 2.5.3-alpha1 | 2017-08-09 | e1f505f26 |
| 2.5.2 | 2017-07-27 | 0f9d8d5ec |
| 2.5.2 | 2016-12-23 | 31eebae0c |
| 2.5.1.2 | 2016-12-21 | 5347468e6 |
| 2.5.1.2 | 2016-11-25 | ca8688a98 |
| 2.5.1.1 | 2016-06-21 | 2a2e33ec7 |
| 2.5.1 | 2016-05-26 | e6240e874 |
| 2.5.1 | 2016-04-18 | 366b93269 |
| 2.4.2.5 | 2015-12-21 | a9ff58067 |
| 2.4.2.4 | 2015-12-20 | e0f3956d1 |
| 2.4.2.4 | 2015-12-19 | ce0edd2cb |
| 2.4.2.4 | 2015-11-01 | 1eb0effe5 |
| 2.4.2.4 | 2015-10-25 | 5b69c6bca |
| 2.4.2.3 | 2015-07-22 | 600bde2d8 |
| 2.4.2.3 | 2015-07-19 | 91bd10103 |
| 2.4.2.3 | 2015-07-14 | 33682144f |
| 2.4.2.2 | 2015-02-09 | ef78e7bc8 |
| 2.4.2.2 | 2015-01-21 | 95e2f8dcc |