Package - libqcheck-stm-ocaml-dev

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

Primary informations

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

PropertyValue
Packagelibqcheck-stm-ocaml-dev
Sourceocaml-multicoretests (0.7-3)
Version0.7-3+b2
Installed-Size712
MaintainerDebian OCaml Maintainers
Architectureamd64
Provideslibqcheck-stm-ocaml-dev-gnfl6
Dependslibqcheck-core-ocaml-dev-ak3w4, libqcheck-multicoretests-util-ocaml-dev-dlqh8, libstdlib-ocaml-dev-m4xw9, ocaml-5.3.0
DescriptionQCheck module testing parallel state-machines
Description-md554662e03bbbe767cf040d8658473cfa8
Homepagehttps://github.com/ocaml-multicore/mutlicoretests
Sectionocaml
Priorityoptional
Filenamepool/main/o/ocaml-multicoretests/libqcheck-stm-ocaml-dev_0.7-3+b2_amd64.deb
Size329216
MD5sumf0cb3c79d82572f08ffdc196ecd00830
SHA25637abddd1882799574e5a6aa3719bfb31b63728e9ae324e4b1b2eaee6271c2f78

Files in package

  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/META
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/domain/STM_domain.a
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/domain/STM_domain.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/domain/STM_domain.cmxa
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/domain/STM_domain.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/domain/STM_domain.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/domain/STM_domain.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/domain/sTM_domain.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/domain/sTM_domain.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/domain/sTM_domain.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/domain/sTM_domain.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/dune-package
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/opam
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/sequential/STM_sequential.a
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/sequential/STM_sequential.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/sequential/STM_sequential.cmxa
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/sequential/STM_sequential.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/sequential/STM_sequential.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/sequential/STM_sequential.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/sequential/sTM_sequential.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/sequential/sTM_sequential.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/sequential/sTM_sequential.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/sequential/sTM_sequential.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/stm/STM.a
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/stm/STM.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/stm/STM.cmxa
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/stm/STM.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/stm/STM.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/stm/STM.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/stm/sTM.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/stm/sTM.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/stm/sTM.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/stm/sTM.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/thread/STM_thread.a
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/thread/STM_thread.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/thread/STM_thread.cmxa
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/thread/STM_thread.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/thread/STM_thread.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/thread/STM_thread.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/thread/sTM_thread.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/thread/sTM_thread.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/thread/sTM_thread.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/thread/sTM_thread.cmx
  • /usr/share/doc/libqcheck-stm-ocaml-dev/README.md.gz
  • /usr/share/doc/libqcheck-stm-ocaml-dev/changelog.Debian.amd64.gz
  • /usr/share/doc/libqcheck-stm-ocaml-dev/changelog.Debian.gz
  • /usr/share/doc/libqcheck-stm-ocaml-dev/changelog.gz
  • /usr/share/doc/libqcheck-stm-ocaml-dev/copyright
  • /usr/share/doc/libqcheck-stm-ocaml-dev/index.mld.gz
  • /var/lib/ocaml/lintian/libqcheck-stm-ocaml-dev.info
  • /var/lib/ocaml/md5sums/libqcheck-stm-ocaml-dev.md5sums