Virtueel pakket: libdscheck-ocaml-dev-p8ja0

Dit is een virtueel pakket. Zie het Debian beleidshandboek voor de definitie van een virtueel pakket.

Pakketten die libdscheck-ocaml-dev-p8ja0 bieden:

libdscheck-ocaml-dev

model checker for testing concurrent programs