/sci-mathematics/agda/files/

• ../
• 50agda-gentoo.el
• 50agda2-gentoo.el
• agda-1.0.2-upstream-fixes.patch
• agda-2.2.6-emacs.patch
• agda-2.3.0-emacs.patch
• agda-2.3.0.1-emacs.patch
• agda-2.3.0.1-haskell-src-exts-1.13.patch
• agda-2.3.0.1-mtl-2.1.patch
• agda-2.3.0.1-quickcheck-2.5.patch
• agda-2.3.2-hashable-1.2.patch
• agda-make_install.patch