Selon J�r�me Marant <[EMAIL PROTECTED]>: > Hi, > > I was noticed by someone in IRC #ocaml of otherslibs/num/README where > we can read: > > -=-=-=-=-=- > > LEGAL NOTICE: > > This work uses the BigNum package developed jointly by INRIA and Digital > PRL. > > The code in the bignum/ subdirectory is copyright INRIA and Digital, > and may be reproduced and distributed freely to non commercial usage > according to the conditions stated in the documentation of this package > (directory bignum/doc).
The doc subdirectory is no longer there, however ... -- J�r�me Marant -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

