libgmp-ocaml-dev binary package in Ubuntu Focal armhf

 This package provides bindings for the GNU multiprecision library
 (GNU MP) for the language OCaml(caml.inria.fr). It is mostly a 1-1 mapping
 of the C functions into the OCaml namespace, but also includes some
 infix operators to make for a cleaner syntax.
 .
 This package provides the static library, OCaml library and interface
 for developing applications to use libgmp-ocaml

Source package