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.0 required=5.0 tests=none 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 D9132BBAF for ; Tue, 24 Mar 2009 18:04:38 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj8DAJuvyElDz4HegWdsb2JhbACVZwEBFiK8eoN2Bg X-IronPort-AV: E=Sophos;i="4.38,413,1233529200"; d="scan'208";a="24899899" Received: from fettunta.fettunta.org ([67.207.129.222]) by mail3-smtp-sop.national.inria.fr with ESMTP; 24 Mar 2009 18:04:38 +0100 Received: from usha.takhisis.invalid (unknown [10.17.0.10]) by fettunta.fettunta.org (Postfix) with ESMTPS id 0E1F818148 for ; Tue, 24 Mar 2009 17:04:36 +0000 (UTC) Received: by usha.takhisis.invalid (Postfix, from userid 1000) id B09606306; Tue, 24 Mar 2009 18:03:53 +0100 (CET) Date: Tue, 24 Mar 2009 18:03:53 +0100 From: Stefano Zacchiroli To: caml-list@inria.fr Subject: Re: [Caml-list] First release of focalize, a development environment for high integrity programs. Message-ID: <20090324170353.GA10511@usha.takhisis.invalid> Mail-Followup-To: caml-list@inria.fr References: <200903241007.n2OA7TQj025998@deby.inria.fr> <3d13dcfc0903240355i73f7a3a1y1ff214bc2a59590e@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <3d13dcfc0903240355i73f7a3a1y1ff214bc2a59590e@mail.gmail.com> User-Agent: Mutt/1.5.18 (2008-05-17) X-Spam: no; 0.00; zacchiroli:01 zack:01 0100,:01 usr:01 cheers:01 fwiw:01 zacchiroli:01 postdoc:01 zack:01 2009:98 softwares:98 dietro:98 c'e:98 sempre:98 wrote:01 On Tue, Mar 24, 2009 at 11:55:52AM +0100, 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. I certainly would. [*] Actually, the license snippet you posted matches what is shipped on Debian machines as /usr/share/common-licenses/BSD , a license under which hundreds of Debian-packaged softwares are currently released. Cheers. [*] FWIW, I'm replying only accordingly to your mail and I haven't checked all of focalize's source files. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...........| ..: |.... Je dis tu à tous ceux que j'aime