Index of /gentoo-portage/dev-lang/idris2
Parent Directory
Manifest
files/
idris2-0.6.0.ebuild
idris2-0.7.0.ebuild
metadata.xml
Rackers - More on this mirror here: https://rax.io/mirrorfaq