Index of /macports/distfiles/idris2/
Name
Size
Date
📁 ../
-
-
📄 Idris2-0.7.0.tar.gz
6987849 bytes
2024-06-22 14:39:03