/sci-mathematics/agda/files/

• ../
• 50agda2-gentoo.el
• agda-2.4.2.5-hashtables.patch