Index of /gentoo-portage-snapshots/2022-04-15-0015/dev-lang/idris2/

../
Manifest                                           27-Feb-2022 00:39                2189
idris2-0.5.1_p20211112.ebuild                      27-Nov-2021 21:40                2513
idris2-0.5.1_p20220131.ebuild                      01-Feb-2022 04:09                2536
idris2-0.5.1_p20220224.ebuild                      27-Feb-2022 00:39                2639
metadata.xml                                       25-Jan-2022 19:10                1255