GNU bug report logs - #49476
[PATCH] gnu: Add nomad-optimizer.

Previous Next

Full log

View this message in rfc822 format

From: Ludovic Courtès <ludo <at> gnu.org>
To: "Paul A. Patience" <paul <at> apatience.com>
Cc: 49476 <at> debbugs.gnu.org
Subject: [bug#49476] [PATCH] gnu: Add nomad-optimizer.
Date: Fri, 23 Jul 2021 11:03:53 +0200

Hi,

"Paul A. Patience" <paul <at> apatience.com> skribis:

> On Monday, July 19th, 2021 at 13:33, Ludovic Courtès <ludo <at> gnu.org> wrote:
>
>> Applied with one change:
>>
>> > -   (license license:lgpl3)))
>>
>> This is ‘lgpl3+’ since source file headers carry the “or any later
>> version” wording.
>
> Nice catch. I've reported this to the project authors [1].
>
> Best regards,
> Paul
>
> [1]: https://github.com/bbopt/nomad/issues/52

Note that the LICENSE file is the standard LGPLv3 text; it should not be
modified.  The text reads:

  If the Library as you received it does not specify a version number of
  the GNU Lesser General Public License, you may choose any version of
  the GNU Lesser General Public License ever published by the Free
  Software Foundation.

In this case, headers explicitly specify “version 3 or any later
version”.  So I’d say the authors of nomad did “everything right”.

Thanks,
Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.