Index of ftp://gentoo.inode.at/gentoo-portage/sci-mathematics/agda/files

[DIR] Parent Directory

[ ] 50agda2-gentoo.el  317.00b  August 9 2015
[ ] agda-2.4.2.5-hashtables.patch  558.00b  February 8 2016