[ Source: ocaml-multicoretests ]
Package: libqcheck-lin-ocaml-dev (0.9-1)
Links for libqcheck-lin-ocaml-dev
Debian Resources:
Download Source Package ocaml-multicoretests:
- [ocaml-multicoretests_0.9-1.dsc]
- [ocaml-multicoretests_0.9.orig.tar.gz]
- [ocaml-multicoretests_0.9-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-45tx8 [armhf, i386]
- virtual package provided by libqcheck-core-ocaml-dev
-
- dep: libqcheck-core-ocaml-dev-ak3w4 [not armhf, i386, s390x]
- virtual package provided by libqcheck-core-ocaml-dev
-
- dep: libqcheck-core-ocaml-dev-qvry2 [s390x]
- virtual package provided by libqcheck-core-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-czih2 [s390x]
- virtual package provided by libqcheck-multicoretests-util-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-f78d7 [not armhf, i386, s390x]
- virtual package provided by libqcheck-multicoretests-util-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-gfa12 [armhf, i386]
- virtual package provided by libqcheck-multicoretests-util-ocaml-dev
-
- dep: libstdlib-ocaml-dev-2d5j3 [s390x]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-m4xw9 [not armhf, i386, s390x]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-ye7o9 [armhf, i386]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: ocaml-5.3.0
- virtual package provided by ocaml
Download libqcheck-lin-ocaml-dev
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 403.2 kB | 864.0 kB | [list of files] |
| arm64 | 404.8 kB | 1,065.0 kB | [list of files] |
| armhf | 343.3 kB | 454.0 kB | [list of files] |
| i386 | 343.3 kB | 454.0 kB | [list of files] |
| ppc64el | 409.1 kB | 1,107.0 kB | [list of files] |
| riscv64 | 427.5 kB | 1,202.0 kB | [list of files] |
| s390x | 400.9 kB | 860.0 kB | [list of files] |