Version française
Home     About     Download     Resources     Contact us    
Browse thread
First release of focalize, a development environment for high integrity programs.
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Stefano Zacchiroli <zack@d...>
Subject: Re: [Caml-list] First release of focalize, a development environment for high integrity programs.
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