This file is indexed.

/usr/lib/coq/tactics/ 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/tactics/auto.cmi application/octet-stream root:root 0o644 7.2 KB
/usr/lib/coq/tactics/autorewrite.cmi application/octet-stream root:root 0o644 5.4 KB
/usr/lib/coq/tactics/btermdn.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/coq/tactics/class_tactics.cmi application/octet-stream root:root 0o644 5.3 KB
/usr/lib/coq/tactics/contradiction.cmi application/octet-stream root:root 0o644 2.5 KB
/usr/lib/coq/tactics/dn.cmi application/octet-stream root:root 0o644 1.3 KB
/usr/lib/coq/tactics/dnet.cmi application/octet-stream root:root 0o644 8.8 KB
/usr/lib/coq/tactics/eauto.cmi application/octet-stream root:root 0o644 5.1 KB
/usr/lib/coq/tactics/elim.cmi application/octet-stream root:root 0o644 3.8 KB
/usr/lib/coq/tactics/elimschemes.cmi application/octet-stream root:root 0o644 3.4 KB
/usr/lib/coq/tactics/eqdecide.cmi application/octet-stream root:root 0o644 2.5 KB
/usr/lib/coq/tactics/eqschemes.cmi application/octet-stream root:root 0o644 4.5 KB
/usr/lib/coq/tactics/equality.cmi application/octet-stream root:root 0o644 12.0 KB
/usr/lib/coq/tactics/hints.cmi application/octet-stream root:root 0o644 14.5 KB
/usr/lib/coq/tactics/hipattern.cmi application/octet-stream root:root 0o644 7.5 KB
/usr/lib/coq/tactics/inv.cmi application/octet-stream root:root 0o644 3.9 KB
/usr/lib/coq/tactics/leminv.cmi application/octet-stream root:root 0o644 2.9 KB
/usr/lib/coq/tactics/tactic_matching.cmi application/octet-stream root:root 0o644 4.0 KB
/usr/lib/coq/tactics/tacticals.cmi application/octet-stream root:root 0o644 23.0 KB
/usr/lib/coq/tactics/tactics.a application/x-archive root:root 0o644 2.2 MB
/usr/lib/coq/tactics/tactics.cma application/octet-stream root:root 0o644 3.0 MB
/usr/lib/coq/tactics/tactics.cmi application/octet-stream root:root 0o644 31.8 KB
/usr/lib/coq/tactics/tactics.cmxa application/octet-stream root:root 0o644 80.8 KB
/usr/lib/coq/tactics/term_dnet.cmi application/octet-stream root:root 0o644 3.0 KB