Package - libqcheck-core-ocaml-dev
Package: libqcheck-core-ocaml-dev
apt-get install libqcheck-core-ocaml-dev
apt-get install libqcheck-core-ocaml-dev
Documentations in package:
Primary informations
Download package: http://deb.debian.org/debian/pool/main/o/ocaml-qcheck/libqcheck-core-ocaml-dev_0.25-1+b1_amd64.deb (Size: 1.5MiB)| Property | Value |
|---|---|
| Package | libqcheck-core-ocaml-dev |
| Source | ocaml-qcheck (0.25-1) |
| Version | 0.25-1+b1 |
| Installed-Size | 2967 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Provides | libqcheck-core-ocaml-dev-ak3w4 |
| Depends | libqcheck-core-ocaml-ak3w4, libstdlib-ocaml-dev-m4xw9, ocaml-5.3.0 |
| Recommends | ocaml-findlib |
| Description | QuickCheck inspired property-based testing for OCaml (Development package) |
| Description-md5 | 92495d7c40551c5fbaf5cbe629f27d54 |
| Homepage | https://github.com/c-cube/qcheck |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/o/ocaml-qcheck/libqcheck-core-ocaml-dev_0.25-1+b1_amd64.deb |
| Size | 1599280 |
| MD5sum | 621d6ef43312c2b3c2ddacc35058dfdd |
| SHA256 | 38dac73a3c028ac25888504564b8962d7262b543fd35ad32dfcf51dd0e8f5bcd |
Files in package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-core/QCheck.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-core/QCheck.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-core/QCheck2.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-core/QCheck2.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-core/dune-package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-core/qCheck.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-core/qCheck.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-core/qCheck.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-core/qCheck.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-core/qCheck2.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-core/qCheck2.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-core/qCheck2.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-core/qCheck2.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-core/qcheck_core.a
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-core/qcheck_core.cmxa
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-core/runner/QCheck_base_runner.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-core/runner/QCheck_base_runner.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-core/runner/qCheck_base_runner.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-core/runner/qCheck_base_runner.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-core/runner/qCheck_base_runner.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-core/runner/qCheck_base_runner.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-core/runner/qcheck_runner.a
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-core/runner/qcheck_runner.cmxa
- /usr/share/doc/libqcheck-core-ocaml-dev/changelog.Debian.amd64.gz
- /usr/share/doc/libqcheck-core-ocaml-dev/changelog.Debian.gz
- /usr/share/doc/libqcheck-core-ocaml-dev/changelog.gz
- /usr/share/doc/libqcheck-core-ocaml-dev/copyright
- /usr/share/doc/libqcheck-core-ocaml-dev/examples/QCheck_runner_test.ml
- /usr/share/doc/libqcheck-core-ocaml-dev/examples/dune
- /var/lib/ocaml/lintian/libqcheck-core-ocaml-dev.META.qcheck-core
- /var/lib/ocaml/lintian/libqcheck-core-ocaml-dev.info
- /var/lib/ocaml/md5sums/libqcheck-core-ocaml-dev.md5sums