Browse thread
First release of focalize, a development environment for high integrity programs.
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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