Bug 1423208 - Agda-stdlib: FTBFS in rawhide
Summary: Agda-stdlib: FTBFS in rawhide
Keywords:
Status: CLOSED ERRATA
Alias: None
Product: Fedora
Classification: Fedora
Component: Agda-stdlib
Version: 26
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Jens Petersen
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks: F26FTBFS
TreeView+ depends on / blocked
 
Reported: 2017-02-17 03:10 UTC by Fedora Release Engineering
Modified: 2017-04-01 16:58 UTC (History)
1 user (show)

Fixed In Version: Agda-stdlib-0.13-1.fc26
Clone Of:
Environment:
Last Closed: 2017-04-01 16:58:26 UTC
Type: ---
Embargoed:

Attachments (Terms of Use)
build.log (4.74 KB, text/plain)
2017-02-17 03:10 UTC, Fedora Release Engineering 		no flags Details
root.log (93.01 KB, text/plain)
2017-02-17 03:10 UTC, Fedora Release Engineering 		no flags Details
state.log (631 bytes, text/plain)
2017-02-17 03:10 UTC, Fedora Release Engineering 		no flags Details
View All

Description Fedora Release Engineering 2017-02-17 03:10:35 UTC 
Your package Agda-stdlib failed to build from source in current rawhide.

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

For details on mass rebuild see https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
Comment 1 Fedora Release Engineering 2017-02-17 03:10:40 UTC 
Created attachment 1251387 [details]
build.log
Comment 2 Fedora Release Engineering 2017-02-17 03:10:43 UTC 
Created attachment 1251388 [details]
root.log
Comment 3 Fedora Release Engineering 2017-02-17 03:10:45 UTC 
Created attachment 1251389 [details]
state.log
Comment 4 Jens Petersen 2017-02-27 03:16:53 UTC 
I am planning to retire this package for F26.
Comment 5 Fedora End Of Life 2017-02-28 11:22:19 UTC 
This bug appears to have been reported against 'rawhide' during the Fedora 26 development cycle.
Changing version to '26'.
Comment 6 Fedora Update System 2017-03-13 07:56:11 UTC 
Agda-2.5.2-5.fc26.1 Agda-stdlib-0.13-1.fc26 has been submitted as an update to Fedora 26. https://bodhi.fedoraproject.org/updates/FEDORA-2017-f4c32334cc
Comment 7 Fedora Update System 2017-03-13 09:20:50 UTC 
Agda-2.5.2-5.fc26.1, Agda-stdlib-0.13-1.fc26 has been pushed to the Fedora 26 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-2017-f4c32334cc
Comment 8 Fedora Update System 2017-04-01 16:58:26 UTC 
Agda-2.5.2-5.fc26.1, Agda-stdlib-0.13-1.fc26 has been pushed to the Fedora 26 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.