Package - libcoq-core-ocaml

Package:  libcoq-core-ocaml
apt-get install libcoq-core-ocaml
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/c/coq/libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb (Size: 24.8MiB)

PropertyValue
Packagelibcoq-core-ocaml
Sourcecoq (8.20.1+dfsg-1)
Version8.20.1+dfsg-1+b1
Installed-Size59789
MaintainerDebian OCaml Maintainers
Architectureamd64
Replacescoq-libs, libcoq-ocaml
Provideslibcoq-core-ocaml-29kh7, libcoq-ocaml (= 8.20.1+dfsg-1+b1)
Dependslibfindlib-ocaml-8k3o3, libstdlib-ocaml-m4xw9, libzarith-ocaml-h79v1, ocaml-base-5.3.0, libc6 (>= 2.3)
Suggestsocaml-findlib
Breakscoq-libs, libcoq-ocaml
Descriptionruntime libraries for Coq
Description-md56f9fa9509e05b95dc040fa6f750867c3
Homepagehttp://coq.inria.fr/
Sectionocaml
Priorityoptional
Filenamepool/main/c/coq/libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb
Size25955760
MD5sum5c5aa3bc4e3696a33fb08b37b8bcd17e
SHA256be775bcab75906dcaafb3f4f08f227eda2bb3b4329fb1650977b339f066afa84

Files in package

  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/META
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/boot/boot.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/boot/boot.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/checklib/coq_checklib.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/checklib/coq_checklib.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/clib/clib.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/clib/clib.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/config/byte/byte_config.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/config/config.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/config/config.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/coqworkmgrapi/coqworkmgrlib.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/coqworkmgrapi/coqworkmgrlib.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/debugger_support/debugger_support.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/debugger_support/debugger_support.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/dev/dev.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/dev/dev.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/dev/ml_toplevel/include
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/dev/ml_toplevel/include_directories
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/dev/ml_toplevel/include_printers
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/dev/ml_toplevel/include_utilities
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/engine/engine.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/engine/engine.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/gramlib/gramlib.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/gramlib/gramlib.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/interp/interp.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/interp/interp.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/kernel/kernel.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/kernel/kernel.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/lib/lib.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/lib/lib.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/library/library.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/library/library.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/parsing/parsing.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/parsing/parsing.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/perf/coqperf.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/perf/coqperf.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/btauto/btauto_plugin.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/btauto/btauto_plugin.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/cc/cc_plugin.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/cc/cc_plugin.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/derive/derive_plugin.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/derive/derive_plugin.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/extraction/extraction_plugin.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/extraction/extraction_plugin.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/firstorder/firstorder_plugin.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/firstorder/firstorder_plugin.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/funind/funind_plugin.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/funind/funind_plugin.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/ltac/ltac_plugin.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/ltac/ltac_plugin.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/ltac2/ltac2_plugin.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/ltac2/ltac2_plugin.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/ltac2_ltac1/ltac2_ltac1_plugin.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/ltac2_ltac1/ltac2_ltac1_plugin.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/micromega/micromega_plugin.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/micromega/micromega_plugin.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/micromega_core/micromega_core_plugin.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/micromega_core/micromega_core_plugin.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/nsatz/nsatz_plugin.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/nsatz/nsatz_plugin.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/number_string_notation/number_string_notation_plugin.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/number_string_notation/number_string_notation_plugin.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/ring/ring_plugin.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/ring/ring_plugin.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/rtauto/rtauto_plugin.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/rtauto/rtauto_plugin.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/ssreflect/ssreflect_plugin.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/ssreflect/ssreflect_plugin.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/ssrmatching/ssrmatching_plugin.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/ssrmatching/ssrmatching_plugin.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/tauto/tauto_plugin.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/tauto/tauto_plugin.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/zify/zify_plugin.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/plugins/zify/zify_plugin.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/pretyping/pretyping.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/pretyping/pretyping.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/printing/printing.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/printing/printing.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/proofs/proofs.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/proofs/proofs.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/stm/stm.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/stm/stm.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/sysinit/sysinit.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/sysinit/sysinit.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/tactics/tactics.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/tactics/tactics.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/toplevel/toplevel.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/toplevel/toplevel.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/vernac/vernac.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/vernac/vernac.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/vm/coqrun.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/vm/coqrun.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/stublibs/dllcoqperf_stubs.so
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/stublibs/dllcoqrun_stubs.so
  • /usr/share/doc/libcoq-core-ocaml/changelog.Debian.amd64.gz
  • /usr/share/doc/libcoq-core-ocaml/changelog.Debian.gz
  • /usr/share/doc/libcoq-core-ocaml/copyright