/usr/

This file is indexed.

/usr/ 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/share/doc/`		root:root	0o755
`/usr/lib/`		root:root	0o755
`/usr/lib/python2.7/`		root:root	0o755
`/usr/lib/python2.7/dist-packages/`		root:root	0o755
`/usr/lib/python2.7/dist-packages/z3/`		root:root	0o755
`/usr/share/`		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
`/usr/share/doc/python-z3`		root:root	0o777