This file is indexed.

/usr/lib/coq/toplevel/ is in libcoq-ocaml-dev 8.6-5build1.

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

File Mime Type Owner Mode Size
..
/usr/lib/coq/toplevel/assumptions.cmi application/octet-stream root:root 0o644 3.4 KB
/usr/lib/coq/toplevel/auto_ind_decl.cmi application/octet-stream root:root 0o644 3.1 KB
/usr/lib/coq/toplevel/class.cmi application/octet-stream root:root 0o644 4.7 KB
/usr/lib/coq/toplevel/classes.cmi application/octet-stream root:root 0o644 5.5 KB
/usr/lib/coq/toplevel/command.cmi application/octet-stream root:root 0o644 12.2 KB
/usr/lib/coq/toplevel/coqinit.cmi application/octet-stream root:root 0o644 1.6 KB
/usr/lib/coq/toplevel/coqloop.cmi application/octet-stream root:root 0o644 3.8 KB
/usr/lib/coq/toplevel/coqtop.cmi application/octet-stream root:root 0o644 576 bytes
/usr/lib/coq/toplevel/discharge.cmi application/octet-stream root:root 0o644 1.8 KB
/usr/lib/coq/toplevel/explainErr.cmi application/octet-stream root:root 0o644 1.4 KB
/usr/lib/coq/toplevel/himsg.cmi application/octet-stream root:root 0o644 4.5 KB
/usr/lib/coq/toplevel/ind_tables.cmi application/octet-stream root:root 0o644 4.2 KB
/usr/lib/coq/toplevel/indschemes.cmi application/octet-stream root:root 0o644 4.3 KB
/usr/lib/coq/toplevel/locality.cmi application/octet-stream root:root 0o644 1.4 KB
/usr/lib/coq/toplevel/metasyntax.cmi application/octet-stream root:root 0o644 5.4 KB
/usr/lib/coq/toplevel/mltop.cmi application/octet-stream root:root 0o644 5.4 KB
/usr/lib/coq/toplevel/obligations.cmi application/octet-stream root:root 0o644 10.5 KB
/usr/lib/coq/toplevel/record.cmi application/octet-stream root:root 0o644 5.2 KB
/usr/lib/coq/toplevel/search.cmi application/octet-stream root:root 0o644 4.2 KB
/usr/lib/coq/toplevel/toplevel.a application/x-archive root:root 0o644 2.4 MB
/usr/lib/coq/toplevel/toplevel.cma application/octet-stream root:root 0o644 2.4 MB
/usr/lib/coq/toplevel/toplevel.cmxa application/octet-stream root:root 0o644 94.6 KB
/usr/lib/coq/toplevel/usage.cmi application/octet-stream root:root 0o644 709 bytes
/usr/lib/coq/toplevel/vernac.cmi application/octet-stream root:root 0o644 4.1 KB
/usr/lib/coq/toplevel/vernacentries.cmi application/octet-stream root:root 0o644 5.2 KB
/usr/lib/coq/toplevel/vernacinterp.cmi application/octet-stream root:root 0o644 3.9 KB