<div dir="ltr"><div class="gmail_default" style="font-family:'trebuchet ms',sans-serif;color:rgb(102,102,102)">Allright, so what is the procedure now to use <a href="http://www.gnu.org/copyleft/gpl.html">http://www.gnu.org/copyleft/gpl.html</a>?</div>
</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Jun 5, 2014 at 12:57 PM, Thorsten Glaser <span dir="ltr"><<a href="mailto:tg@mirbsd.de" target="_blank">tg@mirbsd.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Source: antlr<br>
Version: 2.7.7+dfsg-5<br>
Severity: serious<br>
Tags: upstream<br>
Justification: Policy 2.3<br>
<br>
The PyANTLR component – lib/python/antlr/ in the source tree – was<br>
written by Wolfgang Häfelinger, who, according to his website, is<br>
German. The PyANTLR component references a “LICENSE.txt” file “for<br>
license details”, which is missing. The top-level licence file of<br>
antlr cannot be meant by it, because German citizens cannot disclaim<br>
copyright and let their work wilfully enter Public Domain.<br>
<br>
This means that PyANTLR is unlicenced proprietary software, unless<br>
the author adds a DFSG-free licence for his code and the Debian<br>
maintainer adds it to debian/copyright accordingly.<br>
<br>
I’ve added Wolfgang Häfelinger to Cc, so he can comment directly<br>
and is notified about this issue.<br>
<br>
-- System Information:<br>
Debian Release: jessie/sid<br>
APT prefers unstable<br>
APT policy: (500, 'unstable'), (500, 'testing'), (500, 'stable')<br>
Architecture: i386 (i686)<br>
<br>
Kernel: Linux 3.14-1-amd64 (SMP w/4 CPU cores)<br>
Locale: LANG=C, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8)<br>
Shell: /bin/sh linked to /bin/lksh<br>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><div dir="ltr">Wolfgang Häfelinger<br>häfelinger IT - Applied Software Architecture<br><a href="http://www.haefelinger.it" target="_blank">http://www.haefelinger.it</a><div>
+49 1520 32 52 981<br>(+31 648 27 61 59) <br></div></div>
</div>