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

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

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

libgmp-ocaml-dev

OCaml bindings for the GNU multiprecision arithmetic library (dev)