This file is indexed.

/usr/lib/coq/pretyping/ 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/pretyping/arguments_renaming.cmi application/octet-stream root:root 0o644 2.4 KB
/usr/lib/coq/pretyping/cases.cmi application/octet-stream root:root 0o644 8.0 KB
/usr/lib/coq/pretyping/cbv.cmi application/octet-stream root:root 0o644 4.7 KB
/usr/lib/coq/pretyping/classops.cmi application/octet-stream root:root 0o644 6.1 KB
/usr/lib/coq/pretyping/coercion.cmi application/octet-stream root:root 0o644 4.1 KB
/usr/lib/coq/pretyping/constr_matching.cmi application/octet-stream root:root 0o644 5.4 KB
/usr/lib/coq/pretyping/detyping.cmi application/octet-stream root:root 0o644 7.5 KB
/usr/lib/coq/pretyping/evarconv.cmi application/octet-stream root:root 0o644 6.2 KB
/usr/lib/coq/pretyping/evardefine.cmi application/octet-stream root:root 0o644 4.0 KB
/usr/lib/coq/pretyping/evarsolve.cmi application/octet-stream root:root 0o644 6.8 KB
/usr/lib/coq/pretyping/find_subterm.cmi application/octet-stream root:root 0o644 4.2 KB
/usr/lib/coq/pretyping/glob_ops.cmi application/octet-stream root:root 0o644 4.4 KB
/usr/lib/coq/pretyping/indrec.cmi application/octet-stream root:root 0o644 4.3 KB
/usr/lib/coq/pretyping/inductiveops.cmi application/octet-stream root:root 0o644 13.3 KB
/usr/lib/coq/pretyping/locusops.cmi application/octet-stream root:root 0o644 2.8 KB
/usr/lib/coq/pretyping/miscops.cmi application/octet-stream root:root 0o644 1.9 KB
/usr/lib/coq/pretyping/nativenorm.cmi application/octet-stream root:root 0o644 2.6 KB
/usr/lib/coq/pretyping/patternops.cmi application/octet-stream root:root 0o644 3.4 KB
/usr/lib/coq/pretyping/pretype_errors.cmi application/octet-stream root:root 0o644 11.0 KB
/usr/lib/coq/pretyping/pretyping.a application/x-archive root:root 0o644 2.6 MB
/usr/lib/coq/pretyping/pretyping.cma application/octet-stream root:root 0o644 3.7 MB
/usr/lib/coq/pretyping/pretyping.cmi application/octet-stream root:root 0o644 8.4 KB
/usr/lib/coq/pretyping/pretyping.cmxa application/octet-stream root:root 0o644 93.6 KB
/usr/lib/coq/pretyping/program.cmi application/octet-stream root:root 0o644 3.9 KB
/usr/lib/coq/pretyping/recordops.cmi application/octet-stream root:root 0o644 4.6 KB
/usr/lib/coq/pretyping/redops.cmi application/octet-stream root:root 0o644 1.3 KB
/usr/lib/coq/pretyping/reductionops.cmi application/octet-stream root:root 0o644 21.0 KB
/usr/lib/coq/pretyping/retyping.cmi application/octet-stream root:root 0o644 3.9 KB
/usr/lib/coq/pretyping/tacred.cmi application/octet-stream root:root 0o644 5.8 KB
/usr/lib/coq/pretyping/typeclasses.cmi application/octet-stream root:root 0o644 9.8 KB
/usr/lib/coq/pretyping/typeclasses_errors.cmi application/octet-stream root:root 0o644 2.8 KB
/usr/lib/coq/pretyping/typing.cmi application/octet-stream root:root 0o644 3.9 KB
/usr/lib/coq/pretyping/unification.cmi application/octet-stream root:root 0o644 8.9 KB
/usr/lib/coq/pretyping/vnorm.cmi application/octet-stream root:root 0o644 1.7 KB