The Coq mailing list

["Soegtrop, Michael" <michael.soegtrop AT intel.com>]

Dear Pierre-Marie,

> 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).

yes I am aware of this and I hesitated a bit before I sent the email. I did 
it anyway because all of the people I know who are a punk outside are very 
sensible inside and I am not sure if he is aware of the consequences of the F 
in WTFPL. In the end I think people write open source SW so that it is used 
(at least this is my motivation). It is fun to create something like the 
WTFPL but if this has the consequence that your SW is then not used as much, 
and more importantly the SW of others who copy the WTFPL, I would ask myself 
if the fun is worth it. 

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

Would you accept my apologizes if I promise to pay for a beer/wine/scotch/... 
for you and Sam when you meet him?

Best regards,

Michael
Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928