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] ML GMP new version
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: David Monniaux <David.Monniaux@e...>
Subject: [Caml-list] ML GMP new version
[Résumé en français: nouvelle version de ML GMP, interface avec GNU MP]

It is my pleasure to announce the new year's day release of ML GMP, the
library interfacing Objective Caml with GNU MP.

It is a complete rewrite of the earlier versions, which should fix some
tricky garbage collection problems reported by some users.

It features:
* Support for mpz (integers), mpq (rationals), mpf (floating-point), and,
optionally, mpfr if compiled with the MPFR extension library
(, which should anyway be integrated into future GNU MP
releases after copyright transfer questions are settled.

* Support for random functions.

* Serialization (hashes will be implemented in the future).

It supports GMP 3.1.1 (and 4.0, but the newer functions are not
supported), MPFR 2001 and 2001-10-26, OCaml 3.02 and 3.04.

It is mostly source-compatible with earlier releases.

The license is LGPL with a special exemption for static linking with an
application (same as the OCaml library).

It ships with an updated copy of J.C. Filliatre's Creal package.

David Monniaux  
Laboratoire d'informatique de l'École Normale Supérieure,
Paris, France

Bug reports:  FAQ:
To unsubscribe, mail  Archives: