This file is indexed.

/usr/lib/coq/ide/utils/ 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/ide/utils/config_file.cmi application/octet-stream root:root 0o644 55.3 KB
/usr/lib/coq/ide/utils/configwin.cmi application/octet-stream root:root 0o644 12.8 KB
/usr/lib/coq/ide/utils/configwin_ihm.cmi application/octet-stream root:root 0o644 76.1 KB
/usr/lib/coq/ide/utils/configwin_keys.cmi application/octet-stream root:root 0o644 54.0 KB
/usr/lib/coq/ide/utils/configwin_messages.cmi application/octet-stream root:root 0o644 834 bytes
/usr/lib/coq/ide/utils/configwin_types.cmi application/octet-stream root:root 0o644 14.1 KB
/usr/lib/coq/ide/utils/editable_cells.cmi application/octet-stream root:root 0o644 1.4 KB
/usr/lib/coq/ide/utils/okey.cmi application/octet-stream root:root 0o644 3.9 KB