Source Package: ocaml-dscheck (0.5.0-2)
Links for ocaml-dscheck
Debian-palvelut:
Ylläpitäjät:
External Resources:
Seuraavat binääripaketit on käännetty tästä lähdepaketista:
- libdscheck-ocaml-dev
- model checker for testing concurrent programs
Muut pakettiin ocaml-dscheck liittyvät paketit
-
- adep:
debhelper-compat
(= 13)
- Paketti ei saatavilla
-
- 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
