frama-c failed to build from source in Fedora rawhide/f42 https://koji.fedoraproject.org/koji/taskinfo?taskID=127951974 For details on the mass rebuild see: https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild Please fix frama-c 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, frama-c will be orphaned. Before branching of Fedora 43, frama-c will be retired, if it still fails to build. For more details on the FTBFS policy, please visit: https://docs.fedoraproject.org/en-US/fesco/Fails_to_build_from_source_Fails_to_install/
Created attachment 2069100 [details] build.log file build.log too big, will only attach last 32768 bytes
Created attachment 2069101 [details] root.log file root.log too big, will only attach last 32768 bytes
Created attachment 2069102 [details] state.log
*** Bug 2339798 has been marked as a duplicate of this bug. ***
FEDORA-2025-5a6dcecf19 (coq-8.20.1-1.fc42, flocq-4.2.0-5.fc42, and 4 more) has been submitted as an update to Fedora 42. https://bodhi.fedoraproject.org/updates/FEDORA-2025-5a6dcecf19
FEDORA-2025-5a6dcecf19 (coq-8.20.1-1.fc42, flocq-4.2.0-5.fc42, and 4 more) has been pushed to the Fedora 42 stable repository. If problem still persists, please make note of it in this bug report.