skip the navigation

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

 / Packages / squeeze (oldstable) / Source / haskell / agda-bin

[  squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]

Links for agda-bin

Debian Resources:

• Bug Reports
• Developer Information (PTS)
• Debian Changelog
• Copyright File
• Debian Source Repository (Git)
• Debian Patch Tracker

Maintainers:

• Debian Haskell Group (QA Page, Mail Archive)
• Iain Lane (QA Page)

External Resources:

• Homepage [wiki.portal.chalmers.se]

The following binary packages are built from this source package:

agda-bin

Commandline interface to Agda

Other Packages Related to agda-bin

build-depends

build-depends-indep

• adep: debhelper (>= 7.0)

  Programmes assistants pour debian/rules

• adep: haskell-devscripts (>= 0.6.15+nmu12~)

  Tools to help Debian developers build Haskell packages

• adep: cdbs

  Système de compilation usuel pour les paquets Debian

• adep: ghc6 (>= 6.10.4-1~)

  GHC - the Glasgow Haskell Compilation system

• adep: libghc6-agda-dev (>= 2.2.6)

  a dependently typed functional programming language - development libraries

• adep: libghc6-agda-dev (<< 2.2.6.1~)

  a dependently typed functional programming language - development libraries

Download agda-bin

File	Size (in kB)	MD5 checksum
agda-bin_2.2.6-1.dsc	1.3 kB	179f022414207fc054391703a4be9494
agda-bin_2.2.6.orig.tar.gz	1.6 kB	d88d9504500a32fabc2c883991059b68
agda-bin_2.2.6-1.diff.gz	2.4 kB	1938435da24eda52576031fddf237654

Debian Package Source Repository (VCS: Git)

git://git.debian.org/git/pkg-haskell/agda-bin.git

Debian Package Source Repository (Browsable)

http://git.debian.org/?p=pkg-haskell/agda-bin.git;a=summary