This file is indexed.

/usr/lib/coq/library/ 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/library/declare.cmi application/octet-stream root:root 0o644 6.0 KB
/usr/lib/coq/library/declaremods.cmi application/octet-stream root:root 0o644 7.1 KB
/usr/lib/coq/library/decls.cmi application/octet-stream root:root 0o644 2.9 KB
/usr/lib/coq/library/dischargedhypsmap.cmi application/octet-stream root:root 0o644 1.2 KB
/usr/lib/coq/library/global.cmi application/octet-stream root:root 0o644 9.6 KB
/usr/lib/coq/library/globnames.cmi application/octet-stream root:root 0o644 19.7 KB
/usr/lib/coq/library/goptions.cmi application/octet-stream root:root 0o644 9.3 KB
/usr/lib/coq/library/heads.cmi application/octet-stream root:root 0o644 1.8 KB
/usr/lib/coq/library/impargs.cmi application/octet-stream root:root 0o644 6.7 KB
/usr/lib/coq/library/keys.cmi application/octet-stream root:root 0o644 1.6 KB
/usr/lib/coq/library/kindops.cmi application/octet-stream root:root 0o644 558 bytes
/usr/lib/coq/library/lib.cmi application/octet-stream root:root 0o644 10.0 KB
/usr/lib/coq/library/libnames.cmi application/octet-stream root:root 0o644 16.6 KB
/usr/lib/coq/library/libobject.cmi application/octet-stream root:root 0o644 3.3 KB
/usr/lib/coq/library/library.a application/x-archive root:root 0o644 846.6 KB
/usr/lib/coq/library/library.cma application/octet-stream root:root 0o644 1.1 MB
/usr/lib/coq/library/library.cmi application/octet-stream root:root 0o644 4.0 KB
/usr/lib/coq/library/library.cmxa application/octet-stream root:root 0o644 34.4 KB
/usr/lib/coq/library/loadpath.cmi application/octet-stream root:root 0o644 2.1 KB
/usr/lib/coq/library/nameops.cmi application/octet-stream root:root 0o644 3.6 KB
/usr/lib/coq/library/nametab.cmi application/octet-stream root:root 0o644 6.0 KB
/usr/lib/coq/library/states.cmi application/octet-stream root:root 0o644 975 bytes
/usr/lib/coq/library/summary.cmi application/octet-stream root:root 0o644 2.3 KB
/usr/lib/coq/library/universes.cmi application/octet-stream root:root 0o644 14.4 KB