Index of ftp://www.las.ic.unicamp.br/pub/gentoo-portage/sci-mathematics/agda/files

[DIR] Parent Directory

[ ] 50agda2-gentoo.el  317.00b  September 14 2010
[ ] 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