» Ubuntu » Packages » precise (12.04LTS) » Source » libs » agda-stdlib
precise  ] [  trusty  ] [  xenial  ] [  yakkety  ]

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

Links for agda-stdlib

Ubuntu Resources:


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:
standard library for Agda
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)
Debian Package Source Repository (Browsable)