Version 8.2 has been out for a while, an update would be nice.
Actually, I built that today: http://koji.fedoraproject.org/koji/taskinfo?taskID=1424654 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. http://admin.fedoraproject.org/updates/coq-8.2-1.fc11
coq-8.2-1.fc10 has been submitted as an update for Fedora 10. http://admin.fedoraproject.org/updates/coq-8.2-1.fc10
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.