Index of /data/main/a/agda/2.2.6-7/debian

• Parent Directory
• 50agda.el
• agda-mode.install
• changelog
• compat
• control
• copyright
• libghc6-agda-dev.install
• rules
• source/
• watch