The package tries to create
/usr/lib/python2.7/dist-packages/z3/__init__.py, but fails to install it
because it is not listed in debian/python-z3.install. Creating
/usr/lib/python2.7/dist-packages/z3/__init__.py allows ‘import z3.z3’ to
work.
But that’s not really good enough. The upstream s
Package: python-z3
Version: 4.4.0-3+b1
Severity: important
Hi,
I installed python-z3 but importing "z3" or "Z3" fails:
$ python
Python 2.7.10+ (default, Oct 10 2015, 09:11:24)
[GCC 5.2.1 20151003] on linux2
Type "help", "copyright", "credits" or "license" for more
2 matches
Mail list logo
