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 scripts install *.py directly into /usr/lib/python2.7/dist-packages, not /usr/lib/python2.7/dist-packages/z3, because the user expects to be able to ‘import z3’, not ‘import z3.z3’. We ought to be consistent with upstream here, or scripts using this API won’t be portable between Debian and non-Debian systems. Anders
