all options
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]

Source Package: agda-stdlib (0.3-3)

Links for agda-stdlib

Debian Resources:

Maintainer:

External Resources:

The following binary packages are built from this source package:
agda-stdlib
a dependently typed programming language - standard library
agda-stdlib-doc
a dependently typed programming language - documentation

Other Packages Related to agda-stdlib

  • build-depends
  • build-depends-indep

Download agda-stdlib

FileSize (in kB)MD5 checksum
agda-stdlib_0.3-3.dsc 1.2 kB 22bd7effc61e0ac64a9710d229903b01
agda-stdlib_0.3.orig.tar.gz 146.6 kB 7a58639a0fdfdb4b748de208d657d999
agda-stdlib_0.3-3.diff.gz 3.7 kB e309e8ec7aecdd882dfd7234e34c42f9
Debian Package Source Repository (VCS: Git)
git://git.debian.org/git/collab-maint/agda-stdlib.git
Debian Package Source Repository (Browsable)
http://git.debian.org/?p=collab-maint/agda-stdlib.git