Red Hat Bugzilla – Bug 507044
Update to latest version
Last modified: 2009-07-16 02:59:43 EDT
Version 8.2 has been out for a while, an update would be nice.
Actually, I built that today:
I'll be putting in the updates for F10 and F11 in a minute. Sorry for any inconvenience. Let me know if there are any difficulties.
Fantastic, 10 minute turn around on a bug, I think that's the quickest I've ever experienced, thanks :-)
coq-8.2-1.fc11 has been submitted as an update for Fedora 11.
coq-8.2-1.fc10 has been submitted as an update for Fedora 10.
coq-8.2-1.fc10 has been pushed to the Fedora 10 stable repository. If problems still persist, please make note of it in this bug report.
coq-8.2-1.fc11 has been pushed to the Fedora 11 stable repository. If problems still persist, please make note of it in this bug report.