Ubuntu
coq package

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

Bug #608885 reported by Michael Bienia
8
This bug affects 1 person
Affects Status Importance Assigned to Milestone
coq (Ubuntu)
Fix Released
Wishlist
Unassigned

Bug Description

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 <email address hidden> Fri, 02 Jul 2010 15:25:15 +0200

Michael Bienia (geser)
Changed in coq (Ubuntu):
importance: Undecided → Wishlist
status: New → Confirmed
Revision history for this message
Michael Bienia (geser) wrote :

Synced.

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

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.