Red Hat Bugzilla – Bug 992872
why3: FTBFS in rawhide
Last modified: 2013-08-20 15:37:36 EDT
Your package why3 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
There were 2 separate problems that caused the failure, both now fixed in Rawhide.