Re: ITP: Moscow ML - An implementation of standard ML.
Le 2000-08-16 01:55:59 -0300, Nicolás Lichtmaier écrivait :
> > > > Don't do that. Moscow ML was my first package when I joined and I had
> > > > to learn that there are license problems. To be precise it is based on
> > > > Caml Light which is not GPLed (read: has further restrictions) therefore
> > > > you can't link GPL-code against it.
> > > >
> > > > We can't distribute binaries of that :((
> > >
> > > Have you contacted the authors?
> > I don't quite remember. I think I contacted inria (they hold the Caml
> > copyright) about changing that but to no extent. I am not sure if changing
> > the MoSML license would help - at least it has to go to non-free then.
> > I did not want to maintain a non-free package at that time so I gave up on
> > it.
> The MosML could add to the license: "As an exception to the GNU GPL, you
> may distribute this software linked to CAML".
As far as I remember, Objective CAML, which is supposed to be
an advanced version of CAML light, has been moved to LGPL.
But I don't think the CAML light licence has changed.