gentoo-ebuilds/dev-lang/idris2
..
files
idris2-0.7.0-r1.ebuild
Manifest
metadata.xml