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