Red Hat Bugzilla – Bug 676688
Upgrade coq to version 8.3
Last modified: 2011-04-15 17:48:14 EDT
Fedora 14 packaged 8.2, but 8.3 is already available since October 2010.
coq-8.3pl1-1.fc15 has been submitted as an update for Fedora 15.
* should fix your issue,
* was pushed to the Fedora 15 testing repository,
* should be available at your local mirror within two days.
Update it with:
# su -c 'yum update --enablerepo=updates-testing coq-8.3pl1-1.fc15'
as soon as you are able to.
Please go to the following url:
then log in and leave karma (feedback).
coq-8.3pl1-2.fc15 has been submitted as an update for Fedora 15.
coq-8.3pl1-2.fc15 has been pushed to the Fedora 15 stable repository. If problems still persist, please make note of it in this bug report.