gappalib-coq failed to build from source in Fedora rawhide/f31
For details on the mass rebuild see:
Please fix gappalib-coq 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,
gappalib-coq will be orphaned. Before branching of Fedora 32,
gappalib-coq will be retired, if it still fails to build.
For more details on the FTBFS policy, please visit:
Created attachment 1596189 [details]
Created attachment 1596190 [details]
file root.log too big, will only attach last 32768 bytes
Created attachment 1596191 [details]
Fixed in Rawhide.