Public bug reported:
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 <glo...@debian.org> Fri, 02 Jul 2010 15:25:15 +0200
** Affects: coq (Ubuntu)
Importance: Wishlist
Status: Confirmed
** Changed in: coq (Ubuntu)
Importance: Undecided => Wishlist
** Changed in: coq (Ubuntu)
Status: New => Confirmed
--
Sync coq 8.2.pl2+dfsg-1 (universe) from Debian unstable (main)
https://bugs.launchpad.net/bugs/608885
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
