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: 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