8|dev-lang/idris2|idris2-0.6.0.ebuild|~amd64:~x86|scheme@gentoo.org
8|dev-lang/idris2|idris2-0.7.0.ebuild|~amd64:~x86|scheme@gentoo.org