Index of /gentoo-portage-snapshots/2020-11-19-0015/sci-mathematics/agda/

../
files/                                             18-Nov-2020 23:39                   -
Manifest                                           15-Nov-2020 17:09                1204
agda-2.5.2-r2.ebuild                               15-Nov-2020 17:09                5012
metadata.xml                                       15-Nov-2020 17:09                 848