[Bug 795463] [NEW] Sync agda-bin 2.2.10-2 (universe) from Debian unstable (main)

[Launchpad Bug Tracker]

You have been subscribed to a public bug by Colin Watson (cjwatson):

Please sync agda-bin 2.2.10-2 (universe) from Debian unstable (main)

Explanation of the Ubuntu delta and why it can be dropped:
agda-bin 2.2.10-1~ubuntu1 was uploaded from the Debian git repository in advance of a Debian upload because of GHC transition timing.  There are no actual Ubuntu-specific changes.

Changelog entries since current oneiric version 2.2.10-1~ubuntu1:

agda-bin (2.2.10-2) unstable; urgency=low

  * [5e289d4] Fix forgotten libghc6 recommend

 -- Iain Lane <laney at debian.org>  Wed, 25 May 2011 12:56:40 +0100

agda-bin (2.2.10-1) unstable; urgency=low

  * [e9845f4] debian/gbp.conf: Remove as we are no longer uploading to exp
  * [62091f5] Imported Upstream version 2.2.10
  * [6beab2e] Bump Agda BDs per Agda.cabal
  * [6c3faaa] Update short descriptions to reflect best practice
  * [b0badb1] d/copyright: Update copyright years
  * [53d7b08] Update to use new ghc package names
  * [84dea7d] Standards-Version bump to 3.9.2, no changes required
  * [50738d0] Use ghc build targets and install locations instead of ghc6

 -- Iain Lane <laney at debian.org>  Tue, 24 May 2011 08:59:48 +0100

** Affects: agda-bin (Ubuntu)
     Importance: Wishlist
         Status: Confirmed

-- 
Sync agda-bin 2.2.10-2 (universe) from Debian unstable (main)
https://bugs.launchpad.net/bugs/795463
You received this bug notification because you are a member of Ubuntu Package Archive Administrators, which is subscribed to the bug report.