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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -
[   ]Manifest27-Dec-2021 10:10 927
[TXT]idris2-0.5.1_p20211112.ebuild27-Nov-2021 15:40 2.5K
[TXT]metadata.xml27-Dec-2021 10:10 1.2K

Apache Server at sourceware.mirrors.tds.net Port 80