The Coq mailing list

[Pierre-Marie Pédrot <pierre-marie.pedrot AT inria.fr>]

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

Attachment: signature.asc
Description: OpenPGP digital signature