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

[DIR] Parent Directory

[ ] ChangeLog  5.21Kb  July 2 2014 at 15:31
[ ] Manifest  9.19Kb  July 2 2014 at 15:31
[ ] agda-2.3.0.1-r1.ebuild  2.62Kb  November 18 2012
[ ] agda-2.3.0.1.ebuild  2.09Kb  September 12 2012
[ ] agda-2.3.2-r2.ebuild  3.00Kb  December 28 2012
[ ] agda-2.3.2-r5.ebuild  3.16Kb  April 2 2013
[ ] agda-2.3.2.1-r1.ebuild  3.46Kb  October 19 2013
[ ] agda-2.3.2.2-r1.ebuild  3.98Kb  February 25 2014
[ ] agda-2.3.2.ebuild  2.79Kb  November 18 2012
[ ] agda-2.4.0.1.ebuild  4.28Kb  July 2 2014 at 15:25
[DIR] files  4.00Kb  June 30 2014 at 20:31
[TXT] metadata.xml  668.00b  March 25 2012