[ Source: ocaml-multicoretests ]
Пакунок: libqcheck-lin-ocaml-dev (0.7-3 and others)
Links for libqcheck-lin-ocaml-dev
Debian Resources:
Download Source Package ocaml-multicoretests:
- [ocaml-multicoretests_0.7-3.dsc]
- [ocaml-multicoretests_0.7.orig.tar.gz]
- [ocaml-multicoretests_0.7-3.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.
Інші пакунки пов'язані з libqcheck-lin-ocaml-dev
|
|
|
|
-
- dep: libqcheck-core-ocaml-dev-45tx8 [armel, armhf, i386]
- virtual package provided by libqcheck-core-ocaml-dev
-
- dep: libqcheck-core-ocaml-dev-ak3w4 [amd64, arm64, ppc64el, riscv64]
- 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-dlqh8 [amd64, arm64, ppc64el, riscv64]
- virtual package provided by libqcheck-multicoretests-util-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-ue1k5 [s390x]
- virtual package provided by libqcheck-multicoretests-util-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-vr0q9 [armel, 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 [amd64, arm64, ppc64el, riscv64]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-ye7o9 [armel, armhf, i386]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: ocaml-5.3.0
- virtual package provided by ocaml
Завантажити libqcheck-lin-ocaml-dev
| Архітектура | Версія | Розмір пакунка | Розмір після встановлення | Файли |
|---|---|---|---|---|
| amd64 | 0.7-3+b2 | 390.9 kB | 845.0 kB | [список файлів] |
| arm64 | 0.7-3+b2 | 393.7 kB | 1,047.0 kB | [список файлів] |
| armel | 0.7-3+b2 | 332.8 kB | 443.0 kB | [список файлів] |
| armhf | 0.7-3+b2 | 332.8 kB | 443.0 kB | [список файлів] |
| i386 | 0.7-3+b2 | 332.8 kB | 443.0 kB | [список файлів] |
| ppc64el | 0.7-3+b2 | 396.3 kB | 1,088.0 kB | [список файлів] |
| riscv64 | 0.7-3+b2 | 413.9 kB | 1,174.0 kB | [список файлів] |
| s390x | 0.7-3+b2 | 388.7 kB | 839.0 kB | [список файлів] |