Debian jessie does not include the gmp documentation

[Marc Glisse]

On Mon, 26 Oct 2015, Joerg Arndt wrote:

> * Vincent Lefevre <vincent at vinc17.net> [Oct 26. 2015 20:05]:
>> On 2015-10-26 16:42:20 +0100, Joerg Arndt wrote:
>>> The file  /usr/share/doc/libgmp10/README.Debian
>>> contains the mysterious sentences
>>>
>>>   Sadly, due to licensing the GMP documentation is no longer shipped in
>>>   Debian.  The package libgmp10-doc now contains only demo code.
>>>
>>> Any explanation for this?
>>
>> Non-free (with Debian's meaning). Use the non-free gmp-doc package.
>
> Well, that is depressing. At the very least they should give the reason.

$ head -n 4 /usr/share/doc/gmp-doc/copyright
This package is not part of the Debian GNU/Linux distribution as it is
licenced under the GFDL with invariant texts.  See
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=335403 and
http://lists.debian.org/debian-legal/2006/03/msg00536.html

-- 
Marc Glisse