Index of ftp://gentoo.inode.at/gentoo-portage/sci-mathematics/agda

[DIR] Parent Directory

[ ] agda-2.4.2.5-r2.ebuild  4.33Kb  May 17 2020 at 17:09
[ ] agda-2.5.2-r1.ebuild  5.15Kb  May 17 2020 at 17:09
[ ] agda-2.5.2-r2.ebuild  5.18Kb  May 17 2020 at 17:09
[DIR] files  4.00Kb  June 28 2020 at 12:09
[ ] Manifest  2.38Kb  May 17 2020 at 17:09
[TXT] metadata.xml  907.00b  February 16 2017