Debian jessie does not include the gmp documentation

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 vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)