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

Source Package: agda-stdlib (0.3-1ubuntu2) [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 Maintainer (usually from Debian):

  • Iain Lane

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

Download agda-stdlib

FileSize (in kB)MD5 checksum
agda-stdlib_0.3-1ubuntu2.dsc 1.3 kB 52fb94edfad1ca526f7a1e7867d29685
agda-stdlib_0.3.orig.tar.gz 149.7 kB aeb109e24dce44f18c4d9726c7a38892
agda-stdlib_0.3-1ubuntu2.diff.gz 3.6 kB 38e03faf151fec85c6ee0a5c6e43094b
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