8|dev-lang/idris2|idris2-0.6.0.ebuild|toolchain-funcs|scheme@gentoo.org
8|dev-lang/idris2|idris2-0.7.0.ebuild|check-reqs:toolchain-funcs|scheme@gentoo.org