Package - libmulticore-magic-dscheck-ocaml-dev

Package:  libmulticore-magic-dscheck-ocaml-dev
apt-get install libmulticore-magic-dscheck-ocaml-dev
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/o/ocaml-multicore-magic/libmulticore-magic-dscheck-ocaml-dev_2.3.1-2+b1_amd64.deb (Size: 40.4KiB)

PropertyValue
Packagelibmulticore-magic-dscheck-ocaml-dev
Sourceocaml-multicore-magic (2.3.1-2)
Version2.3.1-2+b1
Installed-Size118
MaintainerDebian OCaml Maintainers
Architectureamd64
Provideslibmulticore-magic-dscheck-ocaml-dev-wj4f2
Dependslibdscheck-ocaml-dev-8rtk8, libstdlib-ocaml-dev-m4xw9, ocaml-5.3.0
Descriptionmulticore-magic API with atomic modules from dscheck -- development files
Description-md5e9e0ad2cb5db8f481720208236e76e98
Homepagehttps://github.com/ocaml-multicore/multicore-magic
Sectionocaml
Priorityoptional
Filenamepool/main/o/ocaml-multicore-magic/libmulticore-magic-dscheck-ocaml-dev_2.3.1-2+b1_amd64.deb
Size41372
MD5sum6f86079a71ba76c6ac212132369ce7c6
SHA25639bfb433d50a9f4d1e2973cec1dd937e91e6c12fe4ad6d8f2f14573e5a736cc3

Files in package

  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/multicore-magic-dscheck/META
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/multicore-magic-dscheck/dune-package
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/multicore-magic-dscheck/multicore_magic.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/multicore-magic-dscheck/multicore_magic.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/multicore-magic-dscheck/multicore_magic_dscheck.a
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/multicore-magic-dscheck/multicore_magic_dscheck.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/multicore-magic-dscheck/multicore_magic_dscheck.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/multicore-magic-dscheck/multicore_magic_dscheck.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/multicore-magic-dscheck/multicore_magic_dscheck.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/multicore-magic-dscheck/multicore_magic_dscheck.cmxa
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/multicore-magic-dscheck/multicore_magic_dscheck.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/multicore-magic-dscheck/multicore_magic_dscheck.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/multicore-magic-dscheck/multicore_magic_dscheck__Multicore_magic.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/multicore-magic-dscheck/multicore_magic_dscheck__Multicore_magic.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/multicore-magic-dscheck/multicore_magic_dscheck__Multicore_magic.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/multicore-magic-dscheck/multicore_magic_dscheck__Multicore_magic.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/multicore-magic-dscheck/opam
  • /usr/share/doc/libmulticore-magic-dscheck-ocaml-dev/README.md
  • /usr/share/doc/libmulticore-magic-dscheck-ocaml-dev/changelog.Debian.amd64.gz
  • /usr/share/doc/libmulticore-magic-dscheck-ocaml-dev/changelog.Debian.gz
  • /usr/share/doc/libmulticore-magic-dscheck-ocaml-dev/changelog.gz
  • /usr/share/doc/libmulticore-magic-dscheck-ocaml-dev/copyright
  • /var/lib/ocaml/lintian/libmulticore-magic-dscheck-ocaml-dev.info
  • /var/lib/ocaml/md5sums/libmulticore-magic-dscheck-ocaml-dev.md5sums