Index of /gentoo-portage/sci-mathematics/agda/


../
files/                                             19-Oct-2020 20:39                   -
Manifest                                           08-Oct-2020 18:39                1204
agda-2.5.2-r2.ebuild                               17-May-2020 17:09                5305
metadata.xml                                       16-Feb-2017 10:21                 907