Sanal Paket: libdscheck-ocaml-dev-jyxw8

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

libdscheck-ocaml-dev-jyxw8 sağlayan paketler

libdscheck-ocaml-dev

model checker for testing concurrent programs