[ubuntu/karmic] agda 2.2.4+dfsg-1 (Accepted)

Ubuntu Installer archive at ubuntu.com
Mon Aug 24 11:54:03 BST 2009


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

Date: Wed,  19 Aug 2009 23:49:35 +0100
Changed-By: Iain Lane <launchpad at orangesquash.org.uk>
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Origin: Debian/unstable
https://launchpad.net/ubuntu/karmic/+source/agda/2.2.4+dfsg-1
-------------- next part --------------
Origin: Debian/unstable
Format: 1.7
Date: Wed,  19 Aug 2009 23:49:35 +0100
Source: agda
Binary: libghc6-agda-dev, libghc6-agda-prof, haskell-agda-doc, agda-mode
Architecture: source
Version: 2.2.4+dfsg-1
Distribution: karmic
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Iain Lane <launchpad at orangesquash.org.uk>
Closes: 522924
Changes: 
 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
Files: 
 3b4f51e56fc35068953b938c81a7e1b5 4129 haskell optional agda_2.2.4+dfsg-1.diff.gz
 49bd6d205a6456080a936d9d901d750b 3038 haskell optional agda_2.2.4+dfsg-1.dsc
 438d3ed44ec0b37b569fe9d8891612d9 377740 haskell optional agda_2.2.4+dfsg.orig.tar.gz


More information about the Karmic-changes mailing list