» Ubuntu » Packages » xenial (16.04LTS) » Source » haskell » agda
xenial  ] [  bionic  ] [  eoan  ] [  focal  ] [  groovy  ]

Source Package: agda (2.4.2.5-1build1) [universe]

Links for agda

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
dependently typed functional programming language
agda-bin
commandline interface to Agda
agda-mode
dependently typed functional programming language — emacs mode
libghc-agda-dev
dependently typed functional programming language
libghc-agda-doc
dependently typed functional programming language; documentation

Other Packages Related to agda

  • build-depends
  • build-depends-indep

Download agda

FileSize (in kB)MD5 checksum
agda_2.4.2.5-1build1.dsc 3.7 kB 7355b1e260e7327084274d781d94ace9
agda_2.4.2.5.orig.tar.gz 1,007.3 kB 225633ca20a33c099d8490987392513d
agda_2.4.2.5-1build1.debian.tar.xz 7.7 kB 83dba69cf907660941ab09bf8adcbc2d
Debian Package Source Repository (VCS: Git)
git://git.debian.org/git/pkg-haskell/agda.git
Debian Package Source Repository (Browsable)
http://git.debian.org/?p=pkg-haskell/agda.git;a=summary