Archives of the Caml mailing list > Message from David MENTRE

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:	David MENTRE <dmentre@l...>
Subject:	Re: [Caml-list] First release of focalize, a development environment for high integrity programs.

Hello Martin,

On Tue, Mar 24, 2009 at 12:08, Martin Jambon <martin.jambon@ens-lyon.org> 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