From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 0CD4A7EEE0 for ; Fri, 6 Mar 2015 00:28:47 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of fabrissimo@gmail.com) identity=pra; client-ip=209.85.192.48; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrissimo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of fabrissimo@gmail.com designates 209.85.192.48 as permitted sender) identity=mailfrom; client-ip=209.85.192.48; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrissimo@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-qg0-f48.google.com) identity=helo; client-ip=209.85.192.48; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="postmaster@mail-qg0-f48.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0D2AAC25fhUmzDAVdFbg1haBIMGrkWPbQqFcIE3B00BAQEBAQEQAQEBAQEGCwsJFC6EEAEBBAECDxEdAS0LAQMMAQUFCwMKAgIJHQICIhIBBQEKEgYTEggIh3kDEQ2vIz4xiy6EYpAbJwMKhTYMGgEFDoETiXaEO4MigUMFhG8KjnGFaoEaOY5agXgSI4EVXIM2PTGCQwEBAQ X-IPAS-Result: A0D2AAC25fhUmzDAVdFbg1haBIMGrkWPbQqFcIE3B00BAQEBAQEQAQEBAQEGCwsJFC6EEAEBBAECDxEdAS0LAQMMAQUFCwMKAgIJHQICIhIBBQEKEgYTEggIh3kDEQ2vIz4xiy6EYpAbJwMKhTYMGgEFDoETiXaEO4MigUMFhG8KjnGFaoEaOY5agXgSI4EVXIM2PTGCQwEBAQ X-IronPort-AV: E=Sophos;i="5.11,349,1422918000"; d="scan'208,223";a="124621373" Received: from mail-qg0-f48.google.com ([209.85.192.48]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 06 Mar 2015 00:28:46 +0100 Received: by qgea108 with SMTP id a108so8873457qge.8 for ; Thu, 05 Mar 2015 15:28:45 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:cc:content-type:content-transfer-encoding; bh=wc72nFovjbIuuT8fG1VvVBkDGgIR2COr8uYzA1nh7lE=; b=FBEKebil+dLYYiDahhyZiblGHZUIeUEUMCWZf51o7Hw573b4TpDQSSHRQmOSjAFl8D 0OAv5zjtzN/JsSMzXExgTenp9uU883Tcoe0xup1V1DHPIQvqsmGFf8hwNgfaUGxHwYK2 daUM3g07t6+aE1D5LfPb/uDUinHsJe4cgLEOjTCKZJYRzhXaJlERUnKrxUidFd1l9TAQ vyjg9FLvWgA1bDL0B+KfdD16pC1qps/S/WzfXYuk1pA3/YKC8I3uaYDyVxZIILVqjZhR 6SDpTM/XSvV8EQgS1RaJuQ2s8gIbs5h8o4+/5jeWmdybFWlb/4LXAbJ4xBY52UW+IPOT dCRQ== X-Received: by 10.229.80.72 with SMTP id s8mr16404910qck.24.1425598125338; Thu, 05 Mar 2015 15:28:45 -0800 (PST) MIME-Version: 1.0 Sender: fabrissimo@gmail.com Received: by 10.96.64.106 with HTTP; Thu, 5 Mar 2015 15:28:25 -0800 (PST) In-Reply-To: References: <1425577100.968957623@f83.i.mail.ru> <20150305194136.GA31199@notk.org> <1425585056.666752588@f303.i.mail.ru> From: Fabrice Le Fessant Date: Fri, 6 Mar 2015 00:28:25 +0100 X-Google-Sender-Auth: fIIel3X0dKzVbvpXrWy_jO7gyeM Message-ID: To: David Allsopp Cc: Alexey Egorov , Adrien Nader , "caml-list@inria.fr" Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] ocaml compiler license =46rom 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". Anyway, many people are distributing modified OCaml versions under GIT, and INRIA has never complained about it, to the best of my knowledge. --Fabrice On Fri, Mar 6, 2015 at 12:07 AM, David Allsopp wro= te: > Alexey Egorov wrote: >> Hi Adrien, >> >> thanks for your reply. >> >> But wouldn't publicly avalable github repo with modified >> sources violate license (just because non-patch/diff version >> is publicly available)? > > IANAL, but if you put all your changes in a separate branch on your own g= it repo (forked from the official Git mirror) then you are literally storin= g a set of patches - the ability to download the entire distribution as one= whole (or even as a .tar.gz file, say on GitHub) is just a convenience pro= vided by the software, it's not what you're actually providing. > > > David > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs --=20 Fabrice LE FESSANT Chercheur en Informatique INRIA Paris Rocquencourt -- OCamlPro Programming Languages and Distributed Systems