Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] OCaml and bignums
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@l...>
Subject: Re: [Caml-list] OCaml and bignums

 > > 2. MLGMP : bindings for the GNU Multiprecision library, maintained by David Monniaux ( It provides support for big integers, for rationnals and for big precision floats.
 > As far as you can tell, is it still maintained?  The latest
 > item in ChangeLog appears to be on November 2002.

David will probably answer, but you  should keep in mind that MLGML is
nothing but  a stub code to  a C library  and thus does not  need much
maintenance  (the GMP  interface  is quite  stable).  I've used  MLGMP
several times since Nov 2002 and never had trouble with it.


To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: