[Bug 608885] [NEW] Sync coq 8.2.pl2+dfsg-1 (universe) from Debian unstable (main)

[Launchpad Bug Tracker]

You have been subscribed to a public bug by Michael Bienia (geser):

Please sync coq 8.2.pl2+dfsg-1 (universe) from Debian unstable (main)

Changelog entries since current maverick version 8.2.pl1+dfsg-6:

coq (8.2.pl2+dfsg-1) unstable; urgency=low

  * New upstream release
    - compiles with OCaml 3.12 (Closes: #585452)
    - remove 0001-Update-for-why-2.19.patch (applied upstream)
    - add 0002-Remove-dependency-to-Unix-from-module-Profile.patch
  * Use dh with overrides
  * debian/control:
    - remove Stefano and Remi from Uploaders
    - replace Conflicts with Breaks
    - bump Standards-Version to 3.9.0
  * Switch source package format to 3.0 (quilt)

 -- Stéphane Glondu <glondu at debian.org>  Fri, 02 Jul 2010 15:25:15 +0200

** Affects: coq (Ubuntu)
     Importance: Wishlist
         Status: Confirmed

-- 
Sync coq 8.2.pl2+dfsg-1 (universe) from Debian unstable (main)
https://bugs.edge.launchpad.net/bugs/608885
You received this bug notification because you are a member of Ubuntu Package Archive Administrators, which is a direct subscriber.