Bug 2341539

Summary: why3: FTBFS in Fedora rawhide/f42
Product: [Fedora] Fedora Reporter: Fedora Release Engineering <releng>
Component: why3Assignee: Jerry James <loganjerry>
Status: CLOSED ERRATA QA Contact: Fedora Extras Quality Assurance <extras-qa>
Severity: unspecified Docs Contact:
Priority: unspecified    
Version: rawhideCC: loganjerry
Target Milestone: ---   
Target Release: ---   
Hardware: Unspecified   
OS: Unspecified   
Whiteboard:
Fixed In Version: why3-1.8.0-3.fc42 Doc Type: ---
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2025-01-23 00:31:18 UTC Type: ---
Regression: --- Mount Type: ---
Documentation: --- CRM:
Verified Versions: Category: ---
oVirt Team: --- RHEL 7.3 requirements from Atomic Host:
Cloudforms Team: --- Target Upstream Version:
Embargoed:
Bug Depends On:    
Bug Blocks: 2300528    
Attachments:
Description Flags
build.log
none
root.log
none
state.log none

Description Fedora Release Engineering 2025-01-22 22:19:48 UTC 
why3 failed to build from source in Fedora rawhide/f42

https://koji.fedoraproject.org/koji/taskinfo?taskID=128160882


For details on the mass rebuild see:

https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
Please fix why3 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,
why3 will be orphaned. Before branching of Fedora 43,
why3 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/
Comment 1 Fedora Release Engineering 2025-01-22 22:19:51 UTC 
Created attachment 2073140 [details]
build.log

file build.log too big, will only attach last 32768 bytes
Comment 2 Fedora Release Engineering 2025-01-22 22:19:53 UTC 
Created attachment 2073141 [details]
root.log

file root.log too big, will only attach last 32768 bytes
Comment 3 Fedora Release Engineering 2025-01-22 22:19:54 UTC 
Created attachment 2073142 [details]
state.log
Comment 4 Fedora Update System 2025-01-23 00:08:25 UTC 
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
Comment 5 Fedora Update System 2025-01-23 00:31:18 UTC 
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.