Index of /gentoo-portage-snapshots/2021-12-28-0015/dev-lang/idris2/

../
Manifest                                           27-Dec-2021 16:10                 927
idris2-0.5.1_p20211112.ebuild                      27-Nov-2021 21:40                2513
metadata.xml                                       27-Dec-2021 16:10                1254