caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: "Nicolas Cannasse" <warplayer@free.fr>
To: "Xavier Leroy" <Xavier.Leroy@inria.fr>,
	"Alex Baretta" <alex@barettadeit.com>
Cc: "Sven Luther" <sven.luther@wanadoo.fr>, "Ocaml" <caml-list@inria.fr>
Subject: Re: [Caml-list] Ocaml license - why not GPL?
Date: Mon, 31 Jan 2005 10:47:37 +0100	[thread overview]
Message-ID: <016a01c50779$e62f1650$ef01a8c0@warp> (raw)
In-Reply-To: <20050131090006.GA18352@yquem.inria.fr>

> - If it turns out you have a QPL/GPL incompatibility, you have exactly
>   three options:
>       1) don't use the toplevel library
>       2) put your code under another license than the GPL
>       3) get a more liberal license for OCaml by becoming a member
>          of the Caml Consortium.

If I understand well, Alex can choose the (3) and get a license that is GPL
compatible. But as it has been said before the only licenses compatible with
GPL are weaker license, that are "at least" GPL. So a company getting into
the Caml Consortium might get rights to redistribute the compiler as GPL ?
Are you sure about that ? It looks like actually getting into the Consortium
helps with being able to fork privatly the compiler, as Lexifi did, but not
to redistribute a GPL version of this fork. I understand INRIA folks are not
lawyer, neither I am, but it looks logical.

Regards,
Nicolas Cannasse


  parent reply	other threads:[~2005-01-31  9:47 UTC|newest]

Thread overview: 23+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2005-01-28 16:47 Jozef Kosoru
2005-01-28 17:08 ` [Caml-list] " David Brown
2005-01-28 19:09   ` Jon Harrop
2005-01-29 23:46     ` Stefan Monnier
2005-01-28 17:14 ` [Caml-list] " Luc Maranget
2005-01-29  6:05 ` Jacques Garrigue
2005-01-30  6:22   ` Sven Luther
2005-01-31  0:57     ` Jacques Garrigue
2005-01-31  7:03       ` Alex Baretta
2005-01-31  7:38         ` Sven Luther
2005-01-31  7:47           ` Alex Baretta
2005-01-31  7:59             ` Sven Luther
2005-01-31  9:09               ` skaller
2005-01-31  9:23                 ` Sven Luther
2005-01-31  9:00             ` Xavier Leroy
2005-01-31  9:15               ` Sven Luther
2005-01-31  9:47               ` Nicolas Cannasse [this message]
2005-01-31 10:29                 ` Xavier Leroy
2005-01-31 10:41                   ` Nicolas Cannasse
2005-01-31 11:08                 ` Alex Baretta
2005-01-31 11:49                   ` Alex Baretta
2005-01-31  7:35       ` Sven Luther
2005-01-30  6:18 ` Sven Luther

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='016a01c50779$e62f1650$ef01a8c0@warp' \
    --to=warplayer@free.fr \
    --cc=Xavier.Leroy@inria.fr \
    --cc=alex@barettadeit.com \
    --cc=caml-list@inria.fr \
    --cc=sven.luther@wanadoo.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).