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 1239799 - prover9: FTBFS in rawhide
Summary: prover9: FTBFS in rawhide
Keywords:
Status: CLOSED RAWHIDE
Alias: None
Product: Fedora
Classification: Fedora
Component: prover9
Version: 23
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Tim Colles
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks: F23FTBFS
TreeView+ depends on / blocked
 
Reported: 2015-07-05 21:13 UTC by Dennis Gilmore
Modified: 2015-08-13 15:29 UTC (History)
4 users (show)

Fixed In Version:
Doc Type: Bug Fix
Doc Text:
Clone Of:
Environment:
Last Closed: 2015-08-13 15:29:40 UTC
Type: ---
Embargoed:

Attachments (Terms of Use)
build.log (21.67 KB, text/plain)
2015-07-05 21:13 UTC, Dennis Gilmore 		no flags Details
root.log (69.44 KB, text/plain)
2015-07-05 21:13 UTC, Dennis Gilmore 		no flags Details
state.log (629 bytes, text/plain)
2015-07-05 21:13 UTC, Dennis Gilmore 		no flags Details
View All

Description Dennis Gilmore 2015-07-05 21:13:00 UTC 
Your package prover9 failed to build from source in current rawhide.

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

For details on mass rebuild see https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
Comment 1 Dennis Gilmore 2015-07-05 21:13:01 UTC 
Created attachment 1047712 [details]
build.log
Comment 2 Dennis Gilmore 2015-07-05 21:13:02 UTC 
Created attachment 1047713 [details]
root.log
Comment 3 Dennis Gilmore 2015-07-05 21:13:02 UTC 
Created attachment 1047714 [details]
state.log
Comment 4 Jan Kurik 2015-07-15 13:32:42 UTC 
This bug appears to have been reported against 'rawhide' during the Fedora 23 development cycle.
Changing version to '23'.

(As we did not run this process for some time, it could affect also pre-Fedora 23 development
cycle bugs. We are very sorry. It will help us with cleanup during Fedora 23 End Of Life. Thank you.)

More information and reason for this action is here:
https://fedoraproject.org/wiki/BugZappers/HouseKeeping/Fedora23
Comment 5 Ralf Corsepius 2015-08-13 08:46:46 UTC 
Bruno, AFAIS, you seem to have fixed this bug. Would you please close this BZ.
Comment 6 Bruno Wolff III 2015-08-13 15:29:40 UTC 
Sorry about that. I saw this on the FTBFS list, but didn't think to go looking for the bug after I fixed the problem.
Note You need to log in before you can comment on or make changes to this bug.