Re: Package Moscow ML and HOL
On Sun, Jul 06, 2003 at 11:12:48PM +0200, Ralf Treinen wrote:
> On Sun, Jul 06, 2003 at 12:24:13PM +0200, Sven Luther wrote:
> > On Sat, Jul 05, 2003 at 02:06:27PM +0200, Ralf Treinen wrote:
> > > On Sat, Jul 05, 2003 at 11:28:58AM +0200, Sven Luther wrote:
> > > > On Thu, Jul 03, 2003 at 05:36:30PM +0800, ZHAO Wei wrote:
> > > > > On Thu, 2003-07-03 at 14:47, Ralf Treinen wrote:
> > > > > > I remember vaguely that there used to be a licence problem with
> > > > > > Moscow ML. What is its exact licence now?
> > > > >
> > > > > Under the mosml/copyright directory, there are three license files:
> > > > >
> > > > > 1. gpl2 - which is exactly a copy of GPL v2
> > > > > 2. copyright.att - which covers part of the library come from SML/NJ,
> > > > > and as I read it, it's mostly BSDish
> > > > > 3. copyright.cl - covers code come from CAML Light, which looks a little
> > > > > bit strange, but to my unexperienced eyes, looks like a homebrew GPL
> > > > >
> > > > > Anyway, I think it's generally acceptable to put it in Debian main.
> > > > > What's you opinion?
> > > >
> > > > No, it is not. It is the caml-light licence which is the tumbling block.
> > > > It can still be going in non-free though, as the older ocaml used to
> > > > have the exact same licence. Look at the (4 to 5 year old) archives of
> > > > debian-legal for discussion on this.
> > >
> > > 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
> >
> > Well, it was solved by INRIA granting a special exception for ocaml, so
> > something similar could be achieved this time.
>
> This time is different since the INRIA code is combined with GPL code.
> As I understand, GPL requires that if the software is redistributed
> then the *complete program* is redistributed under GPL. Hence I guess
> you will have to convince INRIA to release their code under GPL.
Yep, i didn't know that. So you mean, that moscowml is udisitrbutable,
even by upstream as is. I suppose an exception to the GPL, or a dual
licenced GPL part my do, but i really don't know the situation well.
> If in doubt about the legal issues please ask on debian-legal.
Yep,
Friendly,
Sven Luther
>
> -Ralf.
> --
Reply to: