Bug 2384433 - Agda-stdlib: FTBFS in Fedora rawhide/f43
Summary: Agda-stdlib: FTBFS in Fedora rawhide/f43
Keywords:
Status: CLOSED RAWHIDE
Alias: None
Product: Fedora
Classification: Fedora
Component: Agda-stdlib
Version: rawhide
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Jens Petersen
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks: F43FTBFS
TreeView+ depends on / blocked
 
Reported: 2025-07-30 08:14 UTC by Fedora Release Engineering
Modified: 2025-08-23 06:20 UTC (History)
1 user (show)

Fixed In Version: Agda-stdlib-2.3-1.fc43
Clone Of:
Environment:
Last Closed: 2025-08-23 06:20:13 UTC
Type: ---
Embargoed:

Attachments (Terms of Use)
build.log (3.07 KB, text/plain)
2025-07-30 08:14 UTC, Fedora Release Engineering 		no flags Details
root.log (32.00 KB, text/plain)
2025-07-30 08:15 UTC, Fedora Release Engineering 		no flags Details
state.log (1.50 KB, text/plain)
2025-07-30 08:15 UTC, Fedora Release Engineering 		no flags Details
View All

Description Fedora Release Engineering 2025-07-30 08:14:52 UTC 
Agda-stdlib failed to build from source in Fedora rawhide/f43

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


For details on the mass rebuild see:

https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
Please fix Agda-stdlib 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,
Agda-stdlib will be orphaned. Before branching of Fedora 44,
Agda-stdlib 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-07-30 08:14:57 UTC 
Created attachment 2098733 [details]
build.log
Comment 2 Fedora Release Engineering 2025-07-30 08:15:02 UTC 
Created attachment 2098734 [details]
root.log

file root.log too big, will only attach last 32768 bytes
Comment 3 Fedora Release Engineering 2025-07-30 08:15:05 UTC 
Created attachment 2098735 [details]
state.log
Note You need to log in before you can comment on or make changes to this bug.