The Coq mailing list

[Gabriel Scherer <gabriel.scherer AT gmail.com>]

Pierre-Marie, I think the worry is valid, and that sending an email to the author when there are licensing troubles is the right process to follow, independently of the author's sense of humor.

On Wed, Mar 2, 2016 at 5:47 PM, Pierre-Marie Pédrot <pierre-marie.pedrot AT inria.fr> wrote:

On 02/03/2016 23:23, Soegtrop, Michael wrote:
> I guess so. I sent him an email explaining the situation. Let's see
> what happens.

You're seriously trying to make Sam Hocevar relicense a software he
wrote because of the name of the license? Do you know that apart from
being the designer of the WTFPL, he's also the developer of the famous
libcaca, one of the author of the famous http://cyclim.se/ site, as well
as a fan of that sort of stuff: http://sam.zoy.org/porn/ (do not worry,
that's SFW).

I would personally feel a bit ashamed to know that people ask him to do
this for the benefit of the Coq software...

« Gérard, reviens, ils sont devenus fous ! »

PMP