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 1DDC87EEE0 for ; Fri, 6 Mar 2015 10:41:29 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dra-news@metastack.com) identity=pra; client-ip=62.13.148.114; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of dra-news@metastack.com designates 62.13.148.114 as permitted sender) identity=mailfrom; client-ip=62.13.148.114; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.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@outmail148114.authsmtp.net) identity=helo; client-ip=62.13.148.114; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="postmaster@outmail148114.authsmtp.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AKAQBNdflUl3KUDT5cgmSBUq5uBphcAoE2TQEBAQEBARABAQEBAQYYB0KEDwEBAQMBAzc0CwULAgEIGAoUEDIlAgQODYgfCQPQKwEBAQEGAQEBAQEBAQEahgqFDYQ9MQeDF4EUBZlUAZNuhBGCM38BAQE X-IPAS-Result: A0AKAQBNdflUl3KUDT5cgmSBUq5uBphcAoE2TQEBAQEBARABAQEBAQYYB0KEDwEBAQMBAzc0CwULAgEIGAoUEDIlAgQODYgfCQPQKwEBAQEGAQEBAQEBAQEahgqFDYQ9MQeDF4EUBZlUAZNuhBGCM38BAQE X-IronPort-AV: E=Sophos;i="5.11,351,1422918000"; d="scan'208";a="124688441" Received: from outmail148114.authsmtp.net ([62.13.148.114]) by mail2-smtp-roc.national.inria.fr with ESMTP; 06 Mar 2015 10:41:28 +0100 Received: from mail-c237.authsmtp.com (mail-c237.authsmtp.com [62.13.128.237]) by punt16.authsmtp.com (8.14.2/8.14.2/) with ESMTP id t269fQKv076723; Fri, 6 Mar 2015 09:41:26 GMT Received: from romulus.metastack.com (cpc1-cmbg5-0-0-cust241.5-4.cable.virginm.net [81.98.252.242]) (authenticated bits=0) by mail.authsmtp.com (8.14.2/8.14.2/) with ESMTP id t269fNu3070926; Fri, 6 Mar 2015 09:41:23 GMT Received: from remus.metastack.local (remus.metastack.com [172.16.0.1]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id t269fMUr032091 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=FAIL); Fri, 6 Mar 2015 09:41:22 GMT Received: from Remus.metastack.local ([fe80::547c:3c42:e1da:eda2]) by Remus.metastack.local ([fe80::547c:3c42:e1da:eda2%10]) with mapi id 14.03.0224.002; Fri, 6 Mar 2015 09:41:22 +0000 From: David Allsopp To: Roberto Di Cosmo CC: Fabrice Le Fessant , Alexey Egorov , Adrien Nader , "caml-list@inria.fr" Thread-Topic: [Caml-list] ocaml compiler license Thread-Index: AQHQV2s3qRhD10/mbU6xmJcLgJCx9Z0OSfEAgAACnACAADQysIAACJGAgACYenCAAAesAIAAABgQgAAIQgCAAACV8A== Date: Fri, 6 Mar 2015 09:41:21 +0000 Message-ID: References: <1425577100.968957623@f83.i.mail.ru> <20150305194136.GA31199@notk.org> <1425585056.666752588@f303.i.mail.ru> <20150306090136.GA15242@traveler> <20150306093130.GB15242@traveler> In-Reply-To: <20150306093130.GB15242@traveler> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [172.16.0.18] Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 Organization: MetaStack Solutions Ltd. X-Scanned-By: MIMEDefang 2.65 on 172.16.0.20 X-Server-Quench: f3e93c62-c3e4-11e4-9f74-002590a135d3 X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZZVg1f DC4bFwdFRBksPQFF ChxFJgxfNl8UURhQ KkJXbgcSJgVCAnRQ QXkJW1VRQF14U2d0 YQhVIw1cfENGQQdv UlZLRlBNFgB3AVJF BBgXBGc3dAVBeHdy YwhjWHZdWQosdhN0 QR1SF3BVZjJkdWEe BURFflVTdB5Kfh1A Y1AuVXAINWZJBA9q VzwYNjU1eDFeMzhg CgYGJFcWCU0MGyY9 Qx0YVTEuFkADXChb X-Authentic-SMTP: 61633634383431.1024:706 X-AuthFastPath: 0 (Was 255) X-AuthSMTP-Origin: 81.98.252.242/25 X-AuthVirus-Status: No virus detected - but ensure you scan with your own anti-virus system. Subject: RE: [Caml-list] ocaml compiler license Roberto Di Cosmo wrote: > David, you are right: one cannot "change" the terms of a licence used on a > piece of code after releasing this piece of code under this licence. > But we are talking about "interpretation" of these terms, which is quite a > different story. Yes, but the copyright holder does not get to dictate the interpretation. > If you look at FSF/OSI/ to > know whether a git branch is fine as an implementation of "separate", you > only get an opinion... maybe a well respected opinion, but just an opinion > that may become the subject of debate later on. And avoiding debate is a > desirable thing. Absolutely - and hence why it's sensible to ask! > If Inria says publicly (e.g. on this mailing list): "for us it's fine to > see OCaml derivatives developed and published as separate git branches", > then you get the work owner's explicit statement that this practice is > acceptable for the only entity entitled to enforce the licence. And > that's the end of the story: simple, clear, undebatable, no hassle. Yes, I agree - sorry, I made my point unclearly. The point I was making is = that if Inria were to say "no, we don't accept that as satisfying the licen= ce" then that is just their opinion. You can still do it, you just know tha= t you're likely to end up in court testing the licence if you do. The arbit= er in a difference of opinion on interpretation is the legal system, not th= e copyright holder. David