libgmp-ocaml-dev 20021123-17build3 (amd64 binary) in ubuntu trusty

 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