Ubuntu
agda package

agda 2.2.4+dfsg-1 source package in Ubuntu

Changelog

agda (2.2.4+dfsg-1) unstable; urgency=low

  * New upstream release 2.2.4.
  * Repacked to fix a couple of DFSG problems, see debian/README.source for
    more information.
  * debian/copyright: Update, add missing copyright holders.
  * debian/control: Move ghc6-doc, haddock to Build-Depends. Move -doc
    packages to build-depends-indep.

agda (2.2.2-1) unstable; urgency=low

  * Initial packaging (Closes: #522924)
  * With thanks to Marco Túlio Gontijo e Silva and Joachim Breitner for
    their helpful comments

 -- Iain Lane <email address hidden>   Wed,  19 Aug 2009 23:49:35 +0100

Upload details

Uploaded by:
Iain Lane
Uploaded to:
Karmic
Original maintainer:
Debian Haskell Group
Architectures:
any
Section:
haskell
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
agda_2.2.4+dfsg.orig.tar.gz 368.9 KiB dd03db683812293d82f5875afb444f839760014275446b56797323d906f3c791
agda_2.2.4+dfsg-1.diff.gz 4.0 KiB 7ea71ec3800aff0a9ebb151fdfc3d1b5f4c897fe399f851d399d1efa9b22d9e7
agda_2.2.4+dfsg-1.dsc 3.0 KiB e3c5ec47ac38a2f9b168234cb94e22e1488ceff84b39582b5a75de31b2664743

View changes file

Binary packages built by this source

agda-mode: No summary available for agda-mode in ubuntu lucid.

No description available for agda-mode in ubuntu lucid.

haskell-agda-doc: No summary available for haskell-agda-doc in ubuntu karmic.

No description available for haskell-agda-doc in ubuntu karmic.

libghc6-agda-dev: No summary available for libghc6-agda-dev in ubuntu karmic.

No description available for libghc6-agda-dev in ubuntu karmic.

libghc6-agda-prof: No summary available for libghc6-agda-prof in ubuntu lucid.

No description available for libghc6-agda-prof in ubuntu lucid.