软件包：libdscheck-ocaml-dev（0.5.0-2 以及其他的）

[ 源代码： ocaml-dscheck  ]

model checker for testing concurrent programs

Experimental model checker for testing concurrent programs. DSCheck exploers interleavings of a user-provided program and helps ensure that its invariants are maintained regardless of scheduling decisions.

其他与 libdscheck-ocaml-dev 有关的软件包

• dep: libcontainers-ocaml-dev-07tu9 [armhf, i386]

  本虚包由这些包填实： libcontainers-ocaml-dev

• dep: libcontainers-ocaml-dev-79cq3 [除 armhf, i386, s390x]

  本虚包由这些包填实： libcontainers-ocaml-dev

• dep: libcontainers-ocaml-dev-kir31 [s390x]

  本虚包由这些包填实： libcontainers-ocaml-dev

• dep: liboseq-ocaml-dev-1b323 [s390x]

  本虚包由这些包填实： liboseq-ocaml-dev

• dep: liboseq-ocaml-dev-apxo5 [armhf, i386]

  本虚包由这些包填实： liboseq-ocaml-dev

• dep: liboseq-ocaml-dev-hylk4 [除 armhf, i386, s390x]

  本虚包由这些包填实： liboseq-ocaml-dev

• dep: libstdlib-ocaml-dev-2d5j3 [s390x]

  本虚包由这些包填实： libstdlib-ocaml-dev

• dep: libstdlib-ocaml-dev-m4xw9 [除 armhf, i386, s390x]

  本虚包由这些包填实： libstdlib-ocaml-dev

• dep: libstdlib-ocaml-dev-ye7o9 [armhf, i386]

  本虚包由这些包填实： libstdlib-ocaml-dev

• dep: ocaml-5.3.0

  本虚包由这些包填实： ocaml

下载 libdscheck-ocaml-dev

下载可用于所有硬件架构的

硬件架构	版本	软件包大小	安装后大小	文件
amd64	0.5.0-2+b5	292.6 kB	637.0 kB	[文件列表]
arm64	0.5.0-2+b5	294.0 kB	691.0 kB	[文件列表]
armhf	0.5.0-2+b1	246.5 kB	323.0 kB	[文件列表]
i386	0.5.0-2+b1	246.4 kB	323.0 kB	[文件列表]
ppc64el	0.5.0-2+b5	295.6 kB	718.0 kB	[文件列表]
riscv64	0.5.0-2+b5	309.7 kB	896.0 kB	[文件列表]
s390x	0.5.0-2+b6	290.5 kB	638.0 kB	[文件列表]