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

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

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

libnum-ocaml-dev

library for arbitrary-precision and rational arithmetic (development)