This file is indexed.

/usr/ is in libz3-ocaml-dev 4.4.0-5.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/lib/ocaml/z3/z3enums.cmx application/octet-stream root:root 0o644 1.2 KB
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/lib/ root:root 0o755
/usr/lib/ocaml/ root:root 0o755
/usr/lib/ocaml/z3/ root:root 0o755
/usr/lib/ocaml/z3/z3.cmx application/octet-stream root:root 0o644 35.8 KB
/usr/lib/ocaml/z3/dllz3ml.so application/x-sharedlib root:root 0o644 287.1 KB
/usr/lib/ocaml/z3/z3native_stubs.o application/x-object root:root 0o644 1.5 MB
/usr/lib/ocaml/z3/z3native.o application/x-object root:root 0o644 680.3 KB
/usr/lib/ocaml/z3/z3enums.cma application/octet-stream root:root 0o644 42 bytes
/usr/lib/ocaml/z3/z3enums.o application/x-object root:root 0o644 31.2 KB
/usr/lib/ocaml/z3/z3.cma application/octet-stream root:root 0o644 42 bytes
/usr/lib/ocaml/z3/z3native.cmx application/octet-stream root:root 0o644 27.2 KB
/usr/lib/ocaml/z3/z3native.cma application/octet-stream root:root 0o644 42 bytes
/usr/lib/ocaml/z3/z3.mli text/x-ruby root:root 0o644 123.6 KB
/usr/lib/ocaml/z3/z3.ml text/x-ruby root:root 0o644 142.8 KB
/usr/lib/ocaml/z3/z3.cmi application/octet-stream root:root 0o644 83.2 KB
/usr/lib/ocaml/z3/z3.o application/x-object root:root 0o644 476.1 KB
/usr/lib/ocaml/z3/z3enums.cmi application/octet-stream root:root 0o644 8.4 KB
/usr/lib/ocaml/z3/z3native.cmi application/octet-stream root:root 0o644 81.2 KB
/usr/lib/ocaml/z3/libz3ml.a application/x-archive root:root 0o644 373.3 KB
/usr/lib/ocaml/z3/z3ml.cmxa application/octet-stream root:root 0o644 1.2 KB
/usr/lib/ocaml/z3/z3enums.ml text/plain root:root 0o644 19.1 KB
/usr/lib/ocaml/z3/z3native.ml text/plain root:root 0o644 230.5 KB
/usr/lib/ocaml/z3/z3ml.cma application/octet-stream root:root 0o644 291.9 KB
/usr/lib/ocaml/z3/z3native.mli text/plain root:root 0o644 39.5 KB
/usr/lib/ocaml/z3/z3ml.a application/x-archive root:root 0o644 1.2 MB
/usr/lib/ocaml/z3/META text/plain root:root 0o644 343 bytes
/usr/lib/ocaml/z3/z3enums.mli text/plain root:root 0o644 6.4 KB
/usr/share/doc/libz3-ocaml-dev root:root 0o777