Index of ftp://ftp2.ca.FreeBSD.org/gentoo-portage/sci-mathematics/agda-executable

[DIR] Parent Directory

[ ] ChangeLog  1.24Kb  September 13 2013
[ ] Manifest  2.52Kb  September 13 2013
[ ] agda-executable-2.3.0.1-r1.ebuild  939.00b  November 18 2012
[ ] agda-executable-2.3.0.1-r2.ebuild  938.00b  September 13 2013
[ ] agda-executable-2.3.0.1.ebuild  780.00b  September 12 2012
[TXT] metadata.xml  448.00b  March 25 2012