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