This file is indexed.

/usr/lib/coq/lib/ 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/lib/bigint.cmi application/octet-stream root:root 0o644 1.7 KB
/usr/lib/coq/lib/compat.cmi application/octet-stream root:root 0o644 8.2 KB
/usr/lib/coq/lib/dnet.cmi application/octet-stream root:root 0o644 8.3 KB
/usr/lib/coq/lib/dyn.cmi application/octet-stream root:root 0o644 359 bytes
/usr/lib/coq/lib/envars.cmi application/octet-stream root:root 0o644 736 bytes
/usr/lib/coq/lib/errors.cmi application/octet-stream root:root 0o644 750 bytes
/usr/lib/coq/lib/explore.cmi application/octet-stream root:root 0o644 929 bytes
/usr/lib/coq/lib/flags.cmi application/octet-stream root:root 0o644 3.6 KB
/usr/lib/coq/lib/fmap.cmi application/octet-stream root:root 0o644 1.5 KB
/usr/lib/coq/lib/fset.cmi application/octet-stream root:root 0o644 1.7 KB
/usr/lib/coq/lib/gmap.cmi application/octet-stream root:root 0o644 1.4 KB
/usr/lib/coq/lib/gmapl.cmi application/octet-stream root:root 0o644 1.2 KB
/usr/lib/coq/lib/hashcons.cmi application/octet-stream root:root 0o644 2.6 KB
/usr/lib/coq/lib/hashtbl_alt.cmi application/octet-stream root:root 0o644 1.0 KB
/usr/lib/coq/lib/heap.cmi application/octet-stream root:root 0o644 1.3 KB
/usr/lib/coq/lib/lib.a application/x-archive root:root 0o644 1.1 MB
/usr/lib/coq/lib/lib.cma application/octet-stream root:root 0o644 260.4 KB
/usr/lib/coq/lib/lib.cmxa application/octet-stream root:root 0o644 13.7 KB
/usr/lib/coq/lib/option.cmi application/octet-stream root:root 0o644 2.9 KB
/usr/lib/coq/lib/pp.cmi application/octet-stream root:root 0o644 5.0 KB
/usr/lib/coq/lib/pp_control.cmi application/octet-stream root:root 0o644 1.4 KB
/usr/lib/coq/lib/predicate.cmi application/octet-stream root:root 0o644 2.5 KB
/usr/lib/coq/lib/profile.cmi application/octet-stream root:root 0o644 2.4 KB
/usr/lib/coq/lib/rtree.cmi application/octet-stream root:root 0o644 2.2 KB
/usr/lib/coq/lib/segmenttree.cmi application/octet-stream root:root 0o644 426 bytes
/usr/lib/coq/lib/store.cmi application/octet-stream root:root 0o644 600 bytes
/usr/lib/coq/lib/system.cmi application/octet-stream root:root 0o644 3.3 KB
/usr/lib/coq/lib/tries.cmi application/octet-stream root:root 0o644 1.2 KB
/usr/lib/coq/lib/unicodetable.cmi application/octet-stream root:root 0o644 2.4 KB
/usr/lib/coq/lib/unionfind.cmi application/octet-stream root:root 0o644 4.5 KB
/usr/lib/coq/lib/util.cmi application/octet-stream root:root 0o644 41.3 KB
/usr/lib/coq/lib/xml_lexer.cmi application/octet-stream root:root 0o644 1.1 KB
/usr/lib/coq/lib/xml_parser.cmi application/octet-stream root:root 0o644 1.8 KB
/usr/lib/coq/lib/xml_utils.cmi application/octet-stream root:root 0o644 1.4 KB
/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