Index of /macports/distfiles/idris2/

Name	Size	Date
📁 ../	-	-
📄 Idris2-0.7.0.tar.gz	6987849 bytes	2024-06-22 14:39:03
📄 Idris2-0.8.0.tar.gz	6995063 bytes	2026-01-26 12:41:06