/sci-mathematics/agda/files/
../
50agda-gentoo.el
agda-make_install.patch
digest-agda-20050601