Gentoo Packages
Gentoo Packages
>
dev-lang
> idris2
Package: dev-lang/idris2
This package is available in the following overlays:
Overlay
Versions Available
Miezhiko
=dev-lang/idris2-0.8.0::Miezhiko
gentoo
=dev-lang/idris2-0.7.0-r2::gentoo