| Age | Commit message | Author |
|---|---|---|
| 2022-11-11 | Exclude base/system_info001 until next release | CodingCellist |
| 2022-10-31 | Forgot to update .SRCINFO | CodingCellist |
| 2022-10-31 | Version 0.6.0 | CodingCellist |
| 2022-10-31 | Version 0.6.0 | CodingCellist |
| 2021-11-29 | Change SCHEME bin name from "scheme" to "chez" | CodingCellist |
| 2021-09-20 | Version 0.5.1 | mb64 |
| 2021-06-24 | Version 0.4.0 | mb64 |
| 2021-01-13 | Version 0.3.0 | mb64 |
| 2021-01-12 | Update .SRCINFO | mb64 |
| 2021-01-12 | Version 0.2.2 | mb64 |
| [...] | ||
| Clone | ||
| https://aur.archlinux.org/idris2.git/ | ||