Debian jessie does not include the gmp documentation
bodrato at mail.dm.unipi.it
Wed Oct 28 05:14:03 UTC 2015
Il Mer, 28 Ottobre 2015 3:51 am, Niels Möller ha scritto:
> Vincent Lefevre <vincent at vinc17.net> writes:
>> IMHO, the problem with the GMP manual probably is:
>> with the Front-Cover Texts being "A GNU Manual", and with the
>> Back-Cover Texts being "You have freedom to copy and modify
>> this GNU Manual, like GNU software".
> I guess you're right.
Looking at the Copyright file in the package gmp-doc, it reads:
"This package is not part of the Debian GNU/Linux distribution as it is
licenced under the GFDL with invariant texts."
Not "invariant sections" but "invariant texts".
On the other side, the Debian package libmpfr-doc contains the
documentation and is distributed in . It's Copyright file reads:
"[...] GNU Free Documentation License, Version 1.2 or any later version
published by the Free Software Foundation; with no Invariant Sections,
with no Front-Cover Texts, and with no Back-Cover Texts."
Same licence but no Front-Cover, and no Back-Cover, as a result it is in
More information about the gmp-devel