Kaynak Paket: ocaml-dscheck (0.5.0-2)
ocaml-dscheck için bağlantılar
Debian Kaynakları:
Geliştiriciler:
Dış Kaynaklar:
Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:
- libdscheck-ocaml-dev
- model checker for testing concurrent programs
ocaml-dscheck ile İlgili Diğer Paketler
|
- bağımsız inşa bağımlılıkları
|
-
- adep:
debhelper-compat
(= 13)
- Paket mevcut değil
-
- 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
