[ squeeze ] [ wheezy ] [ sid ]

Source Package: agda (2.3.0-1)

Links for agda

Debian Resources:

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: dependently typed functional programming language
agda-mode: dependently typed functional programming language — emacs mode
libghc-agda-dev: dependently typed functional programming language - development libraries
libghc-agda-doc: dependently typed functional programming language - documentation

Other Packages Related to agda

build-depends

build-depends-indep

adep: debhelper (>= 7.0)

helper programs for debian/rules
adep: haskell-devscripts (>= 0.8)

Tools to help Debian developers build Haskell packages
adep: cdbs (>> 0.4.58)

common build system for Debian packages
adep: ghc

The Glasgow Haskell Compilation system
also a virtual package provided by ghc6
adep: libghc-binary-dev (>= 0.4.4)

Haskell library for binary serialisation using lazy ByteStrings
also a virtual package provided by ghc
adep: libghc-binary-dev (<< 0.6)

Haskell library for binary serialisation using lazy ByteStrings
also a virtual package provided by ghc
adep: libghc-hashable-dev (>= 1.1)

Class for types that can be converted to a hash value
adep: libghc-hashable-dev (<< 1.2)

Class for types that can be converted to a hash value
adep: libghc-hashtables-dev (>= 1.0)

mutable hash tables
adep: libghc-hashtables-dev (<< 1.1)

mutable hash tables
adep: libghc-haskeline-dev (>= 0.3)

A command-line interface for user input, written in Haskell
adep: libghc-haskeline-dev (<< 0.7)

A command-line interface for user input, written in Haskell
adep: libghc-haskell-src-dev (>= 1.0.1.1)

Haskell module to manipulate Haskell source
adep: libghc-haskell-src-dev (<< 2)

Haskell module to manipulate Haskell source
adep: libghc-mtl-dev (>= 2.0)

Haskell monad transformer library for GHC
adep: libghc-mtl-dev (<< 3)

Haskell monad transformer library for GHC
adep: libghc-xhtml-dev (>= 3000.2)

Haskell xhtml library for GHC
also a virtual package provided by ghc
adep: libghc-xhtml-dev (<< 3000.3)

Haskell xhtml library for GHC
also a virtual package provided by ghc
adep: libghc-zlib-dev (>= 0.4.0.1)

Compression and decompression in the gzip and zlib formats
adep: libghc-zlib-dev (<< 0.6)

Compression and decompression in the gzip and zlib formats
adep: libghc-src-exts-dev (>= 1.9.6)

Haskell-Source with eXtensions library for GHC
adep: libghc-src-exts-dev (<< 1.12)

Haskell-Source with eXtensions library for GHC
adep: libghc-quickcheck2-dev (>= 2.3)

Haskell automatic testing library for GHC
adep: libghc-quickcheck2-dev (<< 2.5)

Haskell automatic testing library for GHC
adep: libghc-syb-dev (>= 0.1)

Generic programming library for Haskell
adep: libghc-syb-dev (<< 0.4)

Generic programming library for Haskell
adep: happy (>= 1.15)

Parser generator for Haskell
adep: happy (<< 2)

Parser generator for Haskell
adep: alex (>= 2.3.1)

lexical analyser generator for Haskell
adep: libncurses5-dev

developer's libraries for ncurses

idep: ghc-doc

Documentation for the Glasgow Haskell Compilation system
idep: libghc-binary-doc (>= 0.4.4)

Haskell library for binary serialisation; documentation
also a virtual package provided by ghc-doc
idep: libghc-binary-doc (<< 0.6)

Haskell library for binary serialisation; documentation
also a virtual package provided by ghc-doc
idep: libghc-hashable-doc (>= 1.1)

Class for types that can be converted to a hash value; documentation
idep: libghc-hashable-doc (<< 1.2)

Class for types that can be converted to a hash value; documentation
idep: libghc-hashtables-doc (>= 1.0)

mutable hash tables -- documentation
idep: libghc-hashtables-doc (<< 1.1)

mutable hash tables -- documentation
idep: libghc-haskeline-doc (>= 0.3)

A command-line interface for user input, written in Haskell; documentation
idep: libghc-haskeline-doc (<< 0.7)

A command-line interface for user input, written in Haskell; documentation
idep: libghc-haskell-src-doc (>= 1.0.1.1)

Haskell module to manipulate Haskell source; documentation
idep: libghc-haskell-src-doc (<< 2)

Haskell module to manipulate Haskell source; documentation
idep: libghc-mtl-doc (>= 2.0)

Haskell monad transformer library for GHC; documentation
idep: libghc-mtl-doc (<< 3)

Haskell monad transformer library for GHC; documentation
idep: libghc-terminfo-doc

Haskell bindings to the terminfo library; documentation
idep: libghc-xhtml-doc (>= 3000.2)

Haskell xhtml library for GHC; documentation
also a virtual package provided by ghc-doc
idep: libghc-xhtml-doc (<< 3000.3)

Haskell xhtml library for GHC; documentation
also a virtual package provided by ghc-doc
idep: libghc-zlib-doc (>= 0.4.0.1)

Compression and decompression in the gzip and zlib formats; documentation
idep: libghc-zlib-doc (<< 0.6)

Compression and decompression in the gzip and zlib formats; documentation
idep: libghc-src-exts-doc (>= 1.9.6)

API documentation of the haskell-src-exts library
idep: libghc-src-exts-doc (<< 1.12)

API documentation of the haskell-src-exts library
idep: libghc-quickcheck2-doc (>= 2.3)

Haskell automatic testing library for GHC; documentation
idep: libghc-quickcheck2-doc (<< 2.5)

Haskell automatic testing library for GHC; documentation
idep: libghc-syb-doc (>= 0.1)

Generic programming library for Haskell; documentation
idep: libghc-syb-doc (<< 0.4)

Generic programming library for Haskell; documentation

Download agda

File	Size (in kB)	MD5 checksum
agda_2.3.0-1.dsc	3.4 kB	6903b626ab719ed9396f551629d0101d
agda_2.3.0.orig.tar.gz	593.8 kB	400fb8519cf18e167a772b33f2eda7d7
agda_2.3.0-1.debian.tar.gz	6.4 kB	e8d577d79deca47f86a55ae404ef5fb1

Debian Package Source Repository (VCS: Git): git://git.debian.org/git/pkg-haskell/agda.git
Debian Package Source Repository (Browsable): http://git.debian.org/?p=pkg-haskell/agda.git;a=summary