why failed to build from source in Fedora rawhide https://koji.fedoraproject.org/koji/taskinfo?taskID=28239483 For details on the mass rebuild see: https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild Please fix why at your earliest convenience and set the bug's status to ASSIGNED when you start fixing it. If the bug remains in NEW state for 8 weeks, why will be orphaned. Before branching of Fedora 30, why will be retired, if it still fails to build. For more details on the FTBFS policy, please visit: https://fedoraproject.org/wiki/Fails_to_build_from_source
Created attachment 1468946 [details] build.log
Created attachment 1468947 [details] root.log file root.log too big, will only attach last 32768 bytes
Created attachment 1468948 [details] state.log
This bug appears to have been reported against 'rawhide' during the Fedora 29 development cycle. Changing version to '29'.
This can be fixed with an update to the latest version of why, but that needs the latest version of coq, which is currently blocked pending an update to the antlr4 package.
Built in Rawhide.