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

[Colin Watson]

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 <email address hidden> 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 <email address hidden> Tue, 24 May 2011 08:59:48 +0100

[Colin Watson (cjwatson)]

2011-06-10 10:40:40 INFO agda-bin_2.2.10.orig.tar.gz: already in distro - downloading from librarian
2011-06-10 10:40:40 INFO - <agda-bin_2.2.10-2.diff.gz: downloading from http://ftp.debian.org/debian/>
[Updating] agda-bin (2.2.10-1~ubuntu1 [Ubuntu] < 2.2.10-2 [Debian])
 * Trying to add agda-bin...
2011-06-10 10:40:40 INFO - <agda-bin_2.2.10.orig.tar.gz: cached>
2011-06-10 10:40:40 INFO - <agda-bin_2.2.10-2.dsc: downloading from http://ftp.debian.org/debian/>
I: agda-bin [universe] -> agda-bin_2.2.10-1~ubuntu1 [universe].