Package - libqcheck-ocaml-dev

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

Primary informations

Download package: http://deb.debian.org/debian/pool/main/o/ocaml-qcheck/libqcheck-ocaml-dev_0.25-1+b1_amd64.deb (Size: 51.7KiB)

PropertyValue
Packagelibqcheck-ocaml-dev
Sourceocaml-qcheck (0.25-1)
Version0.25-1+b1
Installed-Size142
MaintainerDebian OCaml Maintainers
Architectureamd64
Provideslibqcheck-ocaml-dev-x3u65
Dependslibalcotest-ocaml-dev-eiql6, libastring-ocaml-dev-5e7v3, libcmdliner-ocaml-dev-hks52, libfmt-ocaml-dev-koo31, libounit-ocaml-dev-yhyl5, libqcheck-core-ocaml-dev-ak3w4, libqcheck-ocaml-x3u65, libqcheck-ounit-ocaml-dev-ldy61, libstdlib-ocaml-dev-m4xw9, ocaml-5.3.0
Recommendsocaml-findlib
DescriptionQuickCheck inspired property-based testing for OCaml (Development package)
Description-md5e09ed79bba6040b88ff9ff5edf7e52a6
Homepagehttps://github.com/c-cube/qcheck
Sectionocaml
Priorityoptional
Filenamepool/main/o/ocaml-qcheck/libqcheck-ocaml-dev_0.25-1+b1_amd64.deb
Size52948
MD5sumb0ec3f16a69e565cae9c1a6cd9833b40
SHA2566339197b1db880e811638267621c0278ad3a5cb8d761e2f3ae992b2b40d2311d

Files in package

  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-alcotest/QCheck_alcotest.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-alcotest/QCheck_alcotest.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-alcotest/dune-package
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-alcotest/qCheck_alcotest.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-alcotest/qCheck_alcotest.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-alcotest/qCheck_alcotest.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-alcotest/qCheck_alcotest.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-alcotest/qcheck_alcotest.a
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-alcotest/qcheck_alcotest.cmxa
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck/QCheck_runner.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck/dune-package
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck/qCheck_runner.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck/qCheck_runner.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck/qCheck_runner.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck/qcheck.a
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck/qcheck.cmxa
  • /usr/share/doc/libqcheck-ocaml-dev/LICENSE
  • /usr/share/doc/libqcheck-ocaml-dev/README.adoc.gz
  • /usr/share/doc/libqcheck-ocaml-dev/changelog.Debian.amd64.gz
  • /usr/share/doc/libqcheck-ocaml-dev/changelog.Debian.gz
  • /usr/share/doc/libqcheck-ocaml-dev/changelog.gz
  • /usr/share/doc/libqcheck-ocaml-dev/copyright
  • /usr/share/doc/libqcheck-ocaml-dev/odoc-pages/index.mld
  • /var/lib/ocaml/lintian/libqcheck-ocaml-dev.META.qcheck
  • /var/lib/ocaml/lintian/libqcheck-ocaml-dev.META.qcheck-alcotest
  • /var/lib/ocaml/lintian/libqcheck-ocaml-dev.info
  • /var/lib/ocaml/md5sums/libqcheck-ocaml-dev.md5sums