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

NameLast modifiedSize
Parent Directory  -
Manifest2025-08-11 14:42 1.2K
files/2025-12-06 02:40 -
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