Sync agda 2.2.10-1 (universe) from Debian unstable (main)

Bug #789806 reported by Iain Lane on 2011-05-29
8
This bug affects 1 person
Affects Status Importance Assigned to Milestone
agda (Ubuntu)
Wishlist
Unassigned

Bug Description

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

Explanation of the Ubuntu delta and why it can be dropped:
All in Debian

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

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

 -- Iain Lane <email address hidden> Thu, 19 May 2011 13:43:17 +0100

Iain Lane (laney) on 2011-05-29
Changed in agda (Ubuntu):
importance: Undecided → Wishlist
status: New → Confirmed
Colin Watson (cjwatson) wrote :

2011-05-29 21:59:56 INFO agda_2.2.10.orig.tar.gz: already in distro - downloading from librarian
[Updating] agda (2.2.10-1~ubuntu1 [Ubuntu] < 2.2.10-1 [Debian])
 * Trying to add agda...
2011-05-29 21:59:56 INFO - <agda_2.2.10-1.debian.tar.gz: downloading from http://ftp.debian.org/debian/>
2011-05-29 21:59:57 INFO - <agda_2.2.10-1.dsc: downloading from http://ftp.debian.org/debian/>
2011-05-29 21:59:57 INFO - <agda_2.2.10.orig.tar.gz: cached>
I: agda [universe] -> agda-mode_2.2.10-1~ubuntu1 [universe].

Changed in agda (Ubuntu):
status: Confirmed → Fix Released
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers