Debian jessie does not include the gmp documentation
marc.glisse at inria.fr
Mon Oct 26 19:35:07 UTC 2015
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
More information about the gmp-devel