This bug was fixed in the package coq - 8.3.pl3+dfsg-1
Sponsored for Mehdi (mehdid)
---
coq (8.3.pl3+dfsg-1) unstable; urgency=low
* New upstream release
- remove all patches (applied upstream)
-- Stéphane Glondu Sun, 25 Dec 2011 13:46:09 +0100
** Changed in: coq (Ubuntu)
I've also requested a sync for Why (bug 913068). Coq has to be synced
before Why.
--
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 (
