GNU bug report logs - #42759
Flint license is wrong

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 42759 in the body.
You can then email your comments to 42759 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Max Horn <max <at> quendi.de>
To: bug-guix <at> gnu.org
Subject: Flint license is wrong
Date: Sat, 8 Aug 2020 12:42:48 +0200

Hi there,

The license of the "flint" package is currently set to gpl2+ but it really is lgpl2.1+

Also, there was a bugfix release 2.6. which you might want to update to.

Cheers
Max

Message #8 received at 42759 <at> debbugs.gnu.org (full text, mbox):

From: Tobias Geerinckx-Rice <me <at> tobias.gr>
To: Max Horn <max <at> quendi.de>
Cc: 42759 <at> debbugs.gnu.org
Subject: Re: bug#42759: Flint license is wrong
Date: Sat, 08 Aug 2020 16:56:16 +0200

[Message part 1 (text/plain, inline)]

Hullo Max,

Max Horn 写道：
> The license of the "flint" package is currently set to gpl2+ but 
> it really is lgpl2.1+

Could you elaborate?  How did you test this?

> Also, there was a bugfix release 2.6. which you might want to 
> update to.

Done, thanks!

Kind regards,

T G-R

[signature.asc (application/pgp-signature, inline)]

Message #11 received at 42759 <at> debbugs.gnu.org (full text, mbox):

From: Max Horn <max <at> quendi.de>
To: Tobias Geerinckx-Rice <me <at> tobias.gr>
Cc: 42759 <at> debbugs.gnu.org
Subject: Re: bug#42759: Flint license is wrong
Date: Sat, 8 Aug 2020 17:23:10 +0200

Hi,

> Am 08.08.2020 um 16:56 schrieb Tobias Geerinckx-Rice <me <at> tobias.gr>:
> 
> Hullo Max,
> 
> Max Horn 写道：
>> The license of the "flint" package is currently set to gpl2+ but it really is lgpl2.1+
> 
> Could you elaborate?  How did you test this?

What, that the license is lgpl2.1+ ? That's what the website states (right at the top of the front page), along with an explanation that the license changed from 2.5 to 2.6. It is also what the README and the LICENSE files state.

So it looks to me as if whoever updated the package from 2.5.2 to 2.6.0 did not pay attention and missed the license change.


> 
>> Also, there was a bugfix release 2.6. which you might want to update to.
> 
> Done, thanks!

Great!

Cheers
Max
> 
> Kind regards,
> 
> T G-R

Message #14 received at 42759 <at> debbugs.gnu.org (full text, mbox):

From: Tobias Geerinckx-Rice <me <at> tobias.gr>
To: Max Horn <max <at> quendi.de>
Cc: 42759 <at> debbugs.gnu.org,
 Jakub Kądziołka <kuba <at> kadziolka.net>
Subject: Re: bug#42759: Flint license is wrong
Date: Sat, 08 Aug 2020 21:09:05 +0200

[Message part 1 (text/plain, inline)]

Max,

Max Horn 写道：
> What, that the license is lgpl2.1+ ?

Yes.

> That's what the website states (right at the top of the front 
> page), along with an explanation that the license changed from 
> 2.5 to 2.6. It is also what the README and the LICENSE files 
> state.

I'm aware.  That's why I considered it implausible that...

> whoever updated the package from 2.5.2 to 2.6.0 did not pay 
> attention and missed the license change.

Of course only Jakub (CC'd) can know for sure.  :-)

I opened an issue[0] upstream earlier today but no reply yet.  If 
these GPL2+ headers are meaningful *in any jurisdiction*, we 
*can't* claim that our FLINT is LGPL2+.  Nor can upstream.

I was unable to build FLINT without these files.

Kind regards,

T G-R

[0]: https://github.com/wbhart/flint2/issues/812

[signature.asc (application/pgp-signature, inline)]

Message #19 received at 42759-done <at> debbugs.gnu.org (full text, mbox):

From: Tobias Geerinckx-Rice <me <at> tobias.gr>
To: Max Horn <max <at> quendi.de>
Cc: 42759-done <at> debbugs.gnu.org
Subject: Re: bug#42759: Flint license is wrong
Date: Sat, 08 Aug 2020 21:12:58 +0200

[Message part 1 (text/plain, inline)]

Hah,

Tobias Geerinckx-Rice 写道：
> I opened an issue[0] upstream earlier today but no reply yet.

Naturally, as soon as I send this, I get a notification this will 
be fixed upstream.[0]

I'll add a comment to our flint package that the licence can be 
changed to LGPL-2.1+ on the next FLINT release.

Thanks!  Closing,

T G-R

> [0]: https://github.com/wbhart/flint2/issues/812

[signature.asc (application/pgp-signature, inline)]

Message #22 received at 42759 <at> debbugs.gnu.org (full text, mbox):

From: Tobias Geerinckx-Rice <me <at> tobias.gr>
To: 42759 <at> debbugs.gnu.org
Subject: Flint licence updated
Date: Sat, 15 Aug 2020 22:11:10 +0200

[Message part 1 (text/plain, inline)]

Commit eefa30c1c6db0772fc1af16de57e71b607903b56 updates Flint to 
2.6.3 which is now LGPL.

Kind regards,

T G-R

[signature.asc (application/pgp-signature, inline)]

Previous Next

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