Index of ftp://ftp5.ru.freebsd.org/gentoo-portage/sci-mathematics/agda

[DIR] Parent Directory

[ ] Manifest  2.08Kb  December 10 2017 at 11:10
[ ] agda-2.4.2.5-r2.ebuild  4.33Kb  February 28 2017
[ ] agda-2.5.2-r1.ebuild  5.14Kb  February 28 2017
[DIR] files  4.00Kb  February 19 2018 at 14:38
[TXT] metadata.xml  907.00b  February 16 2017