Install libgmp-ocaml-dev by entering the following commands in the terminal:
sudo apt update sudo apt install libgmp-ocaml-dev
Description:
OCaml bindings for the GNU multiprecision arithmetic library
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
Homepage: http://www-verimag.imag.fr/~monniaux/programmes.html.en
Version: 20021123-19build1
Section: universe/devel