This file is indexed.

/usr/lib/coq/proofs/ 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/proofs/clenv.cmi application/octet-stream root:root 0o644 6.5 KB
/usr/lib/coq/proofs/clenvtac.cmi application/octet-stream root:root 0o644 2.7 KB
/usr/lib/coq/proofs/evar_refiner.cmi application/octet-stream root:root 0o644 2.3 KB
/usr/lib/coq/proofs/goal.cmi application/octet-stream root:root 0o644 8.1 KB
/usr/lib/coq/proofs/logic.cmi application/octet-stream root:root 0o644 2.7 KB
/usr/lib/coq/proofs/pfedit.cmi application/octet-stream root:root 0o644 5.7 KB
/usr/lib/coq/proofs/proof.cmi application/octet-stream root:root 0o644 5.4 KB
/usr/lib/coq/proofs/proof_global.cmi application/octet-stream root:root 0o644 5.2 KB
/usr/lib/coq/proofs/proof_type.cmi application/octet-stream root:root 0o644 4.9 KB
/usr/lib/coq/proofs/proofs.a application/x-archive root:root 0o644 622.1 KB
/usr/lib/coq/proofs/proofs.cma application/octet-stream root:root 0o644 155.3 KB
/usr/lib/coq/proofs/proofs.cmxa application/octet-stream root:root 0o644 35.1 KB
/usr/lib/coq/proofs/proofview.cmi application/octet-stream root:root 0o644 6.8 KB
/usr/lib/coq/proofs/redexpr.cmi application/octet-stream root:root 0o644 2.4 KB
/usr/lib/coq/proofs/refiner.cmi application/octet-stream root:root 0o644 8.8 KB
/usr/lib/coq/proofs/tacexpr.cmi application/octet-stream root:root 0o644 15.8 KB
/usr/lib/coq/proofs/tacmach.cmi application/octet-stream root:root 0o644 11.6 KB
/usr/lib/coq/proofs/tactic_debug.cmi application/octet-stream root:root 0o644 4.3 KB