Package - libcoq-serapi-ocaml

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

Primary informations

Download package: http://deb.debian.org/debian/pool/main/c/coq-serapi/libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_amd64.deb (Size: 6.1MiB)

PropertyValue
Packagelibcoq-serapi-ocaml
Sourcecoq-serapi (8.20.0+0.20.0-1)
Version8.20.0+0.20.0-1+b4
Installed-Size19176
MaintainerDebian OCaml Maintainers
Architectureamd64
Provideslibcoq-serapi-ocaml-8gli6
Dependslibcoq-ocaml
Descriptioninteraction with Coq (runtime)
Description-md5c148f8301764728b9525ace844664a4f
Homepagehttps://github.com/ejgallego/coq-serapi
Sectionocaml
Priorityoptional
Filenamepool/main/c/coq-serapi/libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_amd64.deb
Size6398840
MD5sum5b6e79d9e47774391f83303f66fe0c9f
SHA2566c005f398fee70bc9533475da316eec294bee6771d46008b6e3472376b3e57c5

Files in package

  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/META
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/coq/coq.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/coq/coq.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/dune-package
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/opam
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serapi_v8_14/serapi.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serapi_v8_14/serapi.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/btauto/serlib_btauto.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/btauto/serlib_btauto.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/cc/serlib_cc.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/cc/serlib_cc.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/extraction/serlib_extraction.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/extraction/serlib_extraction.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/firstorder/serlib_firstorder.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/firstorder/serlib_firstorder.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/funind/serlib_funind.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/funind/serlib_funind.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/ltac/serlib_ltac.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/ltac/serlib_ltac.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/ltac2/serlib_ltac2.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/ltac2/serlib_ltac2.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/micromega/serlib_micromega.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/micromega/serlib_micromega.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/micromega_core/serlib_micromega_core.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/micromega_core/serlib_micromega_core.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/number_string_notation/serlib_number_string_notation_plugin.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/number_string_notation/serlib_number_string_notation_plugin.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/ring/serlib_ring.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/ring/serlib_ring.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/serlib.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/serlib.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/ssreflect/serlib_ssr.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/ssreflect/serlib_ssr.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/ssrmatching/serlib_ssrmatching.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/ssrmatching/serlib_ssrmatching.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/tauto/serlib_tauto.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/tauto/serlib_tauto.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/zify/serlib_zify.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib/zify/serlib_zify.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib_extra/serlib_extra.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/serlib_extra/serlib_extra.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/sertop_v8_12/sertop.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-serapi/sertop_v8_12/sertop.cmxs
  • /usr/share/doc/libcoq-serapi-ocaml/README.md.gz
  • /usr/share/doc/libcoq-serapi-ocaml/changelog.Debian.amd64.gz
  • /usr/share/doc/libcoq-serapi-ocaml/changelog.Debian.gz
  • /usr/share/doc/libcoq-serapi-ocaml/changelog.gz
  • /usr/share/doc/libcoq-serapi-ocaml/copyright