Liste des fichiers du paquet python-z3 dans buster pour l'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