[ Source: ocaml-multicoretests ]
Paketti: libqcheck-lin-ocaml-dev (0.7-3 ja muut)
Links for libqcheck-lin-ocaml-dev
Debian-palvelut:
Imuroi lähdekoodipaketti ocaml-multicoretests:
- [ocaml-multicoretests_0.7-3.dsc]
- [ocaml-multicoretests_0.7.orig.tar.gz]
- [ocaml-multicoretests_0.7-3.debian.tar.xz]
Ylläpitäjät:
External Resources:
- Kotisivu [github.com]
Samankaltaisia paketteja:
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.
Muut pakettiin libqcheck-lin-ocaml-dev liittyvät paketit
|
|
|
|
-
- dep: libqcheck-core-ocaml-dev-45tx8 [armel, armhf, i386]
- näennäispaketti, jonka toteuttaa libqcheck-core-ocaml-dev
-
- dep: libqcheck-core-ocaml-dev-ak3w4 [amd64, arm64, ppc64el, riscv64]
- näennäispaketti, jonka toteuttaa libqcheck-core-ocaml-dev
-
- dep: libqcheck-core-ocaml-dev-qvry2 [s390x]
- näennäispaketti, jonka toteuttaa libqcheck-core-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-dlqh8 [amd64, arm64, ppc64el, riscv64]
- näennäispaketti, jonka toteuttaa libqcheck-multicoretests-util-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-ue1k5 [s390x]
- näennäispaketti, jonka toteuttaa libqcheck-multicoretests-util-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-vr0q9 [armel, armhf, i386]
- näennäispaketti, jonka toteuttaa libqcheck-multicoretests-util-ocaml-dev
-
- dep: libstdlib-ocaml-dev-2d5j3 [s390x]
- näennäispaketti, jonka toteuttaa libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-m4xw9 [amd64, arm64, ppc64el, riscv64]
- näennäispaketti, jonka toteuttaa libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-ye7o9 [armel, armhf, i386]
- näennäispaketti, jonka toteuttaa libstdlib-ocaml-dev
-
- dep: ocaml-5.3.0
- näennäispaketti, jonka toteuttaa ocaml
Imuroi libqcheck-lin-ocaml-dev
| Arkkitehtuuri | Versio | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|---|
| amd64 | 0.7-3+b2 | 390.9 kt | 845.0 kt | [tiedostoluettelo] |
| arm64 | 0.7-3+b2 | 393.7 kt | 1,047.0 kt | [tiedostoluettelo] |
| armel | 0.7-3+b2 | 332.8 kt | 443.0 kt | [tiedostoluettelo] |
| armhf | 0.7-3+b2 | 332.8 kt | 443.0 kt | [tiedostoluettelo] |
| i386 | 0.7-3+b2 | 332.8 kt | 443.0 kt | [tiedostoluettelo] |
| ppc64el | 0.7-3+b2 | 396.3 kt | 1,088.0 kt | [tiedostoluettelo] |
| riscv64 | 0.7-3+b2 | 413.9 kt | 1,174.0 kt | [tiedostoluettelo] |
| s390x | 0.7-3+b2 | 388.7 kt | 839.0 kt | [tiedostoluettelo] |