This file is indexed.

/usr/lib/coq/proofs/ 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/proofs/clenv.cmi application/octet-stream root:root 0o644 7.6 KB
/usr/lib/coq/proofs/clenvtac.cmi application/octet-stream root:root 0o644 3.6 KB
/usr/lib/coq/proofs/evar_refiner.cmi application/octet-stream root:root 0o644 2.7 KB
/usr/lib/coq/proofs/goal.cmi application/octet-stream root:root 0o644 4.6 KB
/usr/lib/coq/proofs/logic.cmi application/octet-stream root:root 0o644 4.1 KB
/usr/lib/coq/proofs/pfedit.cmi application/octet-stream root:root 0o644 8.4 KB
/usr/lib/coq/proofs/proof.cmi application/octet-stream root:root 0o644 6.7 KB
/usr/lib/coq/proofs/proof_global.cmi application/octet-stream root:root 0o644 10.1 KB
/usr/lib/coq/proofs/proof_type.cmi application/octet-stream root:root 0o644 3.1 KB
/usr/lib/coq/proofs/proof_using.cmi application/octet-stream root:root 0o644 3.7 KB
/usr/lib/coq/proofs/proofs.a application/x-archive root:root 0o644 604.3 KB
/usr/lib/coq/proofs/proofs.cma application/octet-stream root:root 0o644 718.2 KB
/usr/lib/coq/proofs/proofs.cmxa application/octet-stream root:root 0o644 48.2 KB
/usr/lib/coq/proofs/redexpr.cmi application/octet-stream root:root 0o644 3.3 KB
/usr/lib/coq/proofs/refine.cmi application/octet-stream root:root 0o644 3.3 KB
/usr/lib/coq/proofs/refiner.cmi application/octet-stream root:root 0o644 8.6 KB
/usr/lib/coq/proofs/tacmach.cmi application/octet-stream root:root 0o644 14.2 KB