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
Bug 1239799 - prover9: FTBFS in rawhide
Summary: prover9: FTBFS in rawhide
Alias: None
Product: Fedora
Classification: Fedora
Component: prover9
Version: 23
Hardware: Unspecified
OS: Unspecified
Target Milestone: ---
Assignee: Tim Colles
QA Contact: Fedora Extras Quality Assurance
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:
Last Closed: 2015-08-13 15:29:40 UTC
Type: ---

Attachments (Terms of Use)
build.log (deleted)
2015-07-05 21:13 UTC, Dennis Gilmore
no flags Details
root.log (deleted)
2015-07-05 21:13 UTC, Dennis Gilmore
no flags Details
state.log (deleted)
2015-07-05 21:13 UTC, Dennis Gilmore
no flags Details

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

For details on mass rebuild see

Comment 1 Dennis Gilmore 2015-07-05 21:13:01 UTC
Created attachment 1047712 [details]

Comment 2 Dennis Gilmore 2015-07-05 21:13:02 UTC
Created attachment 1047713 [details]

Comment 3 Dennis Gilmore 2015-07-05 21:13:02 UTC
Created attachment 1047714 [details]

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:

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.