[ubuntu/oneiric] agda 2.2.10-1 (Accepted)

[Ubuntu Installer]

agda (2.2.10-1) unstable; urgency=low

  * [60c4b8a] Imported Upstream version 2.2.10
  * [81c6857] Add haskell-src-exts BD
  * [d0ce959] Add QuickCheck BDs
  * [5c875b0] Update short descriptions to reflect best practice
  * [705223c] d/copyright: Update copyright years
  * [ee8a4bc] GHC6 → GHC, for GHC 7 transition
  * [12d4e49] Standards-Version bump to 3.9.2, no changes required
  * [9244cc3] Add 'agda' meta package
  * [c28c44c] Relax BD on src-exts
  * [86be090] Backport upstream patch to add syb-0.3 compatibility
  * [828c999] Lexer: Compatibility with the new GHC
  * [db55ca5] Clean up some autogenerated files

Date: Sun,  29 May 2011 21:59:57 +0000
Changed-By: Iain Lane <iain at orangesquash.org.uk>
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Origin: Debian/unstable
https://launchpad.net/ubuntu/oneiric/+source/agda/2.2.10-1
-------------- next part --------------
Origin: Debian/unstable
Format: 1.7
Date: Sun,  29 May 2011 21:59:57 +0000
Source: agda
Binary: libghc-agda-dev, libghc-agda-doc, agda-mode, agda
Architecture: source
Version: 2.2.10-1
Distribution: oneiric
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Iain Lane <iain at orangesquash.org.uk>
Description:
 agda       - dependently typed functional programming language
Files:
 bea360bcdb2ec689ac60e098f49ace28 7201 haskell extra agda_2.2.10-1.debian.tar.gz
 9db2301f57d3fe16cb824eb2f1063b49 3124 haskell extra agda_2.2.10-1.dsc
Changes:
 agda (2.2.10-1) unstable; urgency=low
 .
   * [60c4b8a] Imported Upstream version 2.2.10
   * [81c6857] Add haskell-src-exts BD
   * [d0ce959] Add QuickCheck BDs
   * [5c875b0] Update short descriptions to reflect best practice
   * [705223c] d/copyright: Update copyright years
   * [ee8a4bc] GHC6 → GHC, for GHC 7 transition
   * [12d4e49] Standards-Version bump to 3.9.2, no changes required
   * [9244cc3] Add 'agda' meta package
   * [c28c44c] Relax BD on src-exts
   * [86be090] Backport upstream patch to add syb-0.3 compatibility
   * [828c999] Lexer: Compatibility with the new GHC
   * [db55ca5] Clean up some autogenerated files