Can Caml Light and MoscowML be in debian now?

[timmons@delanet.com (Bonard B. Timmons III)]

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.