Debian jessie does not include the gmp documentation
Torbjörn Granlund
tg at gmplib.org
Wed Oct 28 07:15:40 UTC 2015
"Marco Bodrato" <bodrato at mail.dm.unipi.it> 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
"main".
We use 1.3 (which might not be relevant; I don't even know the
differences between 1.2 and 1.3).
--
Torbjörn
Please encrypt, key id 0xC8601622
More information about the gmp-devel
mailing list