From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA09902 for caml-redistribution; Mon, 13 Oct 1997 18:11:09 +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 AAA24464 for ; Sun, 12 Oct 1997 00:47:10 +0200 (MET DST) Received: from cri.ens-lyon.fr (cri.ens-lyon.fr [140.77.1.32]) by nez-perce.inria.fr (8.8.7/8.8.5) with ESMTP id AAA15557 for ; Sun, 12 Oct 1997 00:47:08 +0200 (MET DST) Received: from ens (ens [140.77.1.183]) by cri.ens-lyon.fr (8.8.5/8.8.1) with SMTP id AAA23844 for ; Sun, 12 Oct 1997 00:47:07 +0200 (MET DST) Date: Sun, 12 Oct 1997 00:47:06 +0200 (MET DST) From: David Monniaux X-Sender: dmonniau@ens To: Caml-list Subject: O'Caml - GNU MP interface Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: weis Hi, version 0.10 of mlgmp is available on http://www.ens-lyon.fr/~dmonniau/arcs/mlgmp.tar.gz As a reminder, GNU MP is a free extended precision library. This version implements in-place modification (yes, I know this is contrary to the spirit of functional programming, but this allows to optimize allocation by GMP and speed things up, especially in loops). ------------- Bonjour, la version 0.10 de mlgmp est sortie sur http://www.ens-lyon.fr/~dmonniau/arcs/mlgmp.tar.gz Pour memoire, GNU MP est une librairie de calcul en precision etendue. Cette version implemente les operations avec modification en place. -- David