Remi Vanicat wrote:
> Roberto Bagnara <bagnara@cs.unipr.it> 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