Package: agda-mode (2.6.0.1-1build4) [universe]

Links for agda-mode

Ubuntu Resources:

• Bug Reports
• Ubuntu Changelog
• Copyright File

Download Source Package agda:

• [agda_2.6.0.1-1build4.dsc]
• [agda_2.6.0.1.orig.tar.gz]
• [agda_2.6.0.1-1build4.debian.tar.xz]

Maintainer:

• Ubuntu Developers (Mail Archive)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

• Debian Haskell Group (Mail Archive)

It should generally not be necessary for users to contact the original maintainer.

External Resources:

• Homepage [wiki.portal.chalmers.se]

Similar packages:

• migemo-el
• dash-el
• magit
• paredit-el
• dictionary-el
• s-el
• tuareg-mode
• silversearcher-ag-el
• sml-mode
• linux-headers-oem-20.04b
• linux-headers-oem-20.04c

Download agda-mode