/sci-mathematics/agda-executable/

• ../
• ChangeLog
• Manifest
• agda-executable-2.3.0.1-r1.ebuild
• agda-executable-2.3.0.1.ebuild
• metadata.xml