Bug#693885: src:mathgl: non-free files in main (GFDL with Back/Front Cover Text)

[Sébastien Villemot]

Sébastien Villemot <sebastien at debian.org> writes:

> Ansgar Burchardt <ansgar at debian.org> writes:
>
>> Source: mathgl
>> Version: 1.11.2-14
>> Severity: serious
>> Control: found -1 2~rc1-3
>>
>> Files: texinfo/*
>> Copyright: (C) 2008 Alexey Balakin <mathgl.abalakin at gmail.com>
>> License: GFDL-1.2+
>>  Permission is granted to copy, distribute and/or modify this document
>>  under the terms of the GNU Free Documentation License, Version 1.2 or
>>  any later version published by the Free Software Foundation; with no
>>  Invariant Sections, with the Front-Cover Texts being ``A GNU Manual,''
>>  and with the Back-Cover Texts as in (a) below.  A copy of the
>>  license is included in the section entitled ``GNU Free Documentation
>>  License.''
>>  (a) The FSF's Back-Cover Text is: ``You have the freedom to
>>  copy and modify this GNU manual.  Buying copies from the FSF
>>  supports it in developing GNU and promoting software freedom.''
>>
>> The GFDL is only free without Invariant Sections and without Front- and
>> Back-Cover Texts.
>
> Looks like we have to strip the manual from the package, unless upstream
> (quickly) agrees to remove the front- and back-cover texts.

Dimitrios has contacted the upstream author, and he agrees to remove the
front- and back-cover texts.

Ansgar: is it ok for ftpmasters if we fix this issue by just changing
the debian/copyright file (possibly pointing to some public location
like a SVN commit as a proof of the relicensing)? or do you require
upload with a new orig tarball?

-- 
 .''`.    Sébastien Villemot
: :' :    Debian Developer
`. `'     http://www.dynare.org/sebastien
  `-      GPG Key: 4096R/381A7594
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 835 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/debian-science-maintainers/attachments/20121122/2cb3c904/attachment-0001.pgp>