Debian jessie does not include the gmp documentation

Torbjörn Granlund tg at
Wed Oct 28 07:15:40 UTC 2015

"Marco Bodrato" <bodrato at> writes:

  "[...] 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

We use 1.3 (which might not be relevant; I don't even know the
differences between 1.2 and 1.3).

Please encrypt, key id 0xC8601622

More information about the gmp-devel mailing list