[ Källkod: ocaml-multicoretests ]
Paket: libqcheck-lin-ocaml-dev (0.9-1 och andra)
Länkar för libqcheck-lin-ocaml-dev
Debianresurser:
Hämta källkodspaketet ocaml-multicoretests:
- [ocaml-multicoretests_0.9-1.dsc]
- [ocaml-multicoretests_0.9.orig.tar.gz]
- [ocaml-multicoretests_0.9-1.debian.tar.xz]
Ansvariga:
Externa resurser:
- Hemsida [github.com]
Liknande paket:
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.
Andra paket besläktade med libqcheck-lin-ocaml-dev
|
|
|
|
-
- dep: libqcheck-core-ocaml-dev-3tgk0 [ej amd64, arm64, ppc64el, riscv64, s390x]
- virtuellt paket som tillhandahålls av libqcheck-core-ocaml-dev
-
- dep: libqcheck-core-ocaml-dev-6sjm4 [s390x]
- virtuellt paket som tillhandahålls av libqcheck-core-ocaml-dev
-
- dep: libqcheck-core-ocaml-dev-dfwb9 [amd64, arm64, ppc64el, riscv64]
- virtuellt paket som tillhandahålls av libqcheck-core-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-bbgo5 [s390x]
- virtuellt paket som tillhandahålls av libqcheck-multicoretests-util-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-gfa12 [ej amd64, arm64, ppc64el, riscv64, s390x]
- virtuellt paket som tillhandahålls av libqcheck-multicoretests-util-ocaml-dev
-
- dep: libqcheck-multicoretests-util-ocaml-dev-he163 [amd64, arm64, ppc64el, riscv64]
- virtuellt paket som tillhandahålls av libqcheck-multicoretests-util-ocaml-dev
-
- dep: libstdlib-ocaml-dev-2d5j3 [s390x]
- virtuellt paket som tillhandahålls av libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-bdrm4 [alpha]
- virtuellt paket som tillhandahålls av libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-m4xw9 [amd64, arm64, ppc64el, riscv64]
- virtuellt paket som tillhandahålls av libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-ye7o9 [ej alpha, amd64, arm64, ppc64el, riscv64, s390x]
- virtuellt paket som tillhandahålls av libstdlib-ocaml-dev
-
- dep: ocaml-5.3.0
- virtuellt paket som tillhandahålls av ocaml
Hämta libqcheck-lin-ocaml-dev
| Arkitektur | Version | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|---|
| alpha (inofficiell anpassning) | 0.9-1+b1 | 343,5 kbyte | 455,0 kbyte | [filförteckning] |
| amd64 | 0.9-1+b1 | 403,6 kbyte | 865,0 kbyte | [filförteckning] |
| arm64 | 0.9-1+b1 | 406,1 kbyte | 1.066,0 kbyte | [filförteckning] |
| armel | 0.9-1+b1 | 343,5 kbyte | 455,0 kbyte | [filförteckning] |
| armhf | 0.9-1+b1 | 343,5 kbyte | 455,0 kbyte | [filförteckning] |
| hppa (inofficiell anpassning) | 0.9-1+b1 | 343,5 kbyte | 455,0 kbyte | [filförteckning] |
| i386 | 0.9-1+b1 | 343,6 kbyte | 455,0 kbyte | [filförteckning] |
| loong64 (inofficiell anpassning) | 0.9-1+b1 | 343,6 kbyte | 455,0 kbyte | [filförteckning] |
| m68k (inofficiell anpassning) | 0.9-1+b1 | 343,5 kbyte | 455,0 kbyte | [filförteckning] |
| mips64el | 0.9-1+b1 | 343,6 kbyte | 455,0 kbyte | [filförteckning] |
| ppc64 (inofficiell anpassning) | 0.9-1+b1 | 343,6 kbyte | 455,0 kbyte | [filförteckning] |
| ppc64el | 0.9-1+b1 | 409,4 kbyte | 1.108,0 kbyte | [filförteckning] |
| riscv64 | 0.9-1+b1 | 427,4 kbyte | 1.203,0 kbyte | [filförteckning] |
| s390x | 0.9-1+b1 | 401,1 kbyte | 861,0 kbyte | [filförteckning] |
| sh4 (inofficiell anpassning) | 0.9-1+b1 | 343,5 kbyte | 455,0 kbyte | [filförteckning] |
| sparc64 (inofficiell anpassning) | 0.9-1+b1 | 343,5 kbyte | 455,0 kbyte | [filförteckning] |
| x32 (inofficiell anpassning) | 0.9-1+b1 | 343,6 kbyte | 455,0 kbyte | [filförteckning] |