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
information.
>>> import z3
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
ImportError: No module named z3
>>> import Z3
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
ImportError: No module named Z3
>>>
Do I need to import the module in a special way?
If so, it should probably be written down in the package description
and/or /usr/share/doc/python-z3, to avoid future confusion.
Regards,
Jonathan Neuschäfer
-- System Information:
Debian Release: stretch/sid
APT prefers testing-updates
APT policy: (500, 'testing-updates'), (500, 'testing')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 4.2.0-1-amd64 (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
Versions of packages python-z3 depends on:
ii libz3-dev 4.4.0-3+b1
pn python:any <none>
python-z3 recommends no packages.
python-z3 suggests no packages.
-- no debconf information
