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

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

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

libdscheck-ocaml-dev

model checker for testing concurrent programs