8|000|2025-08-12|dev-lang/idris2|idris2-0.7.0-r2.ebuild|https://idris-lang.org/|scheme@gentoo.org