Archives of the Caml mailing list > Message from Erik de Castro Lopo

Browse thread

First release of focalize, a development environment for high integrity programs.

Pierre Weis
- David MENTRE
  - Martin Jambon
    - David MENTRE
  - Erik de Castro Lopo
  - Stefano Zacchiroli
  - Damien Doligez
    - David MENTRE
- Richard Jones
  - Raoul Duke

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/