package names descriptions source package names package contents all options

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

[ Source: agda-bin  ]

Links for agda-bin

Ubuntu Resources:

• Bug Reports
• Ubuntu Changelog
• Copyright File

Download Source Package agda-bin:

• [agda-bin_2.3.0.1-1.dsc]
• [agda-bin_2.3.0.1.orig.tar.gz]
• [agda-bin_2.3.0.1-1.diff.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-mode
• foremancli
• agda-stdlib
• agda-stdlib-doc
• haskell-agda-doc
• libghc6-agda-dev
• libghc6-agda-prof
• cipux-task-tools
• gnutls-bin
• cutechess
• potracegui

Other Packages Related to agda-bin

depends

recommends

suggests

• dep: libc6 (>= 2.15)

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

• dep: libffi6 (>= 3.0.4)

  Foreign Function Interface library runtime

• dep: libgmp10

  Multiprecision arithmetic library

• dep: libtinfo5

  shared low-level terminfo library for terminal handling

• dep: zlib1g (>= 1:1.1.4)

  compression library - runtime

• rec: libghc-agda-dev (<< 2.3.0.2~)

  dependently typed functional programming language - development libraries

  rec: libghc-agda-dev (>= 2.3.0.1)

• sug: agda-mode

  dependently typed functional programming language — emacs mode

Download agda-bin

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	4,774.1 kB	25,982.0 kB	[list of files]
i386	4,460.4 kB	18,366.0 kB	[list of files]