This file is indexed.

/usr/lib/coq/ is in libcoq-ocaml 8.4pl4dfsg-1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/lib/coq/plugins/ root:root 0o755
/usr/lib/coq/plugins/cc/ root:root 0o755
/usr/lib/coq/plugins/cc/cc_plugin.cma application/octet-stream root:root 0o644 65.6 KB
/usr/lib/coq/plugins/cc/cc_plugin.cmxs application/x-sharedlib root:root 0o644 196.2 KB
/usr/lib/coq/plugins/decl_mode/ root:root 0o755
/usr/lib/coq/plugins/decl_mode/decl_mode_plugin.cma application/octet-stream root:root 0o644 119.6 KB
/usr/lib/coq/plugins/decl_mode/decl_mode_plugin.cmxs application/x-sharedlib root:root 0o644 413.8 KB
/usr/lib/coq/plugins/extraction/ root:root 0o755
/usr/lib/coq/plugins/extraction/extraction_plugin.cma application/octet-stream root:root 0o644 268.6 KB
/usr/lib/coq/plugins/extraction/extraction_plugin.cmxs application/x-sharedlib root:root 0o644 817.2 KB
/usr/lib/coq/plugins/field/ root:root 0o755
/usr/lib/coq/plugins/field/field_plugin.cma application/octet-stream root:root 0o644 22.6 KB
/usr/lib/coq/plugins/field/field_plugin.cmxs application/x-sharedlib root:root 0o644 77.2 KB
/usr/lib/coq/plugins/firstorder/ root:root 0o755
/usr/lib/coq/plugins/firstorder/ground_plugin.cma application/octet-stream root:root 0o644 70.0 KB
/usr/lib/coq/plugins/firstorder/ground_plugin.cmxs application/x-sharedlib root:root 0o644 215.9 KB
/usr/lib/coq/plugins/fourier/ root:root 0o755
/usr/lib/coq/plugins/fourier/fourier_plugin.cma application/octet-stream root:root 0o644 35.7 KB
/usr/lib/coq/plugins/fourier/fourier_plugin.cmxs application/x-sharedlib root:root 0o644 117.5 KB
/usr/lib/coq/plugins/funind/ root:root 0o755
/usr/lib/coq/plugins/funind/recdef_plugin.cma application/octet-stream root:root 0o644 364.5 KB
/usr/lib/coq/plugins/funind/recdef_plugin.cmxs application/x-sharedlib root:root 0o644 1.1 MB
/usr/lib/coq/plugins/micromega/ root:root 0o755
/usr/lib/coq/plugins/micromega/micromega_plugin.cma application/octet-stream root:root 0o644 279.0 KB
/usr/lib/coq/plugins/micromega/micromega_plugin.cmxs application/x-sharedlib root:root 0o644 897.0 KB
/usr/lib/coq/plugins/nsatz/ root:root 0o755
/usr/lib/coq/plugins/nsatz/nsatz_plugin.cma application/octet-stream root:root 0o644 77.5 KB
/usr/lib/coq/plugins/nsatz/nsatz_plugin.cmxs application/x-sharedlib root:root 0o644 261.1 KB
/usr/lib/coq/plugins/omega/ root:root 0o755
/usr/lib/coq/plugins/omega/omega_plugin.cma application/octet-stream root:root 0o644 147.6 KB
/usr/lib/coq/plugins/omega/omega_plugin.cmxs application/x-sharedlib root:root 0o644 476.7 KB
/usr/lib/coq/plugins/quote/ root:root 0o755
/usr/lib/coq/plugins/quote/quote_plugin.cma application/octet-stream root:root 0o644 22.6 KB
/usr/lib/coq/plugins/quote/quote_plugin.cmxs application/x-sharedlib root:root 0o644 71.7 KB
/usr/lib/coq/plugins/ring/ root:root 0o755
/usr/lib/coq/plugins/ring/ring_plugin.cma application/octet-stream root:root 0o644 62.4 KB
/usr/lib/coq/plugins/ring/ring_plugin.cmxs application/x-sharedlib root:root 0o644 196.8 KB
/usr/lib/coq/plugins/romega/ root:root 0o755
/usr/lib/coq/plugins/romega/romega_plugin.cma application/octet-stream root:root 0o644 84.5 KB
/usr/lib/coq/plugins/romega/romega_plugin.cmxs application/x-sharedlib root:root 0o644 250.7 KB
/usr/lib/coq/plugins/rtauto/ root:root 0o755
/usr/lib/coq/plugins/rtauto/rtauto_plugin.cma application/octet-stream root:root 0o644 38.3 KB
/usr/lib/coq/plugins/rtauto/rtauto_plugin.cmxs application/x-sharedlib root:root 0o644 118.6 KB
/usr/lib/coq/plugins/setoid_ring/ root:root 0o755
/usr/lib/coq/plugins/setoid_ring/newring_plugin.cma application/octet-stream root:root 0o644 73.3 KB
/usr/lib/coq/plugins/setoid_ring/newring_plugin.cmxs application/x-sharedlib root:root 0o644 233.5 KB
/usr/lib/coq/plugins/subtac/ root:root 0o755
/usr/lib/coq/plugins/subtac/subtac_plugin.cma application/octet-stream root:root 0o644 255.1 KB
/usr/lib/coq/plugins/subtac/subtac_plugin.cmxs application/x-sharedlib root:root 0o644 775.5 KB
/usr/lib/coq/plugins/syntax/ root:root 0o755
/usr/lib/coq/plugins/syntax/ascii_syntax_plugin.cma application/octet-stream root:root 0o644 7.4 KB
/usr/lib/coq/plugins/syntax/ascii_syntax_plugin.cmxs application/x-sharedlib root:root 0o644 21.7 KB
/usr/lib/coq/plugins/syntax/nat_syntax_plugin.cma application/octet-stream root:root 0o644 6.1 KB
/usr/lib/coq/plugins/syntax/nat_syntax_plugin.cmxs application/x-sharedlib root:root 0o644 17.2 KB
/usr/lib/coq/plugins/syntax/numbers_syntax_plugin.cma application/octet-stream root:root 0o644 13.3 KB
/usr/lib/coq/plugins/syntax/numbers_syntax_plugin.cmxs application/x-sharedlib root:root 0o644 45.0 KB
/usr/lib/coq/plugins/syntax/r_syntax_plugin.cma application/octet-stream root:root 0o644 9.4 KB
/usr/lib/coq/plugins/syntax/r_syntax_plugin.cmxs application/x-sharedlib root:root 0o644 25.2 KB
/usr/lib/coq/plugins/syntax/string_syntax_plugin.cma application/octet-stream root:root 0o644 6.7 KB
/usr/lib/coq/plugins/syntax/string_syntax_plugin.cmxs application/x-sharedlib root:root 0o644 20.3 KB
/usr/lib/coq/plugins/syntax/z_syntax_plugin.cma application/octet-stream root:root 0o644 9.5 KB
/usr/lib/coq/plugins/syntax/z_syntax_plugin.cmxs application/x-sharedlib root:root 0o644 29.7 KB
/usr/lib/coq/plugins/xml/ root:root 0o755
/usr/lib/coq/plugins/xml/xml_plugin.cma application/octet-stream root:root 0o644 116.4 KB
/usr/lib/coq/plugins/xml/xml_plugin.cmxs application/x-sharedlib root:root 0o644 397.6 KB