Index of /gentoo-portage-snapshots/2015-03-01-0211/sci-mathematics/agda/files/

../
50agda2-gentoo.el                                  14-Sep-2010 19:53                 317
agda-2.3.2-hashable-1.2.patch                      28-Dec-2012 05:47                2010
agda-2.3.2.1-haskell-src-exts-1.14.patch           13-Sep-2013 06:58                1402
agda-make_install.patch                            12-Jul-2006 13:21                 549