Your package cvc4 failed to build from source in current rawhide. http://koji.fedoraproject.org/koji/taskinfo?taskID=6948938 For details on mass rebuild see https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
Created attachment 903904 [details] build.log
Created attachment 903905 [details] root.log
Created attachment 903906 [details] state.log
This bug appears to have been reported against 'rawhide' during the Fedora 22 development cycle. Changing version to '22'. More information and reason for this action is here: https://fedoraproject.org/wiki/Fedora_Program_Management/HouseKeeping/Fedora22
Well, that only took most of a year to track down. Fixed in Rawhide and F22.