Debian jessie does not include the gmp documentation

Marc Glisse marc.glisse at
Mon Oct 26 19:35:07 UTC 2015

On Mon, 26 Oct 2015, Joerg Arndt wrote:

> * Vincent Lefevre <vincent at> [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 and

Marc Glisse

More information about the gmp-devel mailing list