Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=676688
--- Comment #3 from Fedora Update System updates@fedoraproject.org 2011-04-04 16:54:50 EDT --- coq-8.3pl1-2.fc15 has been submitted as an update for Fedora 15. https://admin.fedoraproject.org/updates/coq-8.3pl1-2.fc15