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=1.9 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL 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 5F522BBAF for ; Tue, 24 Mar 2009 13:52:58 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmECANdzyEnRVYC4mWdsb2JhbACVJj8BAQEBAQgLCgcRrgKPDQEDAQODcwaFaA X-IronPort-AV: E=Sophos;i="4.38,413,1233529200"; d="scan'208";a="24880654" Received: from fk-out-0910.google.com ([209.85.128.184]) by mail3-smtp-sop.national.inria.fr with ESMTP; 24 Mar 2009 13:52:57 +0100 Received: by fk-out-0910.google.com with SMTP id f33so891821fkf.9 for ; Tue, 24 Mar 2009 05:52:57 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:received:in-reply-to :references:date:x-google-sender-auth:message-id:subject:from:to:cc :content-type:content-transfer-encoding; bh=ymnxvuXDzz3HoOi9bfCU9alkTMAZH5zoY3HvMnNmnds=; b=SGAN1GFw2slobZQr5v95N/TUuEh2aYSPYeSWykMuiPrCIazRsi0XxqVJhZRxcxed61 Y+r7XYic2VUfmTh8fAnoYp0gv54wL5TKQBC4R/CsqpCRc4IeOuh7ZuuzSX7LFHQKHXHv cK2uTVKglwoMU7yhqXcdt5jsUT5n3hr3dLufw= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type :content-transfer-encoding; b=OKqe8CfY8beCGsPJy/w1ZctJlRk5B+OpREd//f3/JyDsbHjwZVbyz8JLdoYr/PexZh nZm9oD3lLbOOdJAD3MxEVjMDcpxSOR+PfXQCCXYk1Q2peIGxcpwdgTN5rL9WzffSH4J4 XMNfpBxkz5otjCL1Y1tlIwCllZ6wT27uU0Q9E= MIME-Version: 1.0 Sender: david.mentre@gmail.com Received: by 10.103.49.12 with SMTP id b12mr3620385muk.65.1237899177424; Tue, 24 Mar 2009 05:52:57 -0700 (PDT) In-Reply-To: <49C8BF16.7050303@ens-lyon.org> References: <200903241007.n2OA7TQj025998@deby.inria.fr> <3d13dcfc0903240355i73f7a3a1y1ff214bc2a59590e@mail.gmail.com> <49C8BF16.7050303@ens-lyon.org> Date: Tue, 24 Mar 2009 13:52:57 +0100 X-Google-Sender-Auth: 0378a50671dfeeee Message-ID: <3d13dcfc0903240552i6cf876dex71688bf0cdb3c7db@mail.gmail.com> Subject: Re: [Caml-list] First release of focalize, a development environment for high integrity programs. From: David MENTRE To: Martin Jambon Cc: Pierre Weis , caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; ens-lyon:01 2009:98 softwares:98 wrote:01 wrote:01 caml-list:01 jambon:01 jambon:01 off-topic:02 seems:03 constructive:03 let:03 debian:04 erik:04 100%:94 Hello Martin, On Tue, Mar 24, 2009 at 12:08, Martin Jambon wrote: > 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. I'm sorry to strongly disagree. I consider part of an annoucement to know the *precise* license under which a software is released (free software or not). A working or personnal environment can preclude the use of softwares under certain licenses. Many thanks to Erik for his constructive reply (which I should have done myself). Sincerely yours, david