From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA16991 for caml-red; Wed, 27 Sep 2000 09:24:21 +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 WAA11297 for <caml-list@pauillac.inria.fr>; Tue, 26 Sep 2000 22:36:45 +0200 (MET DST)
Received: from nef.ens.fr (nef.ens.fr [129.199.96.32])
	by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e8QKaiD12309
	for <caml-list@inria.fr>; Tue, 26 Sep 2000 22:36:44 +0200 (MET DST)
Received: from fuchsia.ens.fr (fuchsia.ens.fr [129.199.99.60])
          by nef.ens.fr (8.10.1/1.01.28121999) with ESMTP id e8QKai707525
          for <caml-list@inria.fr>; Tue, 26 Sep 2000 22:36:44 +0200 (CEST)
Received: from localhost (monniaux@localhost) by fuchsia.ens.fr (8.9.2/jb-1.1)
	id WAA13011 for <caml-list@inria.fr>; Tue, 26 Sep 2000 22:36:43 +0200 (MET DST)
X-Authentication-Warning: fuchsia.ens.fr: monniaux owned process doing -bs
Date: Tue, 26 Sep 2000 22:36:43 +0200 (MET DST)
From: David Monniaux <David.Monniaux@ens.fr>
X-Sender: monniaux@fuchsia.ens.fr
To: Liste CAML <caml-list@inria.fr>
Subject: MLGMP 0.14
Message-ID: <Pine.GSO.4.03.10009262233310.22328-100000@fuchsia.ens.fr>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=ISO-8859-1
Content-Transfer-Encoding: 8BIT
Sender: weis@pauillac.inria.fr

J.C. Filliâtre ported MLGMP to OCaml 3.0. Kudos to him!

http://www.di.ens.fr/~monniaux/download/mlgmp.tar.gz for the latest
release.

Warning: MLGMP currently works only with GNU MP 2.0, *NOT* 3.0. I'll port
it if I see a clear advantage in GNU MP 3 over 2.

--
David Monniaux            http://www.di.ens.fr/~monniaux
Laboratoire d'informatique de l'École Normale Supérieure,
Paris, France