GMP license: COPYING file (GPL) and LGPLv3

[Torbjorn Granlund]

"pesec.il" <pesec.il at gmail.com> writes:

  Hello, colleagues.
  I see that the GMP site (https://gmplib.org/manual/Copying.html) tells
  GMP has LGPL license:
  
     ---
     The precise conditions of the license for the GNU MP library are
     found in the Lesser General Public License version 3 that
     accompanies the source code, see COPYING.LIB. Certain demonstration
     programs are provided under the terms of the plain General Public
     License version 3, see COPYING.
     ---
  
  But when I look at the README file in GMP 5.1.3 source distribution, it
  says:
  
     ---
     GNU MP is free software and may be freely copied on the terms
     contained in the files COPYING.LIB and COPYING (most of GNU MP
     is under the former, some under the latter).
     ---
  
Are you suggesting there is a contradicton here?

  So, the README file does not explicitly say what is licensed under GPL
  and what is licensed under LGPL.
  
Clearly, the README file cannot give the detail of a 150-page manual.


Torbjörn
Please encrypt, key id 0xC8601622