[ Source: ocaml-qcheck ]
Package: libqcheck-core-ocaml (0.21.3-1)
Links for libqcheck-core-ocaml
Debian Resources:
Download Source Package ocaml-qcheck:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
QuickCheck inspired property-based testing for OCaml (Runtime library)
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
|
|
|
|
-
- dep: libc6 (>= 2.4) [armhf]
- GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
-
- dep: libstdlib-ocaml-058x2 [ppc64el]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-dkl58 [i386]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-ep7y0 [amd64]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-fyga0 [arm64]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-gats1 [ppc64]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-rayz1 [armhf]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-rg5q2 [not amd64, arm64, armhf, i386, ppc64, ppc64el, riscv64, s390x]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-vjut8 [riscv64]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-vneg5 [s390x]
- virtual package provided by libstdlib-ocaml
-
- dep: ocaml-base-4.14.1
- virtual package provided by ocaml-base
-
- rec: ocaml-findlib
- management tool for OCaml libraries
Download libqcheck-core-ocaml
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| alpha (unofficial port) | 346.0 kB | 1,144.0 kB | [list of files] |
| amd64 | 498.4 kB | 1,858.0 kB | [list of files] |
| arm64 | 514.2 kB | 2,022.0 kB | [list of files] |
| armel | 346.0 kB | 1,144.0 kB | [list of files] |
| armhf | 498.0 kB | 1,638.0 kB | [list of files] |
| hppa (unofficial port) | 346.0 kB | 1,144.0 kB | [list of files] |
| i386 | 485.1 kB | 1,726.0 kB | [list of files] |
| ia64 (unofficial port) | 346.0 kB | 1,144.0 kB | [list of files] |
| m68k (unofficial port) | 346.0 kB | 1,144.0 kB | [list of files] |
| mips64el | 346.0 kB | 1,144.0 kB | [list of files] |
| ppc64 (unofficial port) | 507.4 kB | 2,086.0 kB | [list of files] |
| ppc64el | 507.4 kB | 2,022.0 kB | [list of files] |
| riscv64 | 505.8 kB | 1,874.0 kB | [list of files] |
| s390x | 498.5 kB | 1,906.0 kB | [list of files] |
| sh4 (unofficial port) | 346.0 kB | 1,144.0 kB | [list of files] |
| sparc64 (unofficial port) | 346.0 kB | 1,144.0 kB | [list of files] |
| x32 (unofficial port) | 346.0 kB | 1,144.0 kB | [list of files] |