8|dev-lang/idris2|idris2-0.6.0.ebuild|BSD|scheme@gentoo.org
8|dev-lang/idris2|idris2-0.7.0.ebuild|BSD|scheme@gentoo.org