Bug 2069260 - Please branch and build z3 in epel9
Summary: Please branch and build z3 in epel9
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:
Whiteboard:
Depends On: 2069262
Blocks: 2068295
TreeView+ depends on / blocked
 
Reported: 2022-03-28 15:23 UTC by Troy Dawson
Modified: 2022-04-14 17:08 UTC (History)
1 user (show)

Fixed In Version: z3-4.8.15-2.el9
Doc Type: If docs needed, set a value
Doc Text:
Clone Of:
Environment:
Last Closed: 2022-04-14 17:08:31 UTC
Type: Bug
Embargoed:

Attachments (Terms of Use)

Description Troy Dawson 2022-03-28 15:23:29 UTC 
Please branch and build z3 in epel9.

If you do not wish to maintain z3 in epel9,
or do not think you will be able to do this in a timely manner,
I would be happy to be a co-maintainer of the package. (FES: tdawson)
Please add me through https://src.fedoraproject.org/rpms/z3/adduser
Comment 1 Troy Dawson 2022-03-28 15:28:31 UTC 
z3 requires ocaml-zarith to build in epel9.  I have opened a bugzilla requesting it.
Comment 2 Jerry James 2022-04-03 22:13:57 UTC 
Hi Troy.  I have made you comaintainer.  Have fun!
Comment 3 Fedora Update System 2022-04-05 15:42:16 UTC 
FEDORA-EPEL-2022-d5f4b0658f has been submitted as an update to Fedora EPEL 9. https://bodhi.fedoraproject.org/updates/FEDORA-EPEL-2022-d5f4b0658f
Comment 4 Fedora Update System 2022-04-06 19:44:36 UTC 
FEDORA-EPEL-2022-d5f4b0658f has been pushed to the Fedora EPEL 9 testing repository.

You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-EPEL-2022-d5f4b0658f

See also https://fedoraproject.org/wiki/QA:Updates_Testing for more information on how to test updates.
Comment 5 Fedora Update System 2022-04-14 17:08:31 UTC 
FEDORA-EPEL-2022-d5f4b0658f has been pushed to the Fedora EPEL 9 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.