This file is indexed.

/usr/lib/coq/pretyping/ is in libcoq-ocaml-dev 8.4pl4dfsg-1.

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

File Mime Type Owner Mode Size
..
/usr/lib/coq/pretyping/arguments_renaming.cmi application/octet-stream root:root 0o644 1.9 KB
/usr/lib/coq/pretyping/cases.cmi application/octet-stream root:root 0o644 4.0 KB
/usr/lib/coq/pretyping/cbv.cmi application/octet-stream root:root 0o644 3.5 KB
/usr/lib/coq/pretyping/classops.cmi application/octet-stream root:root 0o644 4.9 KB
/usr/lib/coq/pretyping/coercion.cmi application/octet-stream root:root 0o644 3.3 KB
/usr/lib/coq/pretyping/detyping.cmi application/octet-stream root:root 0o644 5.1 KB
/usr/lib/coq/pretyping/evarconv.cmi application/octet-stream root:root 0o644 4.1 KB
/usr/lib/coq/pretyping/evarutil.cmi application/octet-stream root:root 0o644 13.3 KB
/usr/lib/coq/pretyping/evd.cmi application/octet-stream root:root 0o644 24.4 KB
/usr/lib/coq/pretyping/glob_term.cmi application/octet-stream root:root 0o644 8.1 KB
/usr/lib/coq/pretyping/indrec.cmi application/octet-stream root:root 0o644 3.1 KB
/usr/lib/coq/pretyping/inductiveops.cmi application/octet-stream root:root 0o644 8.5 KB
/usr/lib/coq/pretyping/matching.cmi application/octet-stream root:root 0o644 3.0 KB
/usr/lib/coq/pretyping/namegen.cmi application/octet-stream root:root 0o644 6.0 KB
/usr/lib/coq/pretyping/pattern.cmi application/octet-stream root:root 0o644 3.9 KB
/usr/lib/coq/pretyping/pretype_errors.cmi application/octet-stream root:root 0o644 8.9 KB
/usr/lib/coq/pretyping/pretyping.a application/x-archive root:root 0o644 2.3 MB
/usr/lib/coq/pretyping/pretyping.cma application/octet-stream root:root 0o644 594.1 KB
/usr/lib/coq/pretyping/pretyping.cmi application/octet-stream root:root 0o644 6.0 KB
/usr/lib/coq/pretyping/pretyping.cmxa application/octet-stream root:root 0o644 58.6 KB
/usr/lib/coq/pretyping/recordops.cmi application/octet-stream root:root 0o644 3.9 KB
/usr/lib/coq/pretyping/reductionops.cmi application/octet-stream root:root 0o644 13.9 KB
/usr/lib/coq/pretyping/retyping.cmi application/octet-stream root:root 0o644 2.6 KB
/usr/lib/coq/pretyping/tacred.cmi application/octet-stream root:root 0o644 4.8 KB
/usr/lib/coq/pretyping/term_dnet.cmi application/octet-stream root:root 0o644 4.0 KB
/usr/lib/coq/pretyping/termops.cmi application/octet-stream root:root 0o644 18.1 KB
/usr/lib/coq/pretyping/typeclasses.cmi application/octet-stream root:root 0o644 6.6 KB
/usr/lib/coq/pretyping/typeclasses_errors.cmi application/octet-stream root:root 0o644 3.0 KB
/usr/lib/coq/pretyping/typing.cmi application/octet-stream root:root 0o644 2.3 KB
/usr/lib/coq/pretyping/unification.cmi application/octet-stream root:root 0o644 4.6 KB
/usr/lib/coq/pretyping/vnorm.cmi application/octet-stream root:root 0o644 1.3 KB