Gentoo Packages

Gentoo Packages > gentoo > Categories > dev-lang > idris2 > Ebuilds

Version	EAPI	Keywords	Slot
0.7.0	8	~amd64 ~x86	0

Help & Legend | Generated by g2 0.0.103
Date: 2026-09-11 15:55:51 UTC