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 UAA15375; Mon, 10 May 2004 20:27:40 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 UAA15380 for ; Mon, 10 May 2004 20:27:38 +0200 (MET DST) Received: from smtp1.libero.it (smtp1.libero.it [193.70.192.51]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i4AIRbEV015355 for ; Mon, 10 May 2004 20:27:37 +0200 Received: from zoltan.unisuv.it (151.27.29.159) by smtp1.libero.it (7.0.027-DD01) id 40489115010599CB; Mon, 10 May 2004 20:27:57 +0200 Received: from cs.unipr.it (localhost [127.0.0.1]) by zoltan.unisuv.it (8.12.8/8.12.8) with ESMTP id i4AITXjU000972; Mon, 10 May 2004 20:29:34 +0200 Message-ID: <409FCA0C.7060006@cs.unipr.it> Date: Mon, 10 May 2004 20:29:32 +0200 From: Roberto Bagnara Organization: Department of Mathematics, University of Parma, Italy User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6) Gecko/20040116 X-Accept-Language: en-us, en MIME-Version: 1.0 To: Remi Vanicat CC: caml-list@inria.fr Subject: Re: [Caml-list] OCaml and bignums References: <409E9D6C.7020001@cs.unipr.it> <20040510064127.32fa2c30.michel.quercia@prepas.org> <409F39EC.8060207@cs.unipr.it> <87hduob3il.dlv@vanicat.homelinux.org> In-Reply-To: <87hduob3il.dlv@vanicat.homelinux.org> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 409FC999.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 bignums:01 quercia:01 bignum:01 rationnals:01 bignum:01 ocaml:01 ocaml:01 writes:01 remi:01 vanicat:01 wrote:03 wrote:03 library:03 group:04 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Remi Vanicat wrote: > Roberto Bagnara writes: > >>Michel Quercia wrote: >>>1. The Bignum library shipped within the standard Ocaml >>>distribution and maintained by the INRIA team. It provides support >>>for big integers and for rationnals. >> >>Are there any news concerning the licensing problems? >>See http://pauillac.inria.fr/~aschmitt/cwn/2003.10.07.html#12 >>and http://lists.debian.org/debian-legal/2003/12/msg00240.html >>if you don't know what I am talking about. > > > I believe It have been solved into the cvs version (where a new > implementation of BigNum is made). You are right: it is there. Now the question is when the next release of OCaml will be. Thanks a lot, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it ------------------- 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