GMP license: COPYING file (GPL) and LGPLv3

Andreas Enge andreas.enge at
Tue Mar 18 10:48:23 UTC 2014

On Mon, Mar 17, 2014 at 10:17:53PM +0200, 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 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.


More information about the gmp-discuss mailing list