Index of /gentoo-portage-snapshots/2022-01-31-0015/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