GMP license: COPYING file (GPL) and LGPLv3

Torbjorn Granlund tg at
Tue Mar 18 12:11:46 UTC 2014

Vincent Lefevre <vincent at> writes:

  Even for GMP, the README file is ambiguous, if not incorrect: the
  manual is under the GFDL, and some files, such as install-sh and
  the ones, have a special license (BTW, I'm wondering
  why Debian devs didn't complain that the "as long as this notice
  is preserved" makes the file non-free).

Note that is generated by automake.  Its copyright header
points out that the copyright header cannot be removed.  If Debian would
have problems with that, then they have problems with every file

Please encrypt, key id 0xC8601622

More information about the gmp-discuss mailing list