[ trixie ]
[ sid ]
[ Source: ocaml-multicoretests ]
Package: libqcheck-lin-ocaml-dev (0.7-1 and others)
Links for libqcheck-lin-ocaml-dev
Debian Resources:
Download Source Package ocaml-multicoretests:
- [ocaml-multicoretests_0.7-1.dsc]
- [ocaml-multicoretests_0.7.orig.tar.gz]
- [ocaml-multicoretests_0.7-1.debian.tar.xz]
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
QCheck module testing sequential consistency
Allows for testing an API for sequential consistency. I.e. it performs a sequence of random commands in parallel, records the results and checks whether the observed results can be liniarized and reconciled with some sequential execution. The library offers an embedded, combinator DSL to describe signatures succinctly.
Other Packages Related to libqcheck-lin-ocaml-dev
|
|
|
|
-
- dep: libqcheck-core-ocaml-dev-259t0 [amd64, arm64, ppc64el, riscv64]
- Package not available
-
- dep: libqcheck-core-ocaml-dev-jent1 [s390x]
- Package not available
-
- dep: libqcheck-core-ocaml-dev-lc590 [not amd64, arm64, ppc64el, riscv64, s390x]
- virtual package provided by libqcheck-core-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-0r634 [amd64, arm64, ppc64el, riscv64]
- virtual package provided by libqcheck-multicoretests-util-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-vr0q9 [not amd64, arm64, ppc64el, riscv64, s390x]
- virtual package provided by libqcheck-multicoretests-util-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-ypk43 [s390x]
- virtual package provided by libqcheck-multicoretests-util-ocaml-dev
-
- dep: libstdlib-ocaml-dev-bdrm4 [not amd64, arm64, ppc64el, riscv64, s390x]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-fxjy5 [amd64, arm64, ppc64el, riscv64]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-ke4j9 [s390x]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: ocaml-5.3.0
- virtual package provided by ocaml
Download libqcheck-lin-ocaml-dev
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 0.7-1 | 332.4 kB | 442.0 kB | [list of files] |
| amd64 | 0.7-1+b1 | 391.0 kB | 845.0 kB | [list of files] |
| arm64 | 0.7-1+b1 | 393.5 kB | 1,047.0 kB | [list of files] |
| armel | 0.7-1+b1 | 332.6 kB | 443.0 kB | [list of files] |
| armhf | 0.7-1+b1 | 332.6 kB | 443.0 kB | [list of files] |
| hppa (unofficial port) | 0.7-1+b1 | 332.6 kB | 443.0 kB | [list of files] |
| i386 | 0.7-1+b1 | 332.6 kB | 443.0 kB | [list of files] |
| m68k (unofficial port) | 0.7-1+b1 | 332.6 kB | 443.0 kB | [list of files] |
| mips64el | 0.7-1+b1 | 332.6 kB | 443.0 kB | [list of files] |
| ppc64 (unofficial port) | 0.7-1+b1 | 332.6 kB | 443.0 kB | [list of files] |
| ppc64el | 0.7-1+b1 | 396.5 kB | 1,088.0 kB | [list of files] |
| riscv64 | 0.7-1+b1 | 414.5 kB | 1,174.0 kB | [list of files] |
| s390x | 0.7-1+b1 | 389.0 kB | 839.0 kB | [list of files] |
| sh4 (unofficial port) | 0.7-1+b1 | 332.6 kB | 443.0 kB | [list of files] |
| sparc64 (unofficial port) | 0.7-1+b1 | 332.6 kB | 443.0 kB | [list of files] |
| x32 (unofficial port) | 0.7-1+b1 | 332.7 kB | 443.0 kB | [list of files] |