Index of /gentoo-portage/dev-lang/idris2/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
files/-2026-Jul-11 01:08
Manifest 12362025-Aug-11 19:42
idris2-0.7.0-r2.ebuild 35532025-Aug-11 19:42
metadata.xml 12552025-Mar-20 21:38