On Tue, Jul 22, 2008 at 02:47:25PM -0700, Shivkumar Chandrasekaran wrote:
> Does anybody have an ocaml interface to GMP (Gnu Multi-Precision
> library)? Thanks,

mlgmp, available at
http://www-verimag.imag.fr/~monniaux/programmes.html.en (linked from The
Hump: http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=278). Available
in Debian in the libgmp-ocaml-dev package, in case you are using any
Debian-based distro.

Cheers.

-- 
Stefano Zacchiroli -*- PhD in Computer Science \ PostDoc @ Univ. Paris 7
zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/
I'm still an SGML person,this newfangled /\ All one has to do is hit the
XML stuff is so ... simplistic  -- Manoj \/ right keys at the right time