Index of /macports/distfiles/idris2/

File Name	File Size	Date
Parent directory/	-	-
Idris2-0.7.0.tar.gz	7M	22-Jun-2024 14:39