This file is indexed.

/usr/lib/coq/interp/ is in libcoq-ocaml-dev 8.6-4.

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

File Mime Type Owner Mode Size
..
/usr/lib/coq/interp/constrarg.cmi application/octet-stream root:root 0o644 7.1 KB
/usr/lib/coq/interp/constrexpr_ops.cmi application/octet-stream root:root 0o644 5.2 KB
/usr/lib/coq/interp/constrextern.cmi application/octet-stream root:root 0o644 6.6 KB
/usr/lib/coq/interp/constrintern.cmi application/octet-stream root:root 0o644 10.7 KB
/usr/lib/coq/interp/coqlib.cmi application/octet-stream root:root 0o644 7.2 KB
/usr/lib/coq/interp/dumpglob.cmi application/octet-stream root:root 0o644 5.5 KB
/usr/lib/coq/interp/genintern.cmi application/octet-stream root:root 0o644 2.7 KB
/usr/lib/coq/interp/implicit_quantifiers.cmi application/octet-stream root:root 0o644 6.0 KB
/usr/lib/coq/interp/interp.a application/x-archive root:root 0o644 1.4 MB
/usr/lib/coq/interp/interp.cma application/octet-stream root:root 0o644 1.9 MB
/usr/lib/coq/interp/interp.cmxa application/octet-stream root:root 0o644 60.3 KB
/usr/lib/coq/interp/modintern.cmi application/octet-stream root:root 0o644 2.4 KB
/usr/lib/coq/interp/notation.cmi application/octet-stream root:root 0o644 12.1 KB
/usr/lib/coq/interp/notation_ops.cmi application/octet-stream root:root 0o644 4.3 KB
/usr/lib/coq/interp/ppextend.cmi application/octet-stream root:root 0o644 1.5 KB
/usr/lib/coq/interp/reserve.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/coq/interp/smartlocate.cmi application/octet-stream root:root 0o644 2.1 KB
/usr/lib/coq/interp/stdarg.cmi application/octet-stream root:root 0o644 837 bytes
/usr/lib/coq/interp/syntax_def.cmi application/octet-stream root:root 0o644 2.3 KB
/usr/lib/coq/interp/topconstr.cmi application/octet-stream root:root 0o644 3.2 KB