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.5 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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id F0D1EBBAF for ; Tue, 24 Mar 2009 12:11:11 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AigBAN9cyElCbwQakGdsb2JhbACVZAEBAQEJCQwHEQS8W4N2Bg X-IronPort-AV: E=Sophos;i="4.38,412,1233529200"; d="scan'208";a="23151599" Received: from out2.smtp.messagingengine.com ([66.111.4.26]) by mail2-smtp-roc.national.inria.fr with ESMTP; 24 Mar 2009 12:11:11 +0100 Received: from compute2.internal (compute2.internal [10.202.2.42]) by out1.messagingengine.com (Postfix) with ESMTP id 5FE222F7A2A; Tue, 24 Mar 2009 07:11:10 -0400 (EDT) Received: from heartbeat2.messagingengine.com ([10.202.2.161]) by compute2.internal (MEProxy); Tue, 24 Mar 2009 07:11:10 -0400 X-Sasl-enc: 6sgAO7f8XqPtVHYoBJ8oyzFz0FKYPpTBUUd3+Gb40HIF 1237893069 Received: from [192.168.1.10] (ALyon-157-1-88-7.w90-37.abo.wanadoo.fr [90.37.199.7]) by mail.messagingengine.com (Postfix) with ESMTPSA id 86BBD2BFC3; Tue, 24 Mar 2009 07:11:09 -0400 (EDT) Message-ID: <49C8BF16.7050303@ens-lyon.org> Date: Tue, 24 Mar 2009 12:08:06 +0100 From: Martin Jambon User-Agent: Thunderbird 2.0.0.17 (X11/20081008) MIME-Version: 1.0 To: David MENTRE Cc: Pierre Weis , caml-list@inria.fr Subject: Re: [Caml-list] First release of focalize, a development environment for high integrity programs. References: <200903241007.n2OA7TQj025998@deby.inria.fr> <3d13dcfc0903240355i73f7a3a1y1ff214bc2a59590e@mail.gmail.com> In-Reply-To: <3d13dcfc0903240355i73f7a3a1y1ff214bc2a59590e@mail.gmail.com> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; ens-lyon:01 wrote:01 caml-list:01 jambon:01 jambon:01 off-topic:02 seems:03 let:03 debian:04 100%:94 discussion:06 release:09 consider:09 environment:10 license:12 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. Let me take the bait and bury it. Such discussion would be 100% off-topic. Thanks. Martin -- http://mjambon.com/