idris2 version history (formula)
idris2
formula 23 versions
since May 2020
~68 days between updates
Track idris2 — subscribe to the RSS feed to get an item each time it updates.
| Version | Updated | Commit |
|---|---|---|
| 0.8.0 | 2026-05-12 | fb121be97 |
| 0.8.0 | 2026-05-06 | 6aa521cec |
| 0.8.0 | 2025-10-31 | e67a12387 |
| 0.7.0 | 2025-10-30 | a9f6ea63f |
| 0.7.0 | 2025-05-07 | 0aa1c8fb5 |
| 0.7.0 | 2024-11-15 | f09e4607a |
| 0.7.0 | 2024-02-09 | ee362cf5f |
| racket-v8.9 | 2023-12-22 | 8d2afff31 |
| racket-v8.9 | 2023-10-16 | 39ccb11aa |
| racket-v8.9 | 2023-08-29 | 1d61c4863 |
| 0.6.0 | 2022-10-31 | 1e1e3df1b |
| racket-v8.6 | 2022-09-30 | 266d890c5 |
| 0.5.1 | 2022-04-26 | bf2d4ff6c |
| 0.5.1 | 2021-11-10 | 918f5b5ec |
| 0.5.1 | 2021-09-21 | 9dcf179b0 |
| 0.5.0 | 2021-09-19 | 614dd112a |
| 0.4.0 | 2021-07-11 | c8a046af3 |
| 0.4.0 | 2021-06-24 | fc9fc4a48 |
| 0.3.0 | 2021-01-15 | 7c1bc253a |
| 0.2.2 | 2020-12-30 | 58d3a22ca |
| 0.2.1 | 2020-09-06 | 0266dd998 |
| 0.2.1 | 2020-08-17 | 7ab163e65 |
| 0.2.0 | 2020-05-26 | 5466c674e |