alle opties
trixie  ] [  forky  ] [  sid  ]
[ Bron: ocaml-dscheck  ]

Pakket: libdscheck-ocaml-dev (0.5.0-2 en anderen)

Verwijzigingen voor libdscheck-ocaml-dev

Screenshot

Debian bronnen:

Het bronpakket ocaml-dscheck downloaden:

Beheerders:

Externe bronnen:

Vergelijkbare pakketten:

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.

Andere aan libdscheck-ocaml-dev gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

libdscheck-ocaml-dev downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Versie Pakketgrootte Geïnstalleerde grootte Bestanden
alpha (unofficial port) 0.5.0-2+b6 195,2 kB658,0 kB [overzicht]
amd64 0.5.0-2+b7 240,3 kB972,0 kB [overzicht]
arm64 0.5.0-2+b7 243,3 kB1.038,0 kB [overzicht]
armhf 0.5.0-2+b3 195,1 kB658,0 kB [overzicht]
hppa (unofficial port) 0.5.0-2+b1 195,2 kB658,0 kB [overzicht]
i386 0.5.0-2+b3 195,1 kB658,0 kB [overzicht]
loong64 (unofficial port) 0.5.0-2+b6 246,5 kB323,0 kB [overzicht]
m68k (unofficial port) 0.5.0-2+b1 246,4 kB323,0 kB [overzicht]
ppc64 (unofficial port) 0.5.0-2+b5 195,2 kB658,0 kB [overzicht]
ppc64el 0.5.0-2+b7 243,5 kB1.053,0 kB [overzicht]
riscv64 0.5.0-2+b7 257,2 kB1.231,0 kB [overzicht]
s390x 0.5.0-2+b8 239,4 kB991,0 kB [overzicht]
sh4 (unofficial port) 0.5.0-2+b7 195,0 kB658,0 kB [overzicht]
sparc64 (unofficial port) 0.5.0-2+b5 195,2 kB658,0 kB [overzicht]
x32 (unofficial port) 0.5.0-2+b2 195,1 kB658,0 kB [overzicht]