On Sat, 2003-07-05 at 20:06, Ralf Treinen wrote: > I even doubt that it can into non-free. As someone else on the > debian-devel list pointed out, GPL and Inria licence are incompatible. > As I understand it: If you redistribute Moscow ML then you also have > to distribute the part that stems from CamlLight under GPL, and of > course you don't have the right to do so. Don't count on convincing > INRIA to re-release Caml Light under GPL (see the mail by Sven).
I'll search into the archives about this issue. > If your main objective is to packahe HOL then maybe you can migrate > it to OCaml? It seems that there are camlp4 scripts that do this > translation at least partially. That would be cool. Heheh. I'll think about it. :) Yes my main objective is about HOL. -- [EMAIL PROTECTED] [EMAIL PROTECTED] http://c2.com/cgi/wiki?ZhaoWay http://www.advogato.org/person/zhaoway/ Linux & Free Software Consultant, Nanjing, China
