From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id EAA14667; Tue, 22 Jul 2003 04:37:35 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 EAA05004 for ; Tue, 22 Jul 2003 04:37:33 +0200 (MET DST) Received: from main.gmane.org (main.gmane.org [80.91.224.249]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h6M2bWT23589 for ; Tue, 22 Jul 2003 04:37:33 +0200 (MET DST) Received: from list by main.gmane.org with local (Exim 3.35 #1 (Debian)) id 19en0K-00088N-00 for ; Tue, 22 Jul 2003 04:35:52 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr Received: from news by main.gmane.org with local (Exim 3.35 #1 (Debian)) id 19emzY-000864-00 for ; Tue, 22 Jul 2003 04:35:04 +0200 From: Alan Post Subject: [Caml-list] licensing (was Re: GODI (was: CTAN/CPAN for Caml (COCAN ...?))) Date: Tue, 22 Jul 2003 02:35:04 +0000 (UTC) Message-ID: References: <20030720183027.GB559@eecs.harvard.edu> X-Complaints-To: usenet@main.gmane.org User-Agent: slrn/0.9.7.4 (NetBSD) X-Loop: caml-list@inria.fr X-Spam: no; 0.00; cpan:01 -pack:01 avoiding:01 nameclash:01 qpl:01 gpl:01 forked:01 forks:01 gpled:01 interfere:01 lgpl:01 200111:01 compiler:01 compilers:01 ocaml:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > Not that I think that we should take over development of O'CaML, but > the "-pack" option does not seem to help avoiding nameclash and I > don't want to just complain about it... You are actually not permitted by the license to "take over development of O'CaML". In practice, this means that it is indeed very important what the INRIA folks think about any given issue. http://caml.inria.fr/ocaml/LICENSE.html This page explains that ocaml compiler is licensed under the QPL, rather than the GPL, because "proper attribution of results is crucial in the research world." Would any INRIA folks care to elaborate on this? I really haven't heard about cases where an academic didn't get tenure because her free software project was forked. I'm not an academic, so perhaps I just don't hear about such events. The page also says, We are aware that this clause of the QPL (distribution of modified versions as patches) can become uncomfortable for the development of programs derived from the OCaml compilers and tools. If so, consider becoming a member of the Caml Consortium: members of the Consortium benefit from less restrictive licensing conditions. Though presumably the >= 2000 Euro license does not allow the redistribution of modified ocaml compiler sources, either. I would guess that the Caml Consortium license is aimed at proprietary, binary-distribution forks of ocaml. Note that a GPLed public release of the ocaml compiler would not interfere with this revenue source. The page does not mention what will happen when INRIA stops funding ocaml development. If I understand correctly, it is INRIA as an entity, rather than the ocaml developers, who owns the copyright to the ocaml compiler. An example of what can happen is qmail: I believe there have been no releases since 15 June 1998, leading to a maze of patches. I searched the list archives, and found much discussion of the library license (the complications of the LGPL), but not much about ocaml compiler licensing. Twice, people asked about it: http://caml.inria.fr/archives/200111/msg00478.html http://caml.inria.fr/archives/200111/msg00464.html but both questions went unanswered. I'd be very interested to hear more about this. ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners