Your package emacs-common-proofgeneral 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_19_Mass_Rebuild
*** Bug 715924 has been marked as a duplicate of this bug. ***
This bug appears to have been reported against 'rawhide' during the Fedora 19 development cycle.
Changing version to '19'.
(As we did not run this process for some time, it could affect also pre-Fedora 19 development
cycle bugs. We are very sorry. It will help us with cleanup during Fedora 19 End Of Life. Thank you.)
More information and reason for this action is here:
emacs-common-proofgeneral-4.2-1.fc19 has been submitted as an update for Fedora 19.
* should fix your issue,
* was pushed to the Fedora 19 testing repository,
* should be available at your local mirror within two days.
Update it with:
# su -c 'yum update --enablerepo=updates-testing emacs-common-proofgeneral-4.2-1.fc19'
as soon as you are able to.
Please go to the following url:
then log in and leave karma (feedback).
emacs-common-proofgeneral-4.2-1.fc19 has been pushed to the Fedora 19 stable repository. If problems still persist, please make note of it in this bug report.