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

• Parent Directory
• Manifest
• files/
• idris2-0.5.1_p20211112-r1.ebuild
• idris2-0.5.1_p20211112.ebuild
• idris2-0.5.1_p20220131-r1.ebuild
• idris2-0.5.1_p20220131.ebuild
• idris2-0.5.1_p20220224-r1.ebuild
• idris2-0.5.1_p20220224.ebuild
• idris2-0.5.1_p20220920.ebuild
• idris2-0.6.0.ebuild
• idris2-0.7.0.ebuild
• metadata.xml