GMP license: COPYING file (GPL) and LGPLv3

[pesec.il]

On 2014-03-17 20:40, Torbjorn Granlund wrote:
> "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?

I'd call it "missing critical details". For commercial usage of 
proprietary product this is critical indeed. If the site contents 
changes in 5 years, one shall have a snapshot of licenses and the areas 
they cover.

>    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.

I do not compare README file with the manual, just with one page: 
https://gmplib.org/manual/Copying.html.

>
>
> Torbjörn
> Please encrypt, key id 0xC8601622
>