Pakiet: libdscheck-ocaml-dev (0.5.0-2) [debports]

Odnośniki dla libdscheck-ocaml-dev

Zasoby systemu Debian:

Raporty o błędach

Pobieranie pakietu źródłowego :

Nie znaleziono

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [github.com]

Podobne pakiety:

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.

Inne pakiety związane z libdscheck-ocaml-dev

wymaga

poleca

sugeruje

enhances

dep: libcontainers-ocaml-dev-ui7p8

pakiet wirtualny udostępniany przez libcontainers-ocaml-dev
dep: liboseq-ocaml-dev-oavf0

pakiet wirtualny udostępniany przez liboseq-ocaml-dev
dep: libstdlib-ocaml-dev-bkvu1

pakiet wirtualny udostępniany przez libstdlib-ocaml-dev
dep: ocaml-5.2.0

pakiet wirtualny udostępniany przez ocaml

Pobieranie libdscheck-ocaml-dev

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
sh4 (port nieoficjalny)	247,6 KiB	323,0 KiB	[lista plików]