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 45F8D7EEE0 for ; Fri, 6 Mar 2015 10:01:40 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rdicosmo@gmail.com) identity=pra; client-ip=74.125.82.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of rdicosmo@gmail.com designates 74.125.82.169 as permitted sender) identity=mailfrom; client-ip=74.125.82.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@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-we0-f169.google.com) identity=helo; client-ip=74.125.82.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="postmaster@mail-we0-f169.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0C+AADsa/lUlKlSfUpcg1hVBbFrhiGJTAqHKE0BAQEBAQEQAQEBAQcLCwkSMIQQAQEEAQIPKAYBFBkLAQMMAQUFDgoJBCEPBSABBQEBCRgTCQkICId5AxEFAwWpdz4xkBCQEScDCoU6AQEBAQEFAgEZAQUOiwmIDIEUBYRvCn6Nc4VpgRs5jA6CTIF4NYEVXIFJHIFRbgGCQgEBAQ X-IPAS-Result: A0C+AADsa/lUlKlSfUpcg1hVBbFrhiGJTAqHKE0BAQEBAQEQAQEBAQcLCwkSMIQQAQEEAQIPKAYBFBkLAQMMAQUFDgoJBCEPBSABBQEBCRgTCQkICId5AxEFAwWpdz4xkBCQEScDCoU6AQEBAQEFAgEZAQUOiwmIDIEUBYRvCn6Nc4VpgRs5jA6CTIF4NYEVXIFJHIFRbgGCQgEBAQ X-IronPort-AV: E=Sophos;i="5.11,351,1422918000"; d="scan'208";a="124679183" Received: from mail-we0-f169.google.com ([74.125.82.169]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 06 Mar 2015 10:01:39 +0100 Received: by wevl61 with SMTP id l61so21135048wev.0; Fri, 06 Mar 2015 01:01:39 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:date:from:to:cc:subject:message-id:references:mime-version :content-type:content-disposition:in-reply-to:user-agent; bh=XPfSwGIBopRsEceMHFHhIu0nRTCPKlBxAad1j1HX35s=; b=fpikOVBEvJ26kCNQmS4ARi3n8bpzPFgLETUnU3Gu5gggUrQj09tvZbEzp/Ztv+BYqD 0MviFZL6w305Xj5p6XI78LZSO35IwuCOIzgOvSup6EbqoRPUxMFoNCRekd1j+ikIj411 rhBklJzsFU9RHba0UrcZkT5rDL12yIeydDzS4dX4+XhoTTkYBKm/AnV29jMUrQpvfjUp RjNziHe8o2DTayZekxeLXLuQpB964Y79FPKH4no0/PCh/EpsZzPMGpfyvROWSjW1kA0J vq/ZU8UqIkBNVnc1x45YLjswlbUlaGUGqGyczfZM8mqKLxUMBzqza04aTByoEwDiv7gr nYdg== X-Received: by 10.180.106.225 with SMTP id gx1mr74920814wib.53.1425632499488; Fri, 06 Mar 2015 01:01:39 -0800 (PST) Received: from traveler (wifi-eduroam-161194.inria.fr. [128.93.161.194]) by mx.google.com with ESMTPSA id m4sm1300037wik.20.2015.03.06.01.01.38 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 06 Mar 2015 01:01:38 -0800 (PST) Sender: Roberto Di Cosmo Received: from dicosmo by traveler with local (Exim 4.82_1-5b7a7c0-XX) (envelope-from ) id 1YTo8W-00043s-S1; Fri, 06 Mar 2015 10:01:36 +0100 Date: Fri, 6 Mar 2015 10:01:36 +0100 From: Roberto Di Cosmo To: David Allsopp Cc: Fabrice Le Fessant , Alexey Egorov , Adrien Nader , "caml-list@inria.fr" Message-ID: <20150306090136.GA15242@traveler> References: <1425577100.968957623@f83.i.mail.ru> <20150305194136.GA31199@notk.org> <1425585056.666752588@f303.i.mail.ru> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.23 (2014-03-12) Subject: Re: [Caml-list] ocaml compiler license 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. Cheers -- Roberto 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 -- Roberto Di Cosmo ------------------------------------------------------------------ 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: 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