Index of /gentoo-portage-snapshots/2020-06-20-0015/sci-mathematics/agda/

../
files/                                             19-Jun-2020 23:39                   -
Manifest                                           17-May-2020 17:09                2435
agda-2.4.2.5-r2.ebuild                             17-May-2020 17:09                4436
agda-2.5.2-r1.ebuild                               17-May-2020 17:09                5270
agda-2.5.2-r2.ebuild                               17-May-2020 17:09                5305
metadata.xml                                       16-Feb-2017 10:21                 907