Bug 2084009 - z3: FTBFS in Fedora Rawhide
Summary: z3: FTBFS in Fedora Rawhide
Keywords:
Status: CLOSED ERRATA
Alias: None
Product: Fedora
Classification: Fedora
Component: z3
Version: rawhide
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Jerry James
QA Contact: Fedora Extras Quality Assurance
URL: https://koschei.fedoraproject.org/pac...
Whiteboard:
Depends On: 2083296
Blocks: PYTHON3.11 F37FTBFS
TreeView+ depends on / blocked
 
Reported: 2022-05-11 08:04 UTC by Tomáš Hrnčiar
Modified: 2022-05-19 20:19 UTC (History)
2 users (show)

Fixed In Version: z3-4.8.17-1.fc37
Doc Type: If docs needed, set a value
Doc Text:
Clone Of:
Environment:
Last Closed: 2022-05-19 20:19:14 UTC
Type: Bug
Embargoed:

Attachments (Terms of Use)

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.
Note You need to log in before you can comment on or make changes to this bug.