This update fixes the python interface to match upstream documentation.
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-f0ee180313
Please login to add feedback.
This update has been submitted for testing by jjames.
works
This update has been pushed to testing.
It works for me. #1351580 seems to be fixed properly.
This update has been submitted for stable by bodhi.
from z3 import *
works now and the packages also afaics.LGTM
This update has been pushed to stable.