Виртуальный пакет: libdscheck-ocaml-dev-p8ja0

Это виртуальный пакет. О том, что такое виртуальные пакеты читайте в политике Debian.

Пакеты, предоставляющие libdscheck-ocaml-dev-p8ja0

libdscheck-ocaml-dev

model checker for testing concurrent programs