Welcome to NYCU CSIT Mirror site
Index of /gentoo/gentoo-portage/dev-lang/idris2/
Index of /gentoo/gentoo-portage/dev-lang/idris2/
../
files/ 22-Dec-2024 15:10 -
Manifest 27-Dec-2023 01:40 1844
idris2-0.6.0.ebuild 14-Feb-2023 05:40 2479
idris2-0.7.0.ebuild 27-Dec-2023 01:40 2828
metadata.xml 25-Jan-2022 19:10 1255