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

[DIR] Parent Directory

[ ] 50agda2-gentoo.el  317.00b  September 14 2010
[ ] agda-2.3.0-emacs.patch  949.00b  January 23 2012
[ ] agda-2.3.0.1-emacs.patch  955.00b  March 25 2012
[ ] agda-2.3.0.1-haskell-src-exts-1.13.patch  1.05Kb  April 1 2012
[ ] agda-2.3.0.1-mtl-2.1.patch  489.00b  April 13 2012
[ ] agda-2.3.0.1-quickcheck-2.5.patch  1.28Kb  November 18 2012
[ ] agda-2.3.2-hashable-1.2.patch  1.96Kb  December 28 2012
[ ] agda-2.3.2.1-haskell-src-exts-1.14.patch  1.37Kb  September 13 2013
[ ] agda-make_install.patch  549.00b  July 12 2006