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.8 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 EE169BBAF for ; Tue, 24 Mar 2009 11:55:53 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ai0CAORYyEnRVdq0kGdsb2JhbACVJT8BAQEBCQkMBxEDrUyOdAEDAQODcwaFaA X-IronPort-AV: E=Sophos;i="4.38,412,1233529200"; d="scan'208";a="24872539" Received: from mail-bw0-f180.google.com ([209.85.218.180]) by mail3-smtp-sop.national.inria.fr with ESMTP; 24 Mar 2009 11:55:53 +0100 Received: by bwz28 with SMTP id 28so1982253bwz.9 for ; Tue, 24 Mar 2009 03:55:53 -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=0Vhvl3yZcwNguUQ/JLHRNJxOir53xAx6xHeKbX37CM8=; b=PTaon9jsAizis8gf+uUl5ry0T7LfNq8t6sAFxTP6L3a67CKFZd3zgqFNqs/pdLUUYo v2gmhIsFtOJMlY4jSLoh6o/ogftZ+2+JJAjWDtxVIec02wo0pDP/KUBiV3FTxsvaHeDr NYBkCE4rA/GiAw3w8O/i34T3zhZVXygYced64= 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=EtLvLkTvsFNS33wV9xw0BgrSPpoBMgH5PAstXTKuIAL+LTuO+bzxzhXAGwyDv/Xol/ SLTvTfoPsYTJuR3Qt3oHkuT3fUazR90kWSWk042HP6mTwdfjGkmI4oFZO88XO+cSaiq0 7xNLJEkgWKIIE8IbwenPXKNfVwpnrzFv/Kl0I= MIME-Version: 1.0 Sender: david.mentre@gmail.com Received: by 10.103.240.15 with SMTP id s15mr3553191mur.102.1237892152908; Tue, 24 Mar 2009 03:55:52 -0700 (PDT) In-Reply-To: <200903241007.n2OA7TQj025998@deby.inria.fr> References: <200903241007.n2OA7TQj025998@deby.inria.fr> Date: Tue, 24 Mar 2009 11:55:52 +0100 X-Google-Sender-Auth: 72d08bc905c58cc5 Message-ID: <3d13dcfc0903240355i73f7a3a1y1ff214bc2a59590e@mail.gmail.com> Subject: Re: [Caml-list] First release of focalize, a development environment for high integrity programs. From: David MENTRE To: Pierre Weis Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; weis:01 weis:01 2009:98 wrote:01 caml-list:01 pierre:02 binary:02 binary:02 tgz:02 laboratoire:03 contributors:03 seems:03 seems:03 reproduce:03 debian:04 Hello, Thank you for the announcement. The project seems quite interesting. On Tue, Mar 24, 2009 at 11:07, Pierre Weis wrote: > (1) Where to find it ? > ---------------------- > FoCaLize home page is http://FoCaLize.inria.fr/ > FoCaLize source files can be found at > http://FoCaLize.inria.fr/download/focalize-0.1.0.tgz 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. ====LICENSE==== Copyright (c) 2007-2009, Institut National de Recherche en Informatique et en Automatique (INRIA), LIP6 (Laboratoire d'Informatique de Paris 6) All rights reserved. Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: * Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. * Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. * Neither the name of INRIA nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission. [...] ==== Sincerely yours, david