Public bug reported:
Please sync coq 8.3.pl3+dfsg-1 (universe) from Debian testing (main)
Please note that a few packages need to be rebuilt if this package
is synced from Debian testing. The complete list of packages is:
- why
- aac-tactics
- ssreflect
- coq-float
Changelog entries since current precise version 8.3.pl2+dfsg-2build2:
coq (8.3.pl3+dfsg-1) unstable; urgency=low
* New upstream release
- remove all patches (applied upstream)
-- Stéphane Glondu <[email protected]> Sun, 25 Dec 2011 13:46:09 +0100
** Affects: coq (Ubuntu)
Importance: Undecided
Status: New
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/913071
Title:
Sync coq 8.3.pl3+dfsg-1 (universe) from Debian testing (main)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/coq/+bug/913071/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
