Index of mirrors/gentoo-portage/dev-lang/idris2
Name ▴ Size Last Modified
../ - -
files/ - 2026-04-25 07:38
idris2-0.7.0-r2.ebuild 3.5 KB 2025-08-11 10:42
Manifest 1.2 KB 2025-08-11 10:42
metadata.xml 1.2 KB 2025-03-20 12:38
4 items, 5.9 KB total