From: Damien Doligez <damien.doligez@inria.fr>
To: caml users <caml-list@inria.fr>
Subject: Re: [Caml-list] First release of focalize, a development environment for high integrity programs.
Date: Wed, 25 Mar 2009 10:02:22 +0100 [thread overview]
Message-ID: <EE6CE26A-EAB5-4001-98AB-04CF40A64A82@inria.fr> (raw)
In-Reply-To: <3d13dcfc0903240355i73f7a3a1y1ff214bc2a59590e@mail.gmail.com>
On 2009-03-24, at 11:55, 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.
In my (off-topic for this list) opinion, this whole licence business
is totally out of control because lawyers have succeeded in scaring
everyone witless about it. For example, I don't understand why you
would need a detailed review of the code in order to notice that the
licence (which you quoted) is an exact copy of the new BSD licence
(straight from www.opensource.org, IIRC).
Whether you (or the Debian developers, Microsoft management, or
whoever else) choose to call it Free is a matter of political
opinion and debate on this topic is usually a waste of time.
This was my license rant for 2009. Thanks for your attention.
-- Damien
next prev parent reply other threads:[~2009-03-25 9:02 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-03-24 10:07 Pierre Weis
2009-03-24 10:55 ` [Caml-list] " David MENTRE
2009-03-24 11:08 ` Martin Jambon
2009-03-24 12:52 ` David MENTRE
2009-03-24 11:23 ` Erik de Castro Lopo
2009-03-24 17:03 ` Stefano Zacchiroli
2009-03-25 9:02 ` Damien Doligez [this message]
2009-03-25 13:57 ` David MENTRE
2009-03-25 0:02 ` Richard Jones
2009-03-25 0:11 ` Raoul Duke
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=EE6CE26A-EAB5-4001-98AB-04CF40A64A82@inria.fr \
--to=damien.doligez@inria.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).