stable

z3-4.4.1-2.fc23

FEDORA-2016-54d73989f6 created by jjames 9 years ago for Fedora 23

Add init.py to the python bindings so they can be used as a python module.

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-2016-54d73989f6

This update has been submitted for testing by jjames.

9 years ago
User Icon lnie commented & provided feedback 9 years ago
karma

able to import z3 now

BZ#1298429 There is no __init__.py in python binding of z3 solver

This update has been pushed to testing.

9 years ago

This update has reached 7 days in testing and can be pushed to stable now if the maintainer wishes

9 years ago

This update has been submitted for stable by jjames.

9 years ago

This update has been pushed to stable.

9 years ago

Please login to add feedback.

Metadata
Type
bugfix
Severity
low
Karma
1
Signed
Content Type
RPM
Test Gating
Autopush Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
disabled
Dates
submitted
9 years ago
in testing
9 years ago
in stable
9 years ago
BZ#1298429 There is no __init__.py in python binding of z3 solver
0
1

Automated Test Results