Note: This is a public test instance of Red Hat Bugzilla. The data contained within is a snapshot of the live data so any changes you make will not be reflected in the production Bugzilla. Email is disabled so feel free to test any aspect of the site that you want. File any problems you find or give feedback at bugzilla.redhat.com.
Bug 1582755 - Agda-stdlib: FTBFS in Fedora 28
Summary: Agda-stdlib: FTBFS in Fedora 28
Keywords:
Status: CLOSED ERRATA
Alias: None
Product: Fedora
Classification: Fedora
Component: Agda-stdlib
Version: 28
Hardware: Unspecified
OS: Unspecified
unspecified
high
Target Milestone: ---
Assignee: Jens Petersen
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks: F28FTBFS
TreeView+ depends on / blocked
 
Reported: 2018-05-26 18:31 UTC by Fedora Release Engineering
Modified: 2018-10-16 03:39 UTC (History)
1 user (show)

Fixed In Version: Agda-stdlib-0.15-4.fc28
Doc Type: If docs needed, set a value
Doc Text:
Clone Of:
Environment:
Last Closed: 2018-09-27 02:33:31 UTC
Type: ---
Embargoed:

Attachments (Terms of Use)
root.log (deleted)
2018-05-26 18:31 UTC, Fedora Release Engineering 		no flags Details
build.log (deleted)
2018-05-26 18:31 UTC, Fedora Release Engineering 		no flags Details
state.log (deleted)
2018-05-26 18:31 UTC, Fedora Release Engineering 		no flags Details
View All

Description Fedora Release Engineering 2018-05-26 18:31:33 UTC 
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
Comment 1 Fedora Release Engineering 2018-05-26 18:31:45 UTC 
Created attachment 1442052 [details]
root.log
Comment 2 Fedora Release Engineering 2018-05-26 18:31:51 UTC 
Created attachment 1442053 [details]
build.log
Comment 3 Fedora Release Engineering 2018-05-26 18:31:59 UTC 
Created attachment 1442054 [details]
state.log
Comment 4 Jens Petersen 2018-05-28 10:33:20 UTC 
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
Comment 5 Zbigniew Jędrzejewski-Szmek 2018-07-09 04:15:52 UTC 
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
Comment 6 Zbigniew Jędrzejewski-Szmek 2018-07-09 04:20:39 UTC 
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
Comment 7 Fedora Update System 2018-07-09 12:51:45 UTC 
Agda-stdlib-0.15-1.fc28 has been submitted as an update to Fedora 28. https://bodhi.fedoraproject.org/updates/FEDORA-2018-5389ddf7d2
Comment 8 Fedora Update System 2018-07-11 23:41:14 UTC 
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
Comment 9 Fedora Update System 2018-08-29 07:23:08 UTC 
Agda-stdlib-0.15-4.fc29 has been submitted as an update to Fedora 29. https://bodhi.fedoraproject.org/updates/FEDORA-2018-d518ac06b3
Comment 10 Fedora Update System 2018-08-29 07:23:14 UTC 
Agda-stdlib-0.15-4.fc28 has been submitted as an update to Fedora 28. https://bodhi.fedoraproject.org/updates/FEDORA-2018-9c960964af
Comment 11 Fedora Update System 2018-08-30 05:55:07 UTC 
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
Comment 12 Fedora Update System 2018-09-27 02:33:31 UTC 
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.
Note You need to log in before you can comment on or make changes to this bug.