Quellcode-Paket: ocaml-dscheck (0.5.0-2)
Links für ocaml-dscheck
Debian-Ressourcen:
Betreuer:
Externe Ressourcen:
Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
- libdscheck-ocaml-dev
- model checker for testing concurrent programs
Andere Pakete mit Bezug zu ocaml-dscheck
-
- adep:
debhelper-compat
(= 13)
- Paket nicht verfügbar
-
- adep:
ocaml-dune
(>= 2.8.0)
- composable build system for OCaml projects
-
- adep:
dh-ocaml
(>= 1.2.2)
- helper tools for maintaining OCaml-related Debian packages
-
- adep:
libalcotest-ocaml-dev
(>= 1.7.0)
- lightweight and colourful test framework for OCaml
-
- adep:
libcmdliner-ocaml-dev
- declarative definition of command line interfaces
-
- adep:
libcontainers-ocaml-dev
- extension to OCaml's standard data structures and iterators
-
- adep:
liboseq-ocaml-dev
- list of suspensions as a composable lazy iterator
-
- adep:
ocaml
- ML language implementation with a class-based object system
