パッケージ: libdscheck-ocaml-dev (0.5.0-2 など)

libdscheck-ocaml-dev に関するリンク

Debian の資源:

ocaml-dscheck ソースパッケージをダウンロード:

メンテナ:

外部の資源:

ホームページ [github.com]

類似のパッケージ:

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 関連パッケージ

依存

推奨

提案

enhances

dep: libcontainers-ocaml-dev-90co0

以下のパッケージによって提供される仮想パッケージです: libcontainers-ocaml-dev
dep: liboseq-ocaml-dev-hylk4

以下のパッケージによって提供される仮想パッケージです: liboseq-ocaml-dev
dep: libstdlib-ocaml-dev-m4xw9

以下のパッケージによって提供される仮想パッケージです: libstdlib-ocaml-dev
dep: ocaml-5.3.0

以下のパッケージによって提供される仮想パッケージです: ocaml

libdscheck-ocaml-dev のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
amd64	0.5.0-2+b4	292.5 kB	637.0 kB	[ファイル一覧]