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

• Parent Directory
• Manifest
• files/
• idris2-0.7.0-r2.ebuild
• metadata.xml