Index of /data/main/a/agda/2.8.0-1

• Parent Directory
• Agda.cabal
• CHANGELOG.md
• LICENSE
• README.md
• debian/
• doc/
• src/
• stack-8.8.4.yaml
• stack-8.10.7.yaml
• stack-9.0.2.yaml
• stack-9.2.8.yaml
• stack-9.4.8.yaml
• stack-9.6.7.yaml
• stack-9.8.4.yaml
• stack-9.10.2.yaml
• stack-9.12.2.yaml