Public bug reported: 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 protected]> Thu, 19 May 2011 13:43:17 +0100 ** Affects: agda (Ubuntu) Importance: Wishlist Status: Confirmed ** Changed in: agda (Ubuntu) Importance: Undecided => Wishlist ** Changed in: agda (Ubuntu) Status: New => Confirmed -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/789806 Title: Sync agda 2.2.10-1 (universe) from Debian unstable (main) -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
