在 buster 发行版中 arm64 硬件架构下的 python-z3 软件包文件清单
/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