GMP license: COPYING file (GPL) and LGPLv3

[Andreas Enge]

On Mon, Mar 17, 2014 at 10:17:53PM +0200, pesec.il wrote:
> It's not a contradiction. I'd like to use GMP in a closed-source
> product. Thus, I cannot use GPL, only LGPL.
> 
> After 5 years gmplib.org site contents may change. But I still shall
> have a proof that GMP version I use and distribute is covered under
> LGPL. As long as there are 2 license texts, and their coverage is
> not understood from README, I won't be able to prove that I do not
> violate GPL.

I suspect that as is usual for GNU projects, each source file contains
a header with its license. I checked a few of them, and this seems to be
indeed the case. So if this is important for your project, you will have
to check each file you are going to use.

Andreas