package names descriptions source package names package contents all options

[  lucid  ] [  precise  ] [  quantal  ] [  raring  ]

[ Source: agda  ]

Links for agda-mode

Ubuntu Resources:

• Bug Reports
• Ubuntu Changelog
• Copyright File

Download Source Package agda:

• [agda_2.3.0.1-2build1.dsc]
• [agda_2.3.0.1.orig.tar.gz]
• [agda_2.3.0.1-2build1.debian.tar.gz]

Maintainer:

• Ubuntu MOTU Developers (Mail Archive)

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

Original Maintainers (usually from Debian):

• Debian Haskell Group (Mail Archive)
• Iain Lane

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

External Resources:

• Homepage [wiki.portal.chalmers.se]

Similar packages:

• agda
• libghc-agda-dev
• libghc-agda-doc
• haskell-agda-doc
• libghc6-agda-dev
• libghc6-agda-prof
• agda-stdlib
• agda-stdlib-doc
• lisaac-mode
• agda-bin
• haskell-mode

Other Packages Related to agda-mode

depends

recommends

suggests

• dep: emacs

  GNU Emacs editor (metapackage)

  or emacsen

  virtual package provided by emacs23, emacs23-lucid, emacs23-nox, emacs24, emacs24-lucid, emacs24-nox, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule

• dep: haskell-mode

  major mode for editing Haskell in Emacs

• dep: libghc-agda-dev (<< 2.3.0.1-2build1.1~)

  dependently typed functional programming language - development libraries

  dep: libghc-agda-dev (>= 2.3.0.1-2build1)

Download agda-mode

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	43.9 kB	171.0 kB	[list of files]