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

• Parent Directory
• agda-bin.install
• agda-bin.lintian-overrides
• changelog
• clean
• control
• copyright
• elpa-agda2-mode.elpa
• libghc-agda-dev.install
• patches/
• rules
• source/
• watch