Sync coq 8.2.pl2+dfsg-1 (universe) from Debian unstable (main)
Bug #608885 reported by
Michael Bienia
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-
- add 0002-Remove-
* 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
Changed in coq (Ubuntu): | |
importance: | Undecided → Wishlist |
status: | New → Confirmed |
To post a comment you must log in.
Synced.