Gentoo Packages

Package: dev-lang/idris2

This package is available in the following overlays:

Overlay Versions Available
Miezhiko
  • 0.8.0
gentoo
  • 0.7.0-r2