Näennäispaketti: libdscheck-ocaml-dev-y5w45

Tämä on näennäispaketti. Katso Debianin linjan kuvaksesta näennäispaketin määritelmä.

Paketit, jotka toteuttavat paketin libdscheck-ocaml-dev-y5w45

libdscheck-ocaml-dev

model checker for testing concurrent programs