Index of /packages/idris2/

Name DateSize
../ 03-Apr-2025 12:59-
idris2-0.7.0_1.darwin_10.ppc.tbz2 30-Dec-2024 16:1227.3M
idris2-0.7.0_1.darwin_10.ppc.tbz2.rmd160 30-Dec-2024 18:00256B