[ forky ] [ sid ]

Virtual Package: libdscheck-ocaml-dev-9i8p1

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

Packages providing libdscheck-ocaml-dev-9i8p1

libdscheck-ocaml-dev: strumento di verifica di modelli per testare programmi concorrenti