Index of /data/main/a/agda/2.6.2.2-1.1

• Parent Directory
• Agda.cabal
• CHANGELOG.md
• LICENSE
• README.md
• Setup.hs
• debian/
• doc/
• src/
• stack-8.0.2.yaml
• stack-8.2.2.yaml
• stack-8.4.4.yaml
• stack-8.6.5.yaml
• stack-8.8.4.yaml
• stack-8.10.7.yaml
• stack-9.0.1.yaml
• stack-9.0.2.yaml
• stack-9.2.1.yaml
• stack-9.2.2.yaml