Debian jessie does not include the gmp documentation

[Joerg Arndt]

* 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.
Someone tries to be more catholic than the pope, it seems.

Best regards,  jj

> 
> -- 
> 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)