From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id DAA14831; Tue, 30 Jul 2002 03:45:59 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id DAA14823 for ; Tue, 30 Jul 2002 03:45:58 +0200 (MET DST) Received: from nef.ens.fr (nef.ens.fr [129.199.96.32]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g6U1jw523202 for ; Tue, 30 Jul 2002 03:45:58 +0200 (MET DST) Received: from dmi.ens.fr (dmi.ens.fr [129.199.96.11]) by nef.ens.fr (8.10.1/1.01.28121999) with ESMTP id g6U1jvo78932 for ; Tue, 30 Jul 2002 03:45:57 +0200 (CEST) Received: from basilic.ens.fr (monniaux@basilic [129.199.99.48]) by dmi.ens.fr (8.10.1/jb-1.3-180200) id g6U1jub21475 for ; Tue, 30 Jul 2002 03:45:56 +0200 (MET DST) Received: from localhost (monniaux@localhost) by basilic.ens.fr (8.11.0/jb-1.1) id g6U1ju120840 for ; Tue, 30 Jul 2002 03:45:56 +0200 (MEST) X-Authentication-Warning: basilic.ens.fr: monniaux owned process doing -bs Date: Tue, 30 Jul 2002 03:45:56 +0200 (MEST) From: David Monniaux X-Sender: monniaux@basilic.ens.fr To: Liste CAML Subject: [Caml-list] MLGMP upgraded for GMP 4.1 Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=ISO-8859-1 Content-Transfer-Encoding: 8BIT Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk GNU MP (http://swox.com/gmp/) is a multiprecision computation library supporting integer, rational and floating-point types. MLGMP is the Caml interface for this library. The latest version of MLGMP supports GMP 4.1, including the integrated MPFR. It only supports this version, since maintaining support for multiple GMP versions is difficult (especially for MPFR) because of some incompatible changes. The new functions are not supported yet. http://www.di.ens.fr/~monniaux/download/mlgmp-20020729.tar.gz Enjoy, Regards, David Monniaux http://www.di.ens.fr/~monniaux Laboratoire d'informatique de l'École Normale Supérieure, Paris, France ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners