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

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

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

libwhy3-ocaml-dev

OCaml librariries for why3 (dev)