stable

z3-4.12.4-2.fc39

FEDORA-2023-dcae94ae27 created by jjames a year ago for Fedora 39

This update fixes the python package's library load name, so that it is not necessary to install z3-devel.

How to install

Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:

sudo dnf upgrade --refresh --advisory=FEDORA-2023-dcae94ae27

This update has been submitted for testing by jjames.

a year ago

This update's test gating status has been changed to 'ignored'.

a year ago

This update has been pushed to testing.

a year ago

This update has been submitted for stable by bodhi.

a year ago

This update has been pushed to stable.

a year ago

Please login to add feedback.

Metadata
Type
bugfix
Karma
0
Signed
Content Type
RPM
Test Gating
Autopush Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
7 days
Dates
submitted
a year ago
in testing
a year ago
in stable
a year ago
approved
a year ago
BZ#2255464 python3-z3 dependency wrong or incomplete
0
0

Automated Test Results