Oh, uh ... yeah. Looks like this happened without my needing to whine
about it :-) Sorry about the spam.
** Changed in: coq (Ubuntu)
Status: Confirmed => Fix Released
--
Please sync Coq 8.1pl1
https://bugs.launchpad.net/bugs/138222
You received this bug notification because you are a memb
** Changed in: coq (Debian)
Status: New => Fix Released
--
Please sync Coq 8.1pl1
https://bugs.launchpad.net/bugs/138222
You received this bug notification because you are a member of Ubuntu
Bugs, which is the bug contact for Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.c
We are way past Gutsy UpstreamVersionFreeze. Unless you can find a
compelling reason for an upgrade, this will have to wait for Hardy.
** Changed in: coq (Ubuntu)
Importance: Undecided => Wishlist
Status: New => Confirmed
** Tags added: upgrade
** Also affects: coq (Debian)
Importan
