Bug#863082: pulseaudio: debian/copyright does not contain AGPL-3+ text, and references missing file instead
fsateler at debian.org
Sun May 21 23:11:36 UTC 2017
On Sun, May 21, 2017 at 10:36 AM, Mattia Rizzolo <mattia at debian.org> wrote:
> Source: pulseaudio
> Version: 10.0-1
> Severity: serious
> the copyright file has this paragraph:
> |Files: src/utils/qpaeq
> |Copyright: 2009 Jason Newton <nevion at gmail.com>
> |License: AGPL-3+
> | This program is free software: you can redistribute it and/or modify
> | it under the terms of the GNU Affero General Public License as
> | published by the Free Software Foundation, either version 3 of the
> | License, or (at your option) any later version.
> | .
> | This program is distributed in the hope that it will be useful,
> | but WITHOUT ANY WARRANTY; without even the implied warranty of
> | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
> | GNU Affero General Public License for more details.
> | .
> | On Debian systems, the complete text of the AGPL 3 can be found in
> | /usr/share/doc/pulseaudio/AGPL
> This is not acceptable for our current policy for the same points:
> * said file /usr/share/doc/pulseaudio/AGPL is missing, it appears to be
> compressed instead
> * so /use/share/doc/pulseaudio/AGPL.gz iscompressed, and quoting the
> policy "This file must neither be compressed nor be a symbolic link"
Indeed, it was compressed by dh_compress. I need to add an exclusion
> * there are binaries shipped by src:pulseaudio which do not depend on
> the pulseaudio binary package, thus totally missing the AGPL-3 text
All packages ship AGPL file, but indeed the reference is to the
pulseaudio package directory. Will fix.
> * policy does not consider files different than
> /usr/share/doc/<pkg>/copyright to be possible, except for a few cases
> explicitly listed there (where this is not one of those)
`grep usr/share/doc /usr/share/doc/*/copyright` in my system lists
several files making references to copyright in other files. Policy
might need to be updated.
More information about the pkg-pulseaudio-devel