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
- strumento di verifica di modelli per testare programmi concorrenti
Other Packages Related to ocaml-dscheck
-
- adep:
debhelper-compat
(= 13)
- Package not available
-
- adep:
ocaml-dune
(>= 2.8.0)
- sistema di compilazione componibile per progetti OCaml
-
- adep:
dh-ocaml
(>= 1.2.2)
- strumenti ausiliari per mantenere pacchetti Debian relativi a OCaml
-
- 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
- estensione degli iteratori e delle strutture dati standard di OCaml
-
- adep:
liboseq-ocaml-dev
- list of suspensions as a composable lazy iterator
-
- adep:
ocaml
- implementazione del linguaggio ML con un sistema basato su classi e oggetti
