/p/agda/debian/

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