Index of /macports/trunk/dports/lang/idris2/

Name	Size	Date
📁 ../	-	-
📁 files/	-	2024-06-24 20:03:30
📄 Portfile	2256 bytes	2025-08-05 05:23:27