[ Source: ocaml-qcheck ]
Package: libqcheck-ounit-ocaml (0.22-1 and others)
Links for libqcheck-ounit-ocaml
Debian Resources:
Download Source Package ocaml-qcheck:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
QCheck-integration med OUnit - kørselstidsbibliotek
Dette modul tilbyder QCheck-integration med OUnit.
QCheck gør, at man kan kontrollere invarianter (egenskaber for nogle typer) over vilkårligt oprettede instanser for typen. Modulet tilbyder kombinatorer for oprettelse af instanser og udskrivning af dem.
Other Packages Related to libqcheck-ounit-ocaml
|
|
|
|
-
- dep: libqcheck-core-ocaml-k9sw4 [not amd64, arm64, ia64, ppc64el, riscv64, s390x]
- virtual package provided by libqcheck-core-ocaml
-
- dep: libqcheck-core-ocaml-ll2j4 [s390x]
- virtual package provided by libqcheck-core-ocaml
-
- dep: libqcheck-core-ocaml-qr3k2 [ia64]
- virtual package provided by libqcheck-core-ocaml
-
- dep: libqcheck-core-ocaml-r0cl9 [amd64, arm64, ppc64el, riscv64]
- virtual package provided by libqcheck-core-ocaml
-
- dep: libstdlib-ocaml-0d647 [arm64]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-2a614 [ppc64el]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-7l663 [amd64]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-bkvu1 [not amd64, arm64, ia64, ppc64el, riscv64, s390x]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-r1af2 [s390x]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-rg5q2 [ia64]
- virtual package provided by libstdlib-ocaml
-
- dep: libstdlib-ocaml-vvst5 [riscv64]
- virtual package provided by libstdlib-ocaml
-
- dep: ocaml-base-4.14.1 [ia64]
- virtual package provided by ocaml-base
-
- dep: ocaml-base-5.2.0 [not ia64]
- virtual package provided by ocaml-base
-
- rec: ocaml-findlib
- Håndteringsværktøj for OCaml-biblioteker
-
- enh: ounit
- Package not available
Download libqcheck-ounit-ocaml
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
alpha (unofficial port) | 0.22-1+b1 | 30.1 kB | 51.0 kB | [list of files] |
amd64 | 0.22-1+b1 | 42.9 kB | 103.0 kB | [list of files] |
arm64 | 0.22-1+b1 | 43.8 kB | 130.0 kB | [list of files] |
armel | 0.22-1+b1 | 30.1 kB | 51.0 kB | [list of files] |
armhf | 0.22-1+b1 | 30.1 kB | 51.0 kB | [list of files] |
hppa (unofficial port) | 0.22-1+b1 | 30.1 kB | 51.0 kB | [list of files] |
i386 | 0.22-1+b1 | 30.1 kB | 51.0 kB | [list of files] |
ia64 (unofficial port) | 0.21.3-1 | 30.3 kB | 69.0 kB | [list of files] |
m68k (unofficial port) | 0.22-1+b1 | 30.1 kB | 51.0 kB | [list of files] |
mips64el | 0.22-1+b1 | 30.1 kB | 51.0 kB | [list of files] |
ppc64 (unofficial port) | 0.22-1+b1 | 30.1 kB | 51.0 kB | [list of files] |
ppc64el | 0.22-1+b1 | 43.0 kB | 130.0 kB | [list of files] |
riscv64 | 0.22-1+b1 | 43.0 kB | 102.0 kB | [list of files] |
s390x | 0.22-1+b1 | 42.8 kB | 106.0 kB | [list of files] |
sh4 (unofficial port) | 0.22-1+b1 | 30.1 kB | 51.0 kB | [list of files] |
sparc64 (unofficial port) | 0.22-1+b1 | 30.1 kB | 51.0 kB | [list of files] |
x32 (unofficial port) | 0.22-1+b1 | 30.1 kB | 51.0 kB | [list of files] |