Index of /gentoo-portage/dev-lang/idris2/

Name	Size	Date
📁 ../	-	-
📁 files/	-	2025-12-01 13:41:26
📄 idris2-0.7.0-r2.ebuild	3553 bytes	2025-08-11 10:42:32
📄 Manifest	1236 bytes	2025-08-11 10:42:32
📄 metadata.xml	1255 bytes	2025-03-20 12:38:29