English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Got GMP?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-07-22 (22:03)
From: Stefano Zacchiroli <zack@u...>
Subject: Re: [Caml-list] Got GMP?
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.


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