Sync agda 2.2.10-1 (universe) from Debian unstable (main)
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
agda (Ubuntu) |
Fix Released
|
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
Changed in agda (Ubuntu): | |
importance: | Undecided → Wishlist |
status: | New → Confirmed |
2011-05-29 21:59:56 INFO agda_2. 2.10.orig. tar.gz: already in distro - downloading from librarian 2.10-1. debian. tar.gz: downloading from http:// ftp.debian. org/debian/> ftp.debian. org/debian/> 2.10.orig. tar.gz: cached> 2.2.10- 1~ubuntu1 [universe].
[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.
2011-05-29 21:59:57 INFO - <agda_2.2.10-1.dsc: downloading from http://
2011-05-29 21:59:57 INFO - <agda_2.
I: agda [universe] -> agda-mode_