[ Source: ocaml-qcheck ]
Package: libqcheck-core-ocaml-dev (0.22-1 and others)
Links for libqcheck-core-ocaml-dev
Debian Resources:
Download Source Package ocaml-qcheck:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
QuickCheck inspired property-based testing for OCaml (Development package)
This module allows one to check invariants (properties of some types) over randomly generated instances of the type. It provides combinators for generating instances and printing them.
Other Packages Related to libqcheck-core-ocaml-dev
|
|
|
|
-
- dep: libqcheck-core-ocaml-k9sw4 [armel, armhf, i386, mips64el]
- virtual package provided by libqcheck-core-ocaml
-
- dep: libqcheck-core-ocaml-ll2j4 [s390x]
- virtual package provided by libqcheck-core-ocaml
-
- dep: libqcheck-core-ocaml-r0cl9 [amd64, arm64, ppc64el, riscv64]
- virtual package provided by libqcheck-core-ocaml
-
- dep: libstdlib-ocaml-dev-0d647 [arm64]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-2a614 [ppc64el]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-7l663 [amd64]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-bkvu1 [armel, armhf, i386, mips64el]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-r1af2 [s390x]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-vvst5 [riscv64]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: ocaml-5.2.0
- virtual package provided by ocaml
-
- rec: ocaml-findlib
- management tool for OCaml libraries
Download libqcheck-core-ocaml-dev
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
amd64 | 0.22-1+b1 | 1,501.7 kB | 2,827.0 kB | [list of files] |
arm64 | 0.22-1+b1 | 1,504.8 kB | 2,926.0 kB | [list of files] |
armel | 0.22-1+b1 | 1,316.3 kB | 1,614.0 kB | [list of files] |
armhf | 0.22-1+b1 | 1,316.3 kB | 1,614.0 kB | [list of files] |
i386 | 0.22-1+b1 | 1,316.1 kB | 1,614.0 kB | [list of files] |
mips64el | 0.22-1+b1 | 1,316.4 kB | 1,614.0 kB | [list of files] |
ppc64el | 0.22-1+b1 | 1,524.7 kB | 3,162.0 kB | [list of files] |
riscv64 | 0.22-1+b1 | 1,611.7 kB | 4,794.0 kB | [list of files] |
s390x | 0.22-1+b1 | 1,488.7 kB | 2,749.0 kB | [list of files] |