From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <milanst@gmail.com>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id DFDBD7EEE0
	for <caml-list@sympa.inria.fr>; Fri,  6 Mar 2015 00:55:28 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  milanst@gmail.com) identity=pra; client-ip=209.85.223.180;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="milanst@gmail.com";
  x-sender="milanst@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  milanst@gmail.com designates 209.85.223.180 as permitted
  sender) identity=mailfrom; client-ip=209.85.223.180;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="milanst@gmail.com";
  x-sender="milanst@gmail.com"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-ie0-f180.google.com) identity=helo;
  client-ip=209.85.223.180;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="milanst@gmail.com";
  x-sender="postmaster@mail-ie0-f180.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0D9AAB16/hUlLTfVdFbg1haBIMGvjIKhXACgTUHTQEBAQEBARABAQEBBwsLCRIwhBABAQQBAg8RHQEbHQEDDAYFCw0CAiYCAiIBEQEFARwGEyKHeAEDEQ2uXD4xiy6Ba4J3j3YKGScNVIRiAQEBAQEBBAEBAQEBARYBAQQOgROJdoRuB4JogUMFimWOb4EajxOBeBIjgQwJhC8gMQGCQgEBAQ
X-IPAS-Result: A0D9AAB16/hUlLTfVdFbg1haBIMGvjIKhXACgTUHTQEBAQEBARABAQEBBwsLCRIwhBABAQQBAg8RHQEbHQEDDAYFCw0CAiYCAiIBEQEFARwGEyKHeAEDEQ2uXD4xiy6Ba4J3j3YKGScNVIRiAQEBAQEBBAEBAQEBARYBAQQOgROJdoRuB4JogUMFimWOb4EajxOBeBIjgQwJhC8gMQGCQgEBAQ
X-IronPort-AV: E=Sophos;i="5.11,349,1422918000"; 
   d="scan'208";a="124623591"
Received: from mail-ie0-f180.google.com ([209.85.223.180])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 06 Mar 2015 00:55:28 +0100
Received: by iebtr6 with SMTP id tr6so8197865ieb.2;
        Thu, 05 Mar 2015 15:55:27 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to
         :cc:content-type;
        bh=M0196gMiPX1vUgwb03cfbe6KSGbp8OTRPyYCUqQOZHM=;
        b=I9vPNWy53kGgTSyozLC7mU79TikePZPvcipUFjNqzv/GznU1jJuSivj3nnsOil3Ksm
         7MxI39P539GnduC2UcAUO4+PYLdMeBKonm/6WPAsp6+nG/xFNNWi+3RgQ0MbhCpjieDH
         k9FHGrjSc9FMBxXBMNDG533NmkbD9ooLTc8/0pXgDlFbYtlJ3wp+L2aNDQ8mBmg++Arn
         Oik4vyF/DXHwBx9E18/wue9hA2Se2N/f5k5qbIyUpGhCfJLKEiuFYYgrXgRoQfoesPLZ
         pm45P67xS9ox96GjfuLSkchkpW+yxs3Hs1/JbTfw3Qxnmqdu5HRRoSPoS7pmjS2T7+ux
         LVGQ==
X-Received: by 10.43.90.199 with SMTP id bj7mr6982687icc.35.1425599727011;
 Thu, 05 Mar 2015 15:55:27 -0800 (PST)
MIME-Version: 1.0
Received: by 10.64.154.134 with HTTP; Thu, 5 Mar 2015 15:54:46 -0800 (PST)
In-Reply-To: <CAHvkLrMKK4xJL58mKGT_u+MSmfFFefyMXsuVyr0DvDRU2vryFw@mail.gmail.com>
References: <1425577100.968957623@f83.i.mail.ru> <20150305194136.GA31199@notk.org>
 <1425585056.666752588@f303.i.mail.ru> <E51C5B015DBD1348A1D85763337FB6D9E9976B6B@Remus.metastack.local>
 <CAHvkLrMKK4xJL58mKGT_u+MSmfFFefyMXsuVyr0DvDRU2vryFw@mail.gmail.com>
From: =?UTF-8?Q?Milan_Stanojevi=C4=87?= <milanst@gmail.com>
Date: Thu, 5 Mar 2015 18:54:46 -0500
Message-ID: <CAKR7PS_F-By9xU_83pPfNOT4fwOCJ3X=uiDsbiNcB76T_bV1tw@mail.gmail.com>
To: Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
Cc: David Allsopp <dra-news@metastack.com>, Alexey Egorov <electreg@list.ru>, 
	Adrien Nader <adrien@notk.org>, "caml-list@inria.fr" <caml-list@inria.fr>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [Caml-list] ocaml compiler license

On Thu, Mar 5, 2015 at 6:28 PM, Fabrice Le Fessant
<Fabrice.Le_fessant@inria.fr> wrote:
> From the QPL 1.0 license in OCaml sources:
>
> "... distribute your modifications, in a form that is separate from
> the Software, such as patches."
>
> In GIT, the software itself is a set of patches, so it's not so clear
> for me that if the modifications are another set of patches, there are
> in a "separate form".

I thought that the intent was to make sure that modified software
can't be mistaken for original one, hence "separate form".

But, reading here
https://www.gnu.org/philosophy/license-list.html

"Q Public License (QPL), Version 1.0 (#QPL)

This is a non-copyleft free software license which is incompatible
with the GNU GPL. It also causes major practical inconvenience,
because modified sources can only be distributed as patches."

This seems like a much stronger reading.

Maybe INRIA is willing to amend the license to explicitly allow any
form of redistribution, not only patches.