GNU bug report logs - #42759
Flint license is wrong

Previous Next

Full log

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

Previous Next

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