File list of package python-z3 in buster of architecture amd64

/usr/lib/python2.7/dist-packages/libz3.so
/usr/lib/python2.7/dist-packages/z3.py
/usr/lib/python2.7/dist-packages/z3consts.py
/usr/lib/python2.7/dist-packages/z3core.py
/usr/lib/python2.7/dist-packages/z3num.py
/usr/lib/python2.7/dist-packages/z3poly.py
/usr/lib/python2.7/dist-packages/z3printer.py
/usr/lib/python2.7/dist-packages/z3rcf.py
/usr/lib/python2.7/dist-packages/z3test.py
/usr/lib/python2.7/dist-packages/z3types.py
/usr/lib/python2.7/dist-packages/z3util.py
/usr/share/doc/python-z3