Bug 992872 - why3: FTBFS in rawhide
Summary: why3: FTBFS in rawhide
Keywords:
Status: CLOSED RAWHIDE
Alias: None
Product: Fedora
Classification: Fedora
Component: why3
Version: rawhide
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Jerry James
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks: F20FTBFS
TreeView+ depends on / blocked
 
Reported: 2013-08-05 06:43 UTC by Dennis Gilmore
Modified: 2013-08-20 19:37 UTC (History)
1 user (show)

Fixed In Version:
Clone Of:
Environment:
Last Closed: 2013-08-20 19:37:36 UTC
Type: ---
Embargoed:

Attachments (Terms of Use)

Description Dennis Gilmore 2013-08-05 06:43:49 UTC 
Your package why3 failed to build from source in current rawhide.

http://koji.fedoraproject.org/koji/taskinfo?taskID=5755336

Build logs:
root.log: http://kojipkgs.fedoraproject.org/work/tasks/5336/5755336/root.log
build.log: http://kojipkgs.fedoraproject.org/work/tasks/5336/5755336/build.log
state.log: http://kojipkgs.fedoraproject.org/work/tasks/5336/5755336/state.log
NOTE: build logs are cleaned up after 1 week

For details on mass rebuild see https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
Comment 1 Jerry James 2013-08-20 19:37:36 UTC 
There were 2 separate problems that caused the failure, both now fixed in Rawhide.
Note You need to log in before you can comment on or make changes to this bug.