From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id A688EBBAF for ; Wed, 25 Mar 2009 10:02:23 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.38,418,1233529200"; d="scan'208";a="24936203" Received: from bne75-9-88-168-234-79.fbx.proxad.net (HELO [192.168.0.62]) ([88.168.234.79]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 25 Mar 2009 10:02:23 +0100 Message-Id: From: Damien Doligez To: caml users In-Reply-To: <3d13dcfc0903240355i73f7a3a1y1ff214bc2a59590e@mail.gmail.com> Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v930.3) Subject: Re: [Caml-list] First release of focalize, a development environment for high integrity programs. Date: Wed, 25 Mar 2009 10:02:22 +0100 References: <200903241007.n2OA7TQj025998@deby.inria.fr> <3d13dcfc0903240355i73f7a3a1y1ff214bc2a59590e@mail.gmail.com> X-Mailer: Apple Mail (2.930.3) X-Spam: no; 0.00; damien:01 damien:01 iirc:01 2009:98 doligez:01 doligez:01 wrote:01 caml-list:01 off-topic:02 seems:03 debian:04 debian:04 bsd:04 licence:05 licence:05 On 2009-03-24, at 11:55, David MENTRE wrote: > For those interested in such details, FoCaLize seems to be under a > BSD-like license (I have not made a detailed review of the code). I > would be interested to know if knowledged people (e.g. Debian > developers ;-) consider this code Free Software or not. In my (off-topic for this list) opinion, this whole licence business is totally out of control because lawyers have succeeded in scaring everyone witless about it. For example, I don't understand why you would need a detailed review of the code in order to notice that the licence (which you quoted) is an exact copy of the new BSD licence (straight from www.opensource.org, IIRC). Whether you (or the Debian developers, Microsoft management, or whoever else) choose to call it Free is a matter of political opinion and debate on this topic is usually a waste of time. This was my license rant for 2009. Thanks for your attention. -- Damien