| Name | Date | Size |
|---|---|---|
| ../ | 21-Dec-2024 15:02 | - |
| idris2-0.7.0_0.darwin_10.ppc.tbz2 | 22-Jun-2024 00:17 | 25.4M |
| idris2-0.7.0_0.darwin_10.ppc.tbz2.rmd160 | 22-Jun-2024 08:13 | 256B |
| idris2-0.7.0_1.darwin_10.ppc.tbz2 | 24-Jun-2024 17:33 | 25.4M |
| idris2-0.7.0_1.darwin_10.ppc.tbz2.rmd160 | 25-Jun-2024 08:16 | 256B |