Hi, In the recent announcement of the Caml Consortium (http://pauillac.inria.fr/caml/consortium/index-eng.shtml) is a link to the a description of the license of the "Caml language":
http://caml.inria.fr/license/ Up until now, Ocaml was the only free software, hence its distribution in debian. Even though MoscowML is licensed under the GPL, it could not be legalized distributed because of the non-freeness of the Caml Light upon which it is based. But according to this licensing page(*), it is now clear that Caml Light will be licensed similarly to Ocaml. Therefore, it and MoscowML can now be included in Debian. Comments, anyone? Can debianization proceed? Thanks, Bake (*) The web page is two sections: Ocaml and Caml Light. There is a typo in the Caml Light section where it is labeled "Objective Caml" which I have emailed them to correct.