mlgmpidl

AuthorsBertrand Jeannet and Nicolas Berthier
LicenseLGPL-2.1 with static linking exception
Homepagehttps://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/
Issue Trackerhttps://github.com/nberth/mlgmpidl/issues
MaintainerNicolas Berthier <m@nberth.space>
Dependencies
&camlidl
conf-gmp
conf-mpfr
conf-perl
ocamlfind
Availableocaml-version >= "3.12.1"
PublishedJul 25, 2018
Source [http] https://github.com/nberth/mlgmpidl/archive/1.2.7.tar.gz
b70f6c1628393e75083c6f959646f25f
StatisticsInstalled 117 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/mlgmpidl/mlgmpidl.1.2.7/opam

OCaml interface to the GMP library

Necessary for
apron
elina
lutin