Index of /gentoo-portage/dev-lang/idris2/
Name
Size
Date
📁 ../
-
-
📁 files/
-
2025-11-18 14:06:08
📄 idris2-0.7.0-r2.ebuild
3553 bytes
2025-08-11 13:42:32
📄 Manifest
1236 bytes
2025-08-11 13:42:32
📄 metadata.xml
1255 bytes
2025-03-20 15:38:29