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
