» Ubuntu » Packages » raring (13.04) » Source » libs » agda-stdlib
lucid  ] [  precise  ] [  raring  ] [  saucy  ] [  trusty  ] [  utopic  ]

Source Package: agda-stdlib (0.7-1) [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.2)
    commandline interface to Agda
  • adep: agda-bin (<< 2.3.3~)
    commandline interface to Agda
  • adep: libghc-agda-dev (>= 2.3.2)
    dependently typed functional programming language - development libraries
  • adep: libghc-agda-dev (<< 2.3.3~)
    dependently typed functional programming language - development libraries

Download agda-stdlib

FileSize (in kB)MD5 checksum
agda-stdlib_0.7-1.dsc 2.0 kB aab99fa251f1597693ddb291158896ee
agda-stdlib_0.7.orig.tar.gz 221.1 kB ff390e42876caf97d4e96e0d6fb00b01
agda-stdlib_0.7-1.debian.tar.gz 4.3 kB 9e8683165e883be2c63155a99bc52c7d
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