Red Hat Bugzilla – Bug 992043
cbmc: FTBFS in rawhide
Last modified: 2013-09-22 20:11:14 EDT
Your package cbmc failed to build from source in current rawhide.
NOTE: build logs are cleaned up after 1 week
For details on mass rebuild see https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
cbmc-4.3-7.20130515svn.fc19 has been submitted as an update for Fedora 19.
cbmc-4.3-7.20130515svn.fc20 has been submitted as an update for Fedora 20.
cbmc-4.3-7.20130515svn.fc18 has been submitted as an update for Fedora 18.
* should fix your issue,
* was pushed to the Fedora 20 testing repository,
* should be available at your local mirror within two days.
Update it with:
# su -c 'yum update --enablerepo=updates-testing cbmc-4.3-7.20130515svn.fc20'
as soon as you are able to.
Please go to the following url:
then log in and leave karma (feedback).
This bug appears to have been reported against 'rawhide' during the Fedora 20 development cycle.
Changing version to '20'.
More information and reason for this action is here:
cbmc-4.3-7.20130515svn.fc19 has been pushed to the Fedora 19 stable repository. If problems still persist, please make note of it in this bug report.
cbmc-4.3-7.20130515svn.fc18 has been pushed to the Fedora 18 stable repository. If problems still persist, please make note of it in this bug report.
cbmc-4.3-7.20130515svn.fc20 has been pushed to the Fedora 20 stable repository. If problems still persist, please make note of it in this bug report.