Source Package: ocaml-dscheck (0.5.0-2)
Links for ocaml-dscheck
Debian Resources:
Maintainers:
External Resources:
The following binary packages are built from this source package:
- libdscheck-ocaml-dev
- model checker for testing concurrent programs
Other Packages Related to ocaml-dscheck
-
- adep:
debhelper-compat
(= 13)
- Package not available
-
- 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
