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: Erik de Castro Lopo <mle+ocaml@m...>
Subject: Re: [Caml-list] First release of focalize, a development environment for high integrity programs.
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 am not a Debian Developer, but this seems to be what the Free
Software Foundation calls a modified BSD license:

    http://www.xfree86.org/3.3.6/COPYRIGHT2.html#5

This is just one of the licenses that the FSF considers a GPL
compatible license:

    http://www.gnu.org/philosophy/license-list.html

As a GPL compatible license, I think most people, including
DDs would consider this Free Software.

Erik
-- 
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/