Index of /packages/idris2/
Name
Date
Size
../
03-Apr-2025 12:59
-
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