From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 379D4BC88 for ; Mon, 31 Jan 2005 08:38:45 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j0V7ciO4006076 for ; Mon, 31 Jan 2005 08:38:44 +0100 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id IAA21066 for ; Mon, 31 Jan 2005 08:38:44 +0100 (MET) Received: from smtp7.wanadoo.fr (smtp7.wanadoo.fr [193.252.22.24]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j0V7citf029360 for ; Mon, 31 Jan 2005 08:38:44 +0100 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf0708.wanadoo.fr (SMTP Server) with ESMTP id 0BA231C00091; Mon, 31 Jan 2005 08:38:44 +0100 (CET) Received: from pegasos (AStrasbourg-251-1-65-234.w82-126.abo.wanadoo.fr [82.126.133.234]) by mwinf0708.wanadoo.fr (SMTP Server) with ESMTP id AB6331C0008A; Mon, 31 Jan 2005 08:38:43 +0100 (CET) X-ME-UUID: 20050131073843702.AB6331C0008A@mwinf0708.wanadoo.fr Received: from luther by pegasos with local (Exim 4.43) id 1CvW65-0000Qq-Mt; Mon, 31 Jan 2005 08:35:45 +0100 Date: Mon, 31 Jan 2005 08:35:45 +0100 To: Jacques Garrigue Cc: sven.luther@wanadoo.fr, caml-list@inria.fr Subject: Re: [Caml-list] Ocaml license - why not GPL? Message-ID: <20050131073544.GB19902@pegasos> References: <20050128164744.GG13718@osiris.uid0.sk> <20050129.150538.78035843.garrigue@math.nagoya-u.ac.jp> <20050130062235.GC32348@pegasos> <20050131.095711.27629180.garrigue@math.nagoya-u.ac.jp> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline In-Reply-To: <20050131.095711.27629180.garrigue@math.nagoya-u.ac.jp> User-Agent: Mutt/1.5.6+20040907i From: Sven Luther X-Miltered: at concorde with ID 41FDE084.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 41FDE084.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 gpl:01 sven:01 luther:01 sven:01 luther:01 wrote:01 gpl:01 ocaml:01 flamewar:01 debian-legal:01 debian-legal:01 coder:01 altough:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: On Mon, Jan 31, 2005 at 09:57:11AM +0900, Jacques Garrigue wrote: > From: Sven Luther > > > > The QPL is an official open-source license. > > > > Well, it seems that this same fact is highly disputed, and trolltech did in > > fact dual licence Qt under the GPL too. The current ocaml licence was modified > > from plain QPL though recently, after 2-4 week of intense flamewar on > > debian-legal, and there are some clause yet in it which where subject to > > discussion. > > Well, I don't know who disputed this, at least it is an OSI recognized > open-source license, which I believe to be the definition of > "officially open-source". There is a 200+ thread on debian-legal i can point you too if you like. If i remember well, the problematic clauses where : 1) the choice of venue clause is probably illegal in most countries, since you have to sue in the court where the defendant lives or does business, and imposing Paris is not accepatble. 2) the clause 6c, which causes some burdensome constraint on developer of third party product linking with the code. The clause is also confuse and difficult to intepret, meaning that any third party coder has to keep the code version around forever waiting for the whim of original authors. It also forbids private releases of third party code, which altough not mentioned in the DFSG is considered as one of the elemental freedoms. Notice that matters are additionally confused by the fact that clause 6 speaks about linking, which applies to works using the library (well, the compiler in the ocaml case, but Qt was designed with libraries in mind), and not modified works, altough the differenciation between both is not really the same. These two problematic clauses where dropped by Xavier and the ocaml team with 3.08.2, so there is no problem. The other problematic clause, which was under discussion, but not considered a show-stopper, or rather, i used the preffered debian-legal tactic of lengthening the thread until everyone got bored, and only a vocal minority remained to not-be-happy about this once the two other points were solved is : 3) Clause 3b, which imposes a dissymetry of rights between the ocaml developers and other developers reusing code. The reused code is made available for re-usage in ocaml, under whatever licence the ocaml team choses in addition to the QPL, but this is not true the other way around. Notice that a strict interpretation, where one argues that if work B is linked with work A, then both B is a derivative work of work A, but also you can consider work A as a derivative of work B, once work A include code from work B. This is especially dubious once the amount of code in work B is greater than the amount of code in work A. This kind of interpretation would allow anyone whose code has been integrated in ocaml to relicence ocaml under whatever licence, altough i believe this will lead to a lengthy court case, and the judge in the end will consider the relative importance of both code bases, and maybe some chronology of the code bases. IANAL though. Furthermore, the QPL is also non-free, which means aside from the choice of venue/law, it cannot be modified, which means the ocaml patch has been forced to do some patching of the licence to solve the above issues. As you see, the matter is far from clean, and i believe that the confrontation was only dropped because Trolltech dual-licenced Qt, and the matter mostly became moot. There is as said, a controversy on the QPL, and many person consider the decision to admit it as free a mistake that may be returned upon if there is enough incentive. There is a pointer to that discussion in the debian-legal thread, but i don't feel like digging it out. > To the best of my knowledge, Trolltech decided to release a GPL'ed > version of Qt because the QPL is not compatible with the GPL, which is > no surprise at all: by definition the GPL is only compatible with > itself, or strictly weaker licenses, like BSD or LGPL. Like said above, the issue is not all that clear, and was only dropped because of the dual-licencing issue. Also the incompatibilities is a bit more subtle than plain GPL subsumption of weaker licences. The above analysis is fully orthogonal to the GPL compatibility issue. > This is less of a problem with ocaml, because the part covered by the > QPL is the compiler, not the library, so this should only concern > persons hacking the compiler itself. Yes, and no, there are some part of the compiler, like the ocamlmktop generated stuff, or whatever is used by some parts of camlp4 or the cameleon stuff, or i don't remember exactly, but those that build-depend on the ocaml-source package in debian, which have a vocation of being reusable and are covered by the QPL. Hope this clarifies things a bit, and sorry for the long post, legal issues are usually bothersome to everyone involved and i was only dragged into those because of the threat of ocaml having to be moved in non-free by debian. Friendly, Sven Luther