stable

z3-4.8.9-4.fc33

FEDORA-2020-8ee3a64b83 created by jjames 4 years ago for Fedora 33

The python interface to z3 is currently broken, due to inability to find the z3 library. This update contains a patch to help python find the library.

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-2020-8ee3a64b83

This update has been submitted for testing by jjames.

4 years ago

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

4 years ago

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

4 years ago

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

4 years ago

This update has been pushed to testing.

4 years ago
User Icon nikital commented & provided feedback 4 years ago
karma

Tested on a fedora:33 container and the issue is fixed.

BZ#1910923 python3-z3 is broken on a fresh install

This update can be pushed to stable now if the maintainer wishes

4 years ago

This update has been submitted for stable by bodhi.

4 years ago

This update has been pushed to stable.

4 years ago

Please login to add feedback.

Metadata
Type
bugfix
Karma
1
Signed
Content Type
RPM
Test Gating
Autopush Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
7 days
Dates
submitted
4 years ago
in testing
4 years ago
in stable
4 years ago
BZ#1910923 python3-z3 is broken on a fresh install
0
1

Automated Test Results