Agda-stdlib failed to build from source in Fedora 28 https://koji.fedoraproject.org/koji/taskinfo?taskID=27205408 For details on the mass rebuild see: https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild Please fix the package 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 29, Agda-stdlib will be retired, if it still fails to build. For more details on the FTBFS policy, see: https://fedoraproject.org/wiki/Fails_to_build_from_source
Created attachment 1442052 [details] root.log
Created attachment 1442053 [details] build.log
Created attachment 1442054 [details] state.log
There seems to be something wrong with the Agda library with 0.15 locally I got: + agda -i. -isrc Everything.agda agda: symbol lookup error: /usr/lib64/libHSAgda-2.5.3-LXOnqfSnb1469ddTz3ZZXu-ghc8.2.2.so: undefined symbol: containerszm0zi5zi10zi2_DataziSetziInternal_zdfDataSetzua3_closure
Dear Maintainer, your package has not been built successfully in F28. Action is required from you. If you can fix your package to build, perform a build in koji, and either create an update in bodhi, or close this bug without creating an update, if updating is not appropriate [1]. If you are working on a fix, set the status to ASSIGNED to acknowledge this. Following the latest policy for such packages [2], your package will be orphaned if this bug remains in NEW state more than 8 weeks. [1] https://fedoraproject.org/wiki/Updates_Policy [2] https://fedoraproject.org/wiki/Fails_to_build_from_source#Package_Removal_for_Long-standing_FTBFS_bugs
Agda-stdlib-0.15-1.fc28 has been submitted as an update to Fedora 28. https://bodhi.fedoraproject.org/updates/FEDORA-2018-5389ddf7d2
Agda-stdlib-0.15-1.fc28 has been pushed to the Fedora 28 testing repository. If problems still persist, please make note of it in this bug report. See https://fedoraproject.org/wiki/QA:Updates_Testing for instructions on how to install test updates. You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2018-5389ddf7d2
Agda-stdlib-0.15-4.fc29 has been submitted as an update to Fedora 29. https://bodhi.fedoraproject.org/updates/FEDORA-2018-d518ac06b3
Agda-stdlib-0.15-4.fc28 has been submitted as an update to Fedora 28. https://bodhi.fedoraproject.org/updates/FEDORA-2018-9c960964af
Agda-stdlib-0.15-4.fc28 has been pushed to the Fedora 28 testing repository. If problems still persist, please make note of it in this bug report. See https://fedoraproject.org/wiki/QA:Updates_Testing for instructions on how to install test updates. You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2018-9c960964af
Agda-stdlib-0.15-4.fc28 has been pushed to the Fedora 28 stable repository. If problems still persist, please make note of it in this bug report.