Bug 2084009

Summary:	z3: FTBFS in Fedora Rawhide
Product:	[Fedora] Fedora	Reporter:	Tomáš Hrnčiar <thrnciar>
Component:	z3	Assignee:	Jerry James <loganjerry>
Status:	CLOSED ERRATA	QA Contact:	Fedora Extras Quality Assurance <extras-qa>
Severity:	unspecified	Docs Contact:
Priority:	unspecified
Version:	rawhide	CC:	loganjerry, tdawson
Target Milestone:	---
Target Release:	---
Hardware:	Unspecified
OS:	Unspecified
URL:	https://koschei.fedoraproject.org/package/z3
Whiteboard:
Fixed In Version:	z3-4.8.17-1.fc37	Doc Type:	If docs needed, set a value
Doc Text:		Story Points:	---
Clone Of:		Environment:
Last Closed:	2022-05-19 20:19:14 UTC	Type:	Bug
Regression:	---	Mount Type:	---
Documentation:	---	CRM:
Verified Versions:		Category:	---
oVirt Team:	---	RHEL 7.3 requirements from Atomic Host:
Cloudforms Team:	---	Target Upstream Version:
Embargoed:
Bug Depends On:	2083296
Bug Blocks:	2016048, 2045102

Description Tomáš Hrnčiar 2022-05-11 08:04:14 UTC

Description of problem:
Package z3 fails to build from source in Fedora Rawhide.

Version-Release number of selected component (if applicable):
4.8.15-2.fc37

Steps to Reproduce:
koji build --scratch f37 z3-4.8.15-2.fc37.src.rpm

Additional info:
This package is tracked by Koschei. See:
https://koschei.fedoraproject.org/package/z3

Comment 1 Fedora Update System 2022-05-19 20:14:27 UTC

FEDORA-2022-9b2276e876 has been submitted as an update to Fedora 37. https://bodhi.fedoraproject.org/updates/FEDORA-2022-9b2276e876

Comment 2 Fedora Update System 2022-05-19 20:19:14 UTC

FEDORA-2022-9b2276e876 has been pushed to the Fedora 37 stable repository.
If problem still persists, please make note of it in this bug report.