On Thu, Oct 13, 2005 at 12:03:41PM +0200, Stefano Zacchiroli wrote: > Someone could help me remember why we have this package? IIRC that > package was an alternative implementation of the bignum library > distributed with ocaml which had license problems. Now, still IIRC, the > bignum library has no longer license problems ... and builds fine :-) > > Couldn't why remove the numerix package now?
Nope, numerix is something different. The alternative bignum was called something different, and is removed properly. Friendly, Sven Luther -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

