Debian jessie does not include the gmp documentation

Marco Bodrato bodrato at
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> 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 mailing list