Package: python-z3 Version: 4.4.0-1 Severity: grave Tags: patch Justification: renders package unusable
It is enough to touch a __init__.py file inside /usr/lib/python2.7/dist-packages/z3/ to make the module importable. -- System Information: Debian Release: stretch/sid APT prefers unstable APT policy: (600, 'unstable'), (500, 'stable-updates'), (500, 'stable') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 4.0.0-2-amd64 (SMP w/4 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 libc6 2.19-18 ii libgcc1 1:5.1.1-12 ii libgomp1 5.1.1-12 ii libstdc++6 5.1.1-12 ii python 2.7.9-1 python-z3 recommends no packages. python-z3 suggests no packages. -- no debconf information -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org