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

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

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

libgmp-ocaml-dev

OCaml bindings for the GNU multiprecision arithmetic library (dev)