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

Source Package: agda-stdlib (0.6-2)

Links for agda-stdlib

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
agda-stdlib
standard library for Agda
agda-stdlib-doc
standard library for Agda — documentation

Other Packages Related to agda-stdlib

  • build-depends
  • build-depends-indep

Download agda-stdlib

FileSize (in kB)MD5 checksum
agda-stdlib_0.6-2.dsc 1.4 kB c9bd5deeb4dcaec2842290727cb42c26
agda-stdlib_0.6.orig.tar.gz 211.2 kB 574f7e4609b98c7c486fd182fc1d4579
agda-stdlib_0.6-2.debian.tar.gz 4.1 kB 18fdc70e368e6a283fae3acee013fe02
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