This file is indexed.

/usr/lib/coq/library/ 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/library/assumptions.cmi application/octet-stream root:root 0o644 4.7 KB
/usr/lib/coq/library/decl_kinds.cmi application/octet-stream root:root 0o644 2.5 KB
/usr/lib/coq/library/declare.cmi application/octet-stream root:root 0o644 3.4 KB
/usr/lib/coq/library/declaremods.cmi application/octet-stream root:root 0o644 5.6 KB
/usr/lib/coq/library/decls.cmi application/octet-stream root:root 0o644 2.3 KB
/usr/lib/coq/library/dischargedhypsmap.cmi application/octet-stream root:root 0o644 1.4 KB
/usr/lib/coq/library/global.cmi application/octet-stream root:root 0o644 5.4 KB
/usr/lib/coq/library/goptions.cmi application/octet-stream root:root 0o644 7.8 KB
/usr/lib/coq/library/goptionstyp.cmi application/octet-stream root:root 0o644 583 bytes
/usr/lib/coq/library/heads.cmi application/octet-stream root:root 0o644 1.3 KB
/usr/lib/coq/library/impargs.cmi application/octet-stream root:root 0o644 6.2 KB
/usr/lib/coq/library/lib.cmi application/octet-stream root:root 0o644 9.6 KB
/usr/lib/coq/library/libnames.cmi application/octet-stream root:root 0o644 21.4 KB
/usr/lib/coq/library/libobject.cmi application/octet-stream root:root 0o644 2.9 KB
/usr/lib/coq/library/library.a application/x-archive root:root 0o644 628.4 KB
/usr/lib/coq/library/library.cma application/octet-stream root:root 0o644 145.8 KB
/usr/lib/coq/library/library.cmi application/octet-stream root:root 0o644 3.6 KB
/usr/lib/coq/library/library.cmxa application/octet-stream root:root 0o644 22.1 KB
/usr/lib/coq/library/nameops.cmi application/octet-stream root:root 0o644 3.0 KB
/usr/lib/coq/library/nametab.cmi application/octet-stream root:root 0o644 5.3 KB
/usr/lib/coq/library/states.cmi application/octet-stream root:root 0o644 695 bytes
/usr/lib/coq/library/summary.cmi application/octet-stream root:root 0o644 741 bytes