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

NameLast modifiedSize
Parent Directory  -
Manifest2025-08-11 14:42 1.2K
files/2026-01-01 02:11 -
idris2-0.7.0-r2.ebuild2025-08-11 14:42 3.5K
metadata.xml2025-03-20 16:38 1.2K
Apache Server at bbgentoo.ilb.ru Port 80