On Fri, Oct 31, 2003 at 02:13:39PM +0100, Sven Luther wrote: > o fix the ocaml bignum licence issue. I seem to remember seeing a message about how Xavier has rewritten the bignum library because of this license issue. You might check the CVS tree. Dave