| Name | Date | Size |
|---|---|---|
| ../ | 13-Jan-2026 08:37 | - |
| idris2-0.7.0_1.darwin_10.ppc.tbz2 | 30-Dec-2024 16:12 | 27.3M |
| idris2-0.7.0_1.darwin_10.ppc.tbz2.rmd160 | 30-Dec-2024 18:00 | 256B |
| idris2-0.8.0_0.darwin_10.ppc.tbz2 | 02-Nov-2025 08:49 | 28.1M |
| idris2-0.8.0_0.darwin_10.ppc.tbz2.rmd160 | 02-Nov-2025 10:54 | 256B |
| idris2-0.8.0_1.darwin_10.ppc.tbz2 | 04-Nov-2025 02:29 | 28.1M |
| idris2-0.8.0_1.darwin_10.ppc.tbz2.rmd160 | 04-Nov-2025 10:18 | 256B |