» Ubuntu » Packages » precise (12.04LTS) » Source » libs » agda-stdlib
lucid  ] [  precise  ] [  quantal  ] [  raring  ] [  saucy  ] [  trusty  ]

Source Package: agda-stdlib (0.6-2) [universe]

Links for agda-stdlib

Ubuntu Resources:

Maintainer:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

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
  • adep: debhelper (>= 7.0.50~)
    helper programs for debian/rules
  • adep: agda-bin (>= 2.3.0)
    commandline interface to Agda
  • adep: agda-bin (<< 2.3.1~)
    commandline interface to Agda
  • adep: libghc-agda-dev (>= 2.3.0)
    dependently typed functional programming language - development libraries
  • adep: libghc-agda-dev (<< 2.3.1~)
    dependently typed functional programming language - development libraries

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