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

NameLast ModifiedSizeType
Parent Directory/ -  Directory
files/2026-04-11 07:38-  Directory
Manifest2025-08-11 10:421.2KFile
idris2-0.7.0-r2.ebuild2025-08-11 10:423.5KFile
metadata.xml2025-03-20 12:381.2KFile
nginx