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

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