wszystkie opcje
forky  ] [  sid  ]

Pakiet wirtualny: libdscheck-ocaml-dev-9i8p1

This is a virtual package. See the Debian policy for a definition of virtual packages.

Pakiety udostępniające libdscheck-ocaml-dev-9i8p1

libdscheck-ocaml-dev
model checker for testing concurrent programs