buster の armhf アーキテクチャ用 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