Re: Package Moscow ML and HOL
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.
--
zhaoway@public1.ptt.js.cn zw@netspeed-tech.com
http://c2.com/cgi/wiki?ZhaoWay
http://www.advogato.org/person/zhaoway/
Linux & Free Software Consultant, Nanjing, China
Reply to: