Index of /portage/trunk/dev-lang/idris2
Name
Last modified
Size
Parent Directory
-
Manifest
2023-12-27 05:40
1.8K
files/
2024-12-22 02:10
-
idris2-0.6.0.ebuild
2023-02-14 09:40
2.4K
idris2-0.7.0.ebuild
2023-12-27 05:40
2.8K
metadata.xml
2022-01-25 23:10
1.2K
Apache Server at bbgentoo.ilb.ru Port 80