GMP license: COPYING file (GPL) and LGPLv3

Vincent Lefevre vincent at
Tue Mar 18 11:55:25 UTC 2014

On 2014-03-18 11:48:23 +0100, Andreas Enge wrote:
> 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.

Some projects do more, by saying what is under which license, but
I wonder whether this is accurate in practice.

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

Vincent Lefèvre <vincent at> - Web: <>
100% accessible validated (X)HTML - Blog: <>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)

More information about the gmp-discuss mailing list