From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 260B57EEE0 for ; Fri, 6 Mar 2015 10:09:01 +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.149.80; 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.149.80 as permitted sender) identity=mailfrom; client-ip=62.13.149.80; 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@outmail149080.authsmtp.com) identity=helo; client-ip=62.13.149.80; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="postmaster@outmail149080.authsmtp.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0C/AAAjbvlUnFCVDT5cgmR0VQUErm8GgnWGIYlWhXACgTZNAQEBAQEBEAEBAQEBCBQJQoQPAQEBAwEDNxsZCwULAgEIGAoDERAyExICBA4FCAEJCIgBAwkJAwQFyyMDhUQBAQEBAQEBAwEBAQEBAQEBAQEBF4YKhA5/hD0xB4MXgRQFhG8Kfo1zhWoBgRk5jA6CTINCgiUcgVBvAYFDfwEBAQ X-IPAS-Result: A0C/AAAjbvlUnFCVDT5cgmR0VQUErm8GgnWGIYlWhXACgTZNAQEBAQEBEAEBAQEBCBQJQoQPAQEBAwEDNxsZCwULAgEIGAoDERAyExICBA4FCAEJCIgBAwkJAwQFyyMDhUQBAQEBAQEBAwEBAQEBAQEBAQEBF4YKhA5/hD0xB4MXgRQFhG8Kfo1zhWoBgRk5jA6CTINCgiUcgVBvAYFDfwEBAQ X-IronPort-AV: E=Sophos;i="5.11,351,1422918000"; d="scan'208";a="124680747" Received: from outmail149080.authsmtp.com ([62.13.149.80]) by mail2-smtp-roc.national.inria.fr with ESMTP; 06 Mar 2015 10:08:59 +0100 Received: from mail-c235.authsmtp.com (mail-c235.authsmtp.com [62.13.128.235]) by punt17.authsmtp.com (8.14.2/8.14.2/) with ESMTP id t2698wl4059228; Fri, 6 Mar 2015 09:08:58 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 t2698u1Y005263; Fri, 6 Mar 2015 09:08:56 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 t2698tSU031962 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=FAIL); Fri, 6 Mar 2015 09:08:55 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:08:55 +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/mbU6xmJcLgJCx9Z0OSfEAgAACnACAADQysIAACJGAgACYenCAAAesAIAAABgQ Date: Fri, 6 Mar 2015 09:08:54 +0000 Message-ID: References: <1425577100.968957623@f83.i.mail.ru> <20150305194136.GA31199@notk.org> <1425585056.666752588@f303.i.mail.ru> <20150306090136.GA15242@traveler> In-Reply-To: <20150306090136.GA15242@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: 6b6783a8-c3e0-11e4-b396-002590a15da7 X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZZVg1f DC4bFwdFRBksPQFF ChxFJgxfNl8UURhQ KkJXbgcSJgVCAnRQ QXkJW1VRQF14U2N9 YQ9XIw1cfENGQQdv UlZLRlBNFgB3AVJF BBgXWlxzHgVGfXx2 ZghhWHBYWQp8J0B6 Sk0FHXBVZjJgdWEe BURFJQBddh5Kfh1A Y1AuVXZZMGJJBA9q VzwYNjU1eDFeMzhg CgYGJFcWCU0MGyY9 Qx0YVTEuFkADXChb X-Authentic-SMTP: 61633634383431.1023: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 write: > Just one line on all this: as correctly hinted otherwise, the copyright > can only be enforced by the owner of the work (that is Inria in this > case); so, if a doubt arises about the meaning of some terms of the > licence arises, you should not look at what the FSF or the OSI or some > other lawyers say, but ask the owner of the work for clarifications. Only as a legal aside, that is a *sensible* thing to do, but it is *not* ho= w copyright works. Once you've released something covered by a licence, the= terms are only clear as exactly what you've put in the licence. You don't = get to say on later enquiry, "oh, I didn't think of that - no, you should i= nterpret it this way". That's what courts (i.e. legal tests) are for and wh= y licences should be written by lawyers. And at that point it *is* useful t= o look at OSI and FSF opinion, because what a court will take great interes= t in is legal precedent or, in its absence, what everyone else using those = terms thinks. David > Cheers >=20 > -- > Roberto >=20 >=20 > On Fri, Mar 06, 2015 at 08:45:28AM +0000, David Allsopp wrote: > > Fabrice Le Fessant 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". > > > > This is why I said that it should be done in a separate branch. You're > happy with the idea that the file system (or the URL) provides separation > (i.e. one URL for the ocaml tarball, one URL for the patch file) - I'd > make the legal argument that git is simply a file system (when you remove > the porcelain, the plumbing *is* simply a file system, after all!) and a > git branch name provides the same separation as the two separate files. > > > > If one is going to argue that git branches do not provide separation, > then do we start talking in terms of needing the main sources and the > patch on separate harddisks; separate servers; separate internets? :o) > Indeed, with git clone {your-ocaml-repository} -b master --single-branch > you can clone the repository *without* downloading your patch branch at > all (i.e. the unmodified OCaml sources) so I would assert that git > definitely satisfies the "separate form" requirement. > > > > However, the QPL does not rigidly define "separate" and uses the woolly > term "such as" for its example, so that argument could only be resolved by > being tested. > > > > > Anyway, many people are distributing modified OCaml versions under > > > GIT, and INRIA has never complained about it, to the best of my > knowledge. > > > > Which is a much stronger argument, given that pull requests are > > allowed for the OCaml compiler, from public repos :o) > > > > > > David > > > > > --Fabrice > > > > > > > > > > > > On Fri, Mar 6, 2015 at 12:07 AM, David Allsopp > > > > > > wrote: > > > > 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 > > > git repo (forked from the official Git mirror) then you are > > > literally storing 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 provided 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 > > > > > > > > > > > > -- > > > Fabrice LE FESSANT > > > Chercheur en Informatique > > > INRIA Paris Rocquencourt -- OCamlPro Programming Languages and > > > Distributed Systems > > > > -- > > 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 > -- > Roberto Di Cosmo >=20 > ------------------------------------------------------------------ > Professeur En delegation a l'INRIA > PPS E-mail: roberto@dicosmo.org > Universite Paris Diderot WWW : http://www.dicosmo.org > Case 7014 Tel : ++33-(0)1-57 27 92 20 > 5, Rue Thomas Mann > F-75205 Paris Cedex 13 Identica: http://identi.ca/rdicosmo > FRANCE. Twitter: http://twitter.com/rdicosmo > ------------------------------------------------------------------ > Attachments: > MIME accepted, Word deprecated > http://www.gnu.org/philosophy/no-word-attachments.html > ------------------------------------------------------------------ > Office location: >=20 > Bureau 3020 (3rd floor) > Batiment Sophie Germain > Avenue de France > Metro Bibliotheque Francois Mitterrand, ligne 14/RER C > ----------------------------------------------------------------- > GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3