This file is indexed.

/usr/lib/coq/plugins/xml/ 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/plugins/xml/acic.cmi application/octet-stream root:root 0o644 6.3 KB
/usr/lib/coq/plugins/xml/acic2Xml.cmi application/octet-stream root:root 0o644 3.6 KB
/usr/lib/coq/plugins/xml/cic2Xml.cmi application/octet-stream root:root 0o644 3.2 KB
/usr/lib/coq/plugins/xml/cic2acic.cmi application/octet-stream root:root 0o644 27.8 KB
/usr/lib/coq/plugins/xml/doubleTypeInference.cmi application/octet-stream root:root 0o644 1.9 KB
/usr/lib/coq/plugins/xml/dumptree.cmi application/octet-stream root:root 0o644 4.3 KB
/usr/lib/coq/plugins/xml/proof2aproof.cmi application/octet-stream root:root 0o644 3.7 KB
/usr/lib/coq/plugins/xml/proofTree2Xml.cmi application/octet-stream root:root 0o644 3.6 KB
/usr/lib/coq/plugins/xml/unshare.cmi application/octet-stream root:root 0o644 313 bytes
/usr/lib/coq/plugins/xml/xml.cmi application/octet-stream root:root 0o644 1.2 KB
/usr/lib/coq/plugins/xml/xml_plugin_mod.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/coq/plugins/xml/xmlcommand.cmi application/octet-stream root:root 0o644 2.5 KB
/usr/lib/coq/plugins/xml/xmlentries.cmi application/octet-stream root:root 0o644 2.9 KB