Index of /gentoo-portage-snapshots/2016-01-01-0212/sci-mathematics/agda/files/

../
50agda2-gentoo.el                                  09-Aug-2015 20:34                 317
agda-make_install.patch                            09-Aug-2015 20:34                 549