Sanal Paket: libdscheck-ocaml-dev-p8ja0

Bu bir sanal pakettir. Sanal paketlerin tanımı için Debian ilkesine bakın.

libdscheck-ocaml-dev-p8ja0 sağlayan paketler

libdscheck-ocaml-dev

model checker for testing concurrent programs