Index of ftp://mirror.nl.leaseweb.net/gentoo-portage/sci-mathematics/agda

[DIR] Parent Directory

[ ] Manifest  1.18Kb  March 16 2021 at 17:39
[ ] agda-2.6.1.2.ebuild  5.00Kb  March 15 2021 at 22:39
[DIR] files  4.00Kb  June 9 2021 at 03:39
[TXT] metadata.xml  1.70Kb  March 16 2021 at 17:39