Package - libqcheck-lin-ocaml-dev

Package:  libqcheck-lin-ocaml-dev
apt-get install libqcheck-lin-ocaml-dev
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/o/ocaml-multicoretests/libqcheck-lin-ocaml-dev_0.7-3+b2_amd64.deb (Size: 390.9KiB)

PropertyValue
Packagelibqcheck-lin-ocaml-dev
Sourceocaml-multicoretests (0.7-3)
Version0.7-3+b2
Installed-Size845
MaintainerDebian OCaml Maintainers
Architectureamd64
Provideslibqcheck-lin-ocaml-dev-t86g3
Dependslibqcheck-core-ocaml-dev-ak3w4, libqcheck-multicoretests-util-ocaml-dev-dlqh8, libstdlib-ocaml-dev-m4xw9, ocaml-5.3.0
DescriptionQCheck module testing sequential consistency
Description-md5bfbd411390a93cad6cbe52273dbaf225
Homepagehttps://github.com/ocaml-multicore/mutlicoretests
Sectionocaml
Priorityoptional
Filenamepool/main/o/ocaml-multicoretests/libqcheck-lin-ocaml-dev_0.7-3+b2_amd64.deb
Size400308
MD5sumc9721e71ab5a896418f6d61182bfe304
SHA256e4069bafb27e87db5d111d7148f8feecfc1ec680622718b2fb4d780bc270cea6

Files in package

  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/META
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/domain/lin_domain.a
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/domain/lin_domain.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/domain/lin_domain.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/domain/lin_domain.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/domain/lin_domain.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/domain/lin_domain.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/domain/lin_domain.cmxa
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/domain/lin_domain.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/domain/lin_domain.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/domain/lin_domain.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/dune-package
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/effect/lin_effect.a
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/effect/lin_effect.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/effect/lin_effect.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/effect/lin_effect.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/effect/lin_effect.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/effect/lin_effect.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/effect/lin_effect.cmxa
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/effect/lin_effect.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/effect/lin_effect.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/effect/lin_effect.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/lin/lin.a
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/lin/lin.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/lin/lin.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/lin/lin.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/lin/lin.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/lin/lin.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/lin/lin.cmxa
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/lin/lin.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/lin/lin.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/lin/lin.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/opam
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/thread/lin_thread.a
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/thread/lin_thread.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/thread/lin_thread.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/thread/lin_thread.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/thread/lin_thread.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/thread/lin_thread.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/thread/lin_thread.cmxa
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/thread/lin_thread.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/thread/lin_thread.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-lin/thread/lin_thread.mli
  • /usr/share/doc/libqcheck-lin-ocaml-dev/README.md.gz
  • /usr/share/doc/libqcheck-lin-ocaml-dev/changelog.Debian.amd64.gz
  • /usr/share/doc/libqcheck-lin-ocaml-dev/changelog.Debian.gz
  • /usr/share/doc/libqcheck-lin-ocaml-dev/changelog.gz
  • /usr/share/doc/libqcheck-lin-ocaml-dev/copyright
  • /usr/share/doc/libqcheck-lin-ocaml-dev/index.mld.gz
  • /var/lib/ocaml/lintian/libqcheck-lin-ocaml-dev.info
  • /var/lib/ocaml/md5sums/libqcheck-lin-ocaml-dev.md5sums