This file is indexed.

/usr/lib/coq/plugins/ 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/cc/ root:root 0o755
/usr/lib/coq/plugins/cc/cc_plugin_mod.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/coq/plugins/cc/ccalgo.cmi application/octet-stream root:root 0o644 16.1 KB
/usr/lib/coq/plugins/cc/ccproof.cmi application/octet-stream root:root 0o644 2.6 KB
/usr/lib/coq/plugins/cc/cctac.cmi application/octet-stream root:root 0o644 2.3 KB
/usr/lib/coq/plugins/cc/g_congruence.cmi application/octet-stream root:root 0o644 2.8 KB
/usr/lib/coq/plugins/decl_mode/ root:root 0o755
/usr/lib/coq/plugins/decl_mode/decl_expr.cmi application/octet-stream root:root 0o644 5.2 KB
/usr/lib/coq/plugins/decl_mode/decl_interp.cmi application/octet-stream root:root 0o644 2.8 KB
/usr/lib/coq/plugins/decl_mode/decl_mode.cmi application/octet-stream root:root 0o644 4.6 KB
/usr/lib/coq/plugins/decl_mode/decl_mode_plugin_mod.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/coq/plugins/decl_mode/decl_proof_instr.cmi application/octet-stream root:root 0o644 8.6 KB
/usr/lib/coq/plugins/decl_mode/g_decl_mode.cmi application/octet-stream root:root 0o644 4.8 KB
/usr/lib/coq/plugins/decl_mode/ppdecl_proof.cmi application/octet-stream root:root 0o644 1.8 KB
/usr/lib/coq/plugins/extraction/ root:root 0o755
/usr/lib/coq/plugins/extraction/common.cmi application/octet-stream root:root 0o644 4.5 KB
/usr/lib/coq/plugins/extraction/extract_env.cmi application/octet-stream root:root 0o644 1.7 KB
/usr/lib/coq/plugins/extraction/extraction.cmi application/octet-stream root:root 0o644 2.2 KB
/usr/lib/coq/plugins/extraction/extraction_plugin_mod.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/coq/plugins/extraction/g_extraction.cmi application/octet-stream root:root 0o644 4.0 KB
/usr/lib/coq/plugins/extraction/haskell.cmi application/octet-stream root:root 0o644 941 bytes
/usr/lib/coq/plugins/extraction/miniml.cmi application/octet-stream root:root 0o644 6.4 KB
/usr/lib/coq/plugins/extraction/mlutil.cmi application/octet-stream root:root 0o644 7.7 KB
/usr/lib/coq/plugins/extraction/modutil.cmi application/octet-stream root:root 0o644 2.3 KB
/usr/lib/coq/plugins/extraction/ocaml.cmi application/octet-stream root:root 0o644 935 bytes
/usr/lib/coq/plugins/extraction/scheme.cmi application/octet-stream root:root 0o644 938 bytes
/usr/lib/coq/plugins/extraction/table.cmi application/octet-stream root:root 0o644 15.6 KB
/usr/lib/coq/plugins/field/ root:root 0o755
/usr/lib/coq/plugins/field/field.cmi application/octet-stream root:root 0o644 10.0 KB
/usr/lib/coq/plugins/field/field_plugin_mod.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/coq/plugins/firstorder/ root:root 0o755
/usr/lib/coq/plugins/firstorder/formula.cmi application/octet-stream root:root 0o644 5.0 KB
/usr/lib/coq/plugins/firstorder/g_ground.cmi application/octet-stream root:root 0o644 5.6 KB
/usr/lib/coq/plugins/firstorder/ground.cmi application/octet-stream root:root 0o644 2.5 KB
/usr/lib/coq/plugins/firstorder/ground_plugin_mod.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/coq/plugins/firstorder/instances.cmi application/octet-stream root:root 0o644 2.9 KB
/usr/lib/coq/plugins/firstorder/rules.cmi application/octet-stream root:root 0o644 4.1 KB
/usr/lib/coq/plugins/firstorder/sequent.cmi application/octet-stream root:root 0o644 10.9 KB
/usr/lib/coq/plugins/firstorder/unify.cmi application/octet-stream root:root 0o644 1.5 KB
/usr/lib/coq/plugins/fourier/ root:root 0o755
/usr/lib/coq/plugins/fourier/fourier.cmi application/octet-stream root:root 0o644 2.6 KB
/usr/lib/coq/plugins/fourier/fourierR.cmi application/octet-stream root:root 0o644 11.3 KB
/usr/lib/coq/plugins/fourier/fourier_plugin_mod.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/coq/plugins/fourier/g_fourier.cmi application/octet-stream root:root 0o644 3.4 KB
/usr/lib/coq/plugins/funind/ root:root 0o755
/usr/lib/coq/plugins/funind/functional_principles_proofs.cmi application/octet-stream root:root 0o644 2.5 KB
/usr/lib/coq/plugins/funind/functional_principles_types.cmi application/octet-stream root:root 0o644 3.1 KB
/usr/lib/coq/plugins/funind/g_indfun.cmi application/octet-stream root:root 0o644 18.7 KB
/usr/lib/coq/plugins/funind/glob_term_to_relation.cmi application/octet-stream root:root 0o644 1.8 KB
/usr/lib/coq/plugins/funind/glob_termops.cmi application/octet-stream root:root 0o644 6.8 KB
/usr/lib/coq/plugins/funind/indfun.cmi application/octet-stream root:root 0o644 3.0 KB
/usr/lib/coq/plugins/funind/indfun_common.cmi application/octet-stream root:root 0o644 6.6 KB
/usr/lib/coq/plugins/funind/invfun.cmi application/octet-stream root:root 0o644 8.1 KB
/usr/lib/coq/plugins/funind/merge.cmi application/octet-stream root:root 0o644 21.3 KB
/usr/lib/coq/plugins/funind/recdef.cmi application/octet-stream root:root 0o644 20.7 KB
/usr/lib/coq/plugins/funind/recdef_plugin_mod.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/coq/plugins/micromega/ root:root 0o755
/usr/lib/coq/plugins/micromega/certificate.cmi application/octet-stream root:root 0o644 68.9 KB
/usr/lib/coq/plugins/micromega/coq_micromega.cmi application/octet-stream root:root 0o644 94.1 KB
/usr/lib/coq/plugins/micromega/g_micromega.cmi application/octet-stream root:root 0o644 4.2 KB
/usr/lib/coq/plugins/micromega/mfourier.cmi application/octet-stream root:root 0o644 30.5 KB
/usr/lib/coq/plugins/micromega/micromega.cmi application/octet-stream root:root 0o644 53.7 KB
/usr/lib/coq/plugins/micromega/micromega_plugin_mod.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/coq/plugins/micromega/mutils.cmi application/octet-stream root:root 0o644 8.6 KB
/usr/lib/coq/plugins/micromega/persistent_cache.cmi application/octet-stream root:root 0o644 1.6 KB
/usr/lib/coq/plugins/micromega/polynomial.cmi application/octet-stream root:root 0o644 24.4 KB
/usr/lib/coq/plugins/micromega/sos.cmi application/octet-stream root:root 0o644 1.7 KB
/usr/lib/coq/plugins/micromega/sos_types.cmi application/octet-stream root:root 0o644 1.5 KB
/usr/lib/coq/plugins/nsatz/ root:root 0o755
/usr/lib/coq/plugins/nsatz/ideal.cmi application/octet-stream root:root 0o644 20.7 KB
/usr/lib/coq/plugins/nsatz/nsatz.cmi application/octet-stream root:root 0o644 33.3 KB
/usr/lib/coq/plugins/nsatz/nsatz_plugin_mod.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/coq/plugins/nsatz/polynom.cmi application/octet-stream root:root 0o644 14.6 KB
/usr/lib/coq/plugins/nsatz/utile.cmi application/octet-stream root:root 0o644 1.4 KB
/usr/lib/coq/plugins/omega/ root:root 0o755
/usr/lib/coq/plugins/omega/coq_omega.cmi application/octet-stream root:root 0o644 38.8 KB
/usr/lib/coq/plugins/omega/g_omega.cmi application/octet-stream root:root 0o644 3.3 KB
/usr/lib/coq/plugins/omega/omega.cmi application/octet-stream root:root 0o644 11.6 KB
/usr/lib/coq/plugins/omega/omega_plugin_mod.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/coq/plugins/quote/ root:root 0o755
/usr/lib/coq/plugins/quote/g_quote.cmi application/octet-stream root:root 0o644 3.0 KB
/usr/lib/coq/plugins/quote/quote.cmi application/octet-stream root:root 0o644 9.3 KB
/usr/lib/coq/plugins/quote/quote_plugin_mod.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/coq/plugins/ring/ root:root 0o755
/usr/lib/coq/plugins/ring/g_ring.cmi application/octet-stream root:root 0o644 3.5 KB
/usr/lib/coq/plugins/ring/ring.cmi application/octet-stream root:root 0o644 22.4 KB
/usr/lib/coq/plugins/ring/ring_plugin_mod.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/coq/plugins/romega/ root:root 0o755
/usr/lib/coq/plugins/romega/const_omega.cmi application/octet-stream root:root 0o644 11.2 KB
/usr/lib/coq/plugins/romega/g_romega.cmi application/octet-stream root:root 0o644 3.0 KB
/usr/lib/coq/plugins/romega/refl_omega.cmi application/octet-stream root:root 0o644 25.8 KB
/usr/lib/coq/plugins/romega/romega_plugin_mod.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/coq/plugins/rtauto/ root:root 0o755
/usr/lib/coq/plugins/rtauto/g_rtauto.cmi application/octet-stream root:root 0o644 2.6 KB
/usr/lib/coq/plugins/rtauto/proof_search.cmi application/octet-stream root:root 0o644 1.7 KB
/usr/lib/coq/plugins/rtauto/refl_tauto.cmi application/octet-stream root:root 0o644 2.7 KB
/usr/lib/coq/plugins/rtauto/rtauto_plugin_mod.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/coq/plugins/setoid_ring/ root:root 0o755
/usr/lib/coq/plugins/setoid_ring/newring.cmi application/octet-stream root:root 0o644 27.6 KB
/usr/lib/coq/plugins/setoid_ring/newring_plugin_mod.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/coq/plugins/subtac/ root:root 0o755
/usr/lib/coq/plugins/subtac/eterm.cmi application/octet-stream root:root 0o644 3.6 KB
/usr/lib/coq/plugins/subtac/g_subtac.cmi application/octet-stream root:root 0o644 10.5 KB
/usr/lib/coq/plugins/subtac/subtac.cmi application/octet-stream root:root 0o644 2.2 KB
/usr/lib/coq/plugins/subtac/subtac_cases.cmi application/octet-stream root:root 0o644 1.5 KB
/usr/lib/coq/plugins/subtac/subtac_classes.cmi application/octet-stream root:root 0o644 3.1 KB
/usr/lib/coq/plugins/subtac/subtac_coercion.cmi application/octet-stream root:root 0o644 1.6 KB
/usr/lib/coq/plugins/subtac/subtac_command.cmi application/octet-stream root:root 0o644 5.2 KB
/usr/lib/coq/plugins/subtac/subtac_errors.cmi application/octet-stream root:root 0o644 1.6 KB
/usr/lib/coq/plugins/subtac/subtac_obligations.cmi application/octet-stream root:root 0o644 6.6 KB
/usr/lib/coq/plugins/subtac/subtac_plugin_mod.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/coq/plugins/subtac/subtac_pretyping.cmi application/octet-stream root:root 0o644 3.7 KB
/usr/lib/coq/plugins/subtac/subtac_pretyping_F.cmi application/octet-stream root:root 0o644 11.1 KB
/usr/lib/coq/plugins/subtac/subtac_utils.cmi application/octet-stream root:root 0o644 10.6 KB
/usr/lib/coq/plugins/syntax/ root:root 0o755
/usr/lib/coq/plugins/syntax/ascii_syntax.cmi application/octet-stream root:root 0o644 3.4 KB
/usr/lib/coq/plugins/syntax/ascii_syntax_plugin_mod.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/coq/plugins/syntax/nat_syntax.cmi application/octet-stream root:root 0o644 2.4 KB
/usr/lib/coq/plugins/syntax/nat_syntax_plugin_mod.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/coq/plugins/syntax/numbers_syntax.cmi application/octet-stream root:root 0o644 6.0 KB
/usr/lib/coq/plugins/syntax/numbers_syntax_plugin_mod.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/coq/plugins/syntax/r_syntax.cmi application/octet-stream root:root 0o644 3.3 KB
/usr/lib/coq/plugins/syntax/r_syntax_plugin_mod.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/coq/plugins/syntax/string_syntax.cmi application/octet-stream root:root 0o644 2.9 KB
/usr/lib/coq/plugins/syntax/string_syntax_plugin_mod.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/coq/plugins/syntax/z_syntax.cmi application/octet-stream root:root 0o644 5.1 KB
/usr/lib/coq/plugins/syntax/z_syntax_plugin_mod.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/coq/plugins/xml/ root:root 0o755
/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