Liste der Dateien in Paket python-z3 in buster für Architektur i386
/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