Bug#765619: xboard: copyright file DEC section incorrectly shadows GPL3 one

[Yann Dirson]

Package: xboard
Version: 4.8~git20140119-1
Severity: normal

While looking at how xboard handled the DEC license issue for
shogivar, which uses code from XBoard, I noticed the following
problem:

The copyright-format spec says "The last paragraph that matches a
particular file applies to it.", but the XBoard copyright file first
declares all files GPL-3+, and then declares all files as exception
using the DEC license, so strictly speaking that renders the initial
GPL3+ stance dead code.

Thorsten Alteholz wrote about shogivar:
> parts of those files are licensed under the DEC license and cannot
> be relicensed just by declaring that the whole file is now
> GPLv3. The old license is still valid but you don't have to know
> what parts are coverd by it. Those who want to use the parts under
> the permissive license have to figure this out. So, just name the
> License: DECandGPL (or whatever you like) and copy the text from the
> file header (including a pointer to the GPL-file in Debian).


-- System Information:
Debian Release: jessie/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable'), (500, 'stable'), (101, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 3.16-2-amd64 (SMP w/4 CPU cores)
Locale: LANG=C, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash

Versions of packages xboard depends on:
ii  libc6               2.19-11
ii  libcairo2           1.12.16-5
ii  libgdk-pixbuf2.0-0  2.30.8-1+b1
ii  libglib2.0-0        2.42.0-2
ii  libice6             2:1.0.9-1
ii  librsvg2-2          2.40.4-1
ii  libsm6              2:1.2.2-1
ii  libx11-6            2:1.6.2-3
ii  libxaw7             2:1.0.12-2
ii  libxmu6             2:1.1.2-1
ii  libxt6              1:1.1.4-1

Versions of packages xboard recommends:
ii  fairymax       4.8t-1
ii  xfonts-100dpi  1:1.0.3
ii  xfonts-75dpi   1:1.0.3

Versions of packages xboard suggests:
ii  xterm [x-terminal-emulator]  312-1

-- no debconf information