/sci-mathematics/agda/files/

• ../
• 50agda-gentoo.el
• agda-1.0.2-upstream-fixes.patch
• agda-make_install.patch