Debian jessie does not include the gmp documentation

Vincent Lefevre vincent at
Mon Oct 26 16:03:38 UTC 2015

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.

Vincent Lefèvre <vincent at> - Web: <>
100% accessible validated (X)HTML - Blog: <>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)

More information about the gmp-devel mailing list