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


../
Manifest                                           25-Jan-2022 19:10     927
idris2-0.5.1_p20211112.ebuild                      27-Nov-2021 21:40    2513
metadata.xml                                       25-Jan-2022 19:10    1255