Install libgmp-ocaml by entering the following commands in the terminal:
sudo apt update sudo apt install libgmp-ocaml
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 shared library for running applications linked against libgmp-ocaml
Homepage: http://www-verimag.imag.fr/~monniaux/programmes.html.en
Version: 20021123-19build1
Section: universe/devel