/usr/lib/coq/plugins/ is in libcoq-ocaml-dev 8.4pl4dfsg-3build2.
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.1 KB |
/usr/lib/coq/plugins/cc/ccalgo.cmi
|
application/octet-stream | root:root | 0o644 | 16.5 KB |
/usr/lib/coq/plugins/cc/ccproof.cmi
|
application/octet-stream | root:root | 0o644 | 2.7 KB |
/usr/lib/coq/plugins/cc/cctac.cmi
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/lib/coq/plugins/cc/g_congruence.cmi
|
application/octet-stream | root:root | 0o644 | 2.9 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.5 KB |
/usr/lib/coq/plugins/decl_mode/decl_interp.cmi
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/lib/coq/plugins/decl_mode/decl_mode.cmi
|
application/octet-stream | root:root | 0o644 | 4.8 KB |
/usr/lib/coq/plugins/decl_mode/decl_mode_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/plugins/decl_mode/decl_proof_instr.cmi
|
application/octet-stream | root:root | 0o644 | 8.7 KB |
/usr/lib/coq/plugins/decl_mode/g_decl_mode.cmi
|
application/octet-stream | root:root | 0o644 | 5.0 KB |
/usr/lib/coq/plugins/decl_mode/ppdecl_proof.cmi
|
application/octet-stream | root:root | 0o644 | 1.9 KB |
/usr/lib/coq/plugins/extraction/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/extraction/common.cmi
|
application/octet-stream | root:root | 0o644 | 4.6 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.1 KB |
/usr/lib/coq/plugins/extraction/g_extraction.cmi
|
application/octet-stream | root:root | 0o644 | 4.2 KB |
/usr/lib/coq/plugins/extraction/haskell.cmi
|
application/octet-stream | root:root | 0o644 | 1017 bytes |
/usr/lib/coq/plugins/extraction/miniml.cmi
|
application/octet-stream | root:root | 0o644 | 6.8 KB |
/usr/lib/coq/plugins/extraction/mlutil.cmi
|
application/octet-stream | root:root | 0o644 | 7.9 KB |
/usr/lib/coq/plugins/extraction/modutil.cmi
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/lib/coq/plugins/extraction/ocaml.cmi
|
application/octet-stream | root:root | 0o644 | 1011 bytes |
/usr/lib/coq/plugins/extraction/scheme.cmi
|
application/octet-stream | root:root | 0o644 | 1014 bytes |
/usr/lib/coq/plugins/extraction/table.cmi
|
application/octet-stream | root:root | 0o644 | 16.0 KB |
/usr/lib/coq/plugins/field/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/field/field.cmi
|
application/octet-stream | root:root | 0o644 | 10.2 KB |
/usr/lib/coq/plugins/field/field_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/plugins/firstorder/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/firstorder/formula.cmi
|
application/octet-stream | root:root | 0o644 | 5.2 KB |
/usr/lib/coq/plugins/firstorder/g_ground.cmi
|
application/octet-stream | root:root | 0o644 | 5.8 KB |
/usr/lib/coq/plugins/firstorder/ground.cmi
|
application/octet-stream | root:root | 0o644 | 2.7 KB |
/usr/lib/coq/plugins/firstorder/ground_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/plugins/firstorder/instances.cmi
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/lib/coq/plugins/firstorder/rules.cmi
|
application/octet-stream | root:root | 0o644 | 4.2 KB |
/usr/lib/coq/plugins/firstorder/sequent.cmi
|
application/octet-stream | root:root | 0o644 | 11.3 KB |
/usr/lib/coq/plugins/firstorder/unify.cmi
|
application/octet-stream | root:root | 0o644 | 1.6 KB |
/usr/lib/coq/plugins/fourier/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/fourier/fourier.cmi
|
application/octet-stream | root:root | 0o644 | 2.7 KB |
/usr/lib/coq/plugins/fourier/fourierR.cmi
|
application/octet-stream | root:root | 0o644 | 11.6 KB |
/usr/lib/coq/plugins/fourier/fourier_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/plugins/fourier/g_fourier.cmi
|
application/octet-stream | root:root | 0o644 | 3.6 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.6 KB |
/usr/lib/coq/plugins/funind/functional_principles_types.cmi
|
application/octet-stream | root:root | 0o644 | 3.2 KB |
/usr/lib/coq/plugins/funind/g_indfun.cmi
|
application/octet-stream | root:root | 0o644 | 13.3 KB |
/usr/lib/coq/plugins/funind/glob_term_to_relation.cmi
|
application/octet-stream | root:root | 0o644 | 1.9 KB |
/usr/lib/coq/plugins/funind/glob_termops.cmi
|
application/octet-stream | root:root | 0o644 | 6.9 KB |
/usr/lib/coq/plugins/funind/indfun.cmi
|
application/octet-stream | root:root | 0o644 | 3.1 KB |
/usr/lib/coq/plugins/funind/indfun_common.cmi
|
application/octet-stream | root:root | 0o644 | 6.8 KB |
/usr/lib/coq/plugins/funind/invfun.cmi
|
application/octet-stream | root:root | 0o644 | 8.2 KB |
/usr/lib/coq/plugins/funind/merge.cmi
|
application/octet-stream | root:root | 0o644 | 21.8 KB |
/usr/lib/coq/plugins/funind/recdef.cmi
|
application/octet-stream | root:root | 0o644 | 21.0 KB |
/usr/lib/coq/plugins/funind/recdef_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/plugins/micromega/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/micromega/certificate.cmi
|
application/octet-stream | root:root | 0o644 | 14.0 KB |
/usr/lib/coq/plugins/micromega/coq_micromega.cmi
|
application/octet-stream | root:root | 0o644 | 40.9 KB |
/usr/lib/coq/plugins/micromega/g_micromega.cmi
|
application/octet-stream | root:root | 0o644 | 4.4 KB |
/usr/lib/coq/plugins/micromega/mfourier.cmi
|
application/octet-stream | root:root | 0o644 | 20.1 KB |
/usr/lib/coq/plugins/micromega/micromega.cmi
|
application/octet-stream | root:root | 0o644 | 54.7 KB |
/usr/lib/coq/plugins/micromega/micromega_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/plugins/micromega/mutils.cmi
|
application/octet-stream | root:root | 0o644 | 8.8 KB |
/usr/lib/coq/plugins/micromega/persistent_cache.cmi
|
application/octet-stream | root:root | 0o644 | 1.7 KB |
/usr/lib/coq/plugins/micromega/polynomial.cmi
|
application/octet-stream | root:root | 0o644 | 16.3 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.6 KB |
/usr/lib/coq/plugins/nsatz/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/nsatz/ideal.cmi
|
application/octet-stream | root:root | 0o644 | 21.0 KB |
/usr/lib/coq/plugins/nsatz/nsatz.cmi
|
application/octet-stream | root:root | 0o644 | 32.1 KB |
/usr/lib/coq/plugins/nsatz/nsatz_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/plugins/nsatz/polynom.cmi
|
application/octet-stream | root:root | 0o644 | 14.9 KB |
/usr/lib/coq/plugins/nsatz/utile.cmi
|
application/octet-stream | root:root | 0o644 | 1.5 KB |
/usr/lib/coq/plugins/omega/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/omega/coq_omega.cmi
|
application/octet-stream | root:root | 0o644 | 40.2 KB |
/usr/lib/coq/plugins/omega/g_omega.cmi
|
application/octet-stream | root:root | 0o644 | 3.5 KB |
/usr/lib/coq/plugins/omega/omega.cmi
|
application/octet-stream | root:root | 0o644 | 11.9 KB |
/usr/lib/coq/plugins/omega/omega_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/plugins/quote/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/quote/g_quote.cmi
|
application/octet-stream | root:root | 0o644 | 3.1 KB |
/usr/lib/coq/plugins/quote/quote.cmi
|
application/octet-stream | root:root | 0o644 | 9.6 KB |
/usr/lib/coq/plugins/quote/quote_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/plugins/ring/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/ring/g_ring.cmi
|
application/octet-stream | root:root | 0o644 | 3.7 KB |
/usr/lib/coq/plugins/ring/ring.cmi
|
application/octet-stream | root:root | 0o644 | 23.0 KB |
/usr/lib/coq/plugins/ring/ring_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/plugins/romega/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/romega/const_omega.cmi
|
application/octet-stream | root:root | 0o644 | 11.5 KB |
/usr/lib/coq/plugins/romega/g_romega.cmi
|
application/octet-stream | root:root | 0o644 | 3.2 KB |
/usr/lib/coq/plugins/romega/refl_omega.cmi
|
application/octet-stream | root:root | 0o644 | 26.5 KB |
/usr/lib/coq/plugins/romega/romega_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/plugins/rtauto/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/rtauto/g_rtauto.cmi
|
application/octet-stream | root:root | 0o644 | 2.7 KB |
/usr/lib/coq/plugins/rtauto/proof_search.cmi
|
application/octet-stream | root:root | 0o644 | 1.8 KB |
/usr/lib/coq/plugins/rtauto/refl_tauto.cmi
|
application/octet-stream | root:root | 0o644 | 2.8 KB |
/usr/lib/coq/plugins/rtauto/rtauto_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/plugins/setoid_ring/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/setoid_ring/newring.cmi
|
application/octet-stream | root:root | 0o644 | 28.2 KB |
/usr/lib/coq/plugins/setoid_ring/newring_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/plugins/subtac/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/subtac/eterm.cmi
|
application/octet-stream | root:root | 0o644 | 3.7 KB |
/usr/lib/coq/plugins/subtac/g_subtac.cmi
|
application/octet-stream | root:root | 0o644 | 5.2 KB |
/usr/lib/coq/plugins/subtac/subtac.cmi
|
application/octet-stream | root:root | 0o644 | 2.3 KB |
/usr/lib/coq/plugins/subtac/subtac_cases.cmi
|
application/octet-stream | root:root | 0o644 | 1.6 KB |
/usr/lib/coq/plugins/subtac/subtac_classes.cmi
|
application/octet-stream | root:root | 0o644 | 3.2 KB |
/usr/lib/coq/plugins/subtac/subtac_coercion.cmi
|
application/octet-stream | root:root | 0o644 | 1.7 KB |
/usr/lib/coq/plugins/subtac/subtac_command.cmi
|
application/octet-stream | root:root | 0o644 | 5.4 KB |
/usr/lib/coq/plugins/subtac/subtac_errors.cmi
|
application/octet-stream | root:root | 0o644 | 1.7 KB |
/usr/lib/coq/plugins/subtac/subtac_obligations.cmi
|
application/octet-stream | root:root | 0o644 | 6.7 KB |
/usr/lib/coq/plugins/subtac/subtac_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/plugins/subtac/subtac_pretyping.cmi
|
application/octet-stream | root:root | 0o644 | 3.9 KB |
/usr/lib/coq/plugins/subtac/subtac_pretyping_F.cmi
|
application/octet-stream | root:root | 0o644 | 11.2 KB |
/usr/lib/coq/plugins/subtac/subtac_utils.cmi
|
application/octet-stream | root:root | 0o644 | 10.8 KB |
/usr/lib/coq/plugins/syntax/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/syntax/ascii_syntax.cmi
|
application/octet-stream | root:root | 0o644 | 3.6 KB |
/usr/lib/coq/plugins/syntax/ascii_syntax_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/plugins/syntax/nat_syntax.cmi
|
application/octet-stream | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/plugins/syntax/nat_syntax_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/plugins/syntax/numbers_syntax.cmi
|
application/octet-stream | root:root | 0o644 | 6.2 KB |
/usr/lib/coq/plugins/syntax/numbers_syntax_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/plugins/syntax/r_syntax.cmi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/coq/plugins/syntax/r_syntax_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/plugins/syntax/string_syntax.cmi
|
application/octet-stream | root:root | 0o644 | 3.1 KB |
/usr/lib/coq/plugins/syntax/string_syntax_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/plugins/syntax/z_syntax.cmi
|
application/octet-stream | root:root | 0o644 | 5.3 KB |
/usr/lib/coq/plugins/syntax/z_syntax_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/plugins/xml/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/xml/acic.cmi
|
application/octet-stream | root:root | 0o644 | 6.5 KB |
/usr/lib/coq/plugins/xml/acic2Xml.cmi
|
application/octet-stream | root:root | 0o644 | 3.8 KB |
/usr/lib/coq/plugins/xml/cic2Xml.cmi
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/xml/cic2acic.cmi
|
application/octet-stream | root:root | 0o644 | 8.1 KB |
/usr/lib/coq/plugins/xml/doubleTypeInference.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/xml/dumptree.cmi
|
application/octet-stream | root:root | 0o644 | 4.5 KB |
/usr/lib/coq/plugins/xml/proof2aproof.cmi
|
application/octet-stream | root:root | 0o644 | 3.9 KB |
/usr/lib/coq/plugins/xml/proofTree2Xml.cmi
|
application/octet-stream | root:root | 0o644 | 3.7 KB |
/usr/lib/coq/plugins/xml/unshare.cmi
|
application/octet-stream | root:root | 0o644 | 374 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.1 KB |
/usr/lib/coq/plugins/xml/xmlcommand.cmi
|
application/octet-stream | root:root | 0o644 | 2.6 KB |
/usr/lib/coq/plugins/xml/xmlentries.cmi
|
application/octet-stream | root:root | 0o644 | 3.1 KB |