/usr/lib/ is in python-z3 4.4.1-0.3build4.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/lib/python2.7/
|
root:root | 0o755 | ||
/usr/lib/python2.7/dist-packages/
|
root:root | 0o755 | ||
/usr/lib/python2.7/dist-packages/z3.py
|
text/x-c++ | root:root | 0o644 | 251.8 KB |
/usr/lib/python2.7/dist-packages/z3consts.py
|
text/plain | root:root | 0o644 | 5.9 KB |
/usr/lib/python2.7/dist-packages/z3core.py
|
text/x-python | root:root | 0o644 | 189.4 KB |
/usr/lib/python2.7/dist-packages/z3num.py
|
text/x-c++ | root:root | 0o644 | 15.7 KB |
/usr/lib/python2.7/dist-packages/z3poly.py
|
text/x-python | root:root | 0o644 | 1.1 KB |
/usr/lib/python2.7/dist-packages/z3printer.py
|
text/x-python | root:root | 0o644 | 39.3 KB |
/usr/lib/python2.7/dist-packages/z3rcf.py
|
text/x-c++ | root:root | 0o644 | 5.0 KB |
/usr/lib/python2.7/dist-packages/z3test.py
|
text/plain | root:root | 0o644 | 274 bytes |
/usr/lib/python2.7/dist-packages/z3types.py
|
text/x-c++ | root:root | 0o644 | 3.7 KB |
/usr/lib/python2.7/dist-packages/z3util.py
|
text/x-python | root:root | 0o644 | 11.2 KB |
/usr/lib/python2.7/dist-packages/libz3.so
|
root:root | 0o777 |