From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id 7aqFIJX4Ll8WEgAA0tVLHw (envelope-from ) for ; Sat, 08 Aug 2020 19:10:13 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id EMD6G5X4Ll/JQAAA1q6Kng (envelope-from ) for ; Sat, 08 Aug 2020 19:10:13 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id D02409403EC for ; Sat, 8 Aug 2020 19:10:12 +0000 (UTC) Received: from localhost ([::1]:35544 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1k4UEM-0001of-Hx for larch@yhetil.org; Sat, 08 Aug 2020 15:10:10 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:59182) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1k4UEE-0001oY-4w for bug-guix@gnu.org; Sat, 08 Aug 2020 15:10:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:48063) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1k4UED-0002sD-Re for bug-guix@gnu.org; Sat, 08 Aug 2020 15:10:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1k4UED-000224-Jn for bug-guix@gnu.org; Sat, 08 Aug 2020 15:10:01 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#42759: Flint license is wrong Resent-From: Tobias Geerinckx-Rice Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Sat, 08 Aug 2020 19:10:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42759 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Max Horn Cc: 42759@debbugs.gnu.org, Jakub =?UTF-8?Q?K=C4=85dzio=C5=82ka?= Received: via spool by 42759-submit@debbugs.gnu.org id=B42759.15969137487752 (code B ref 42759); Sat, 08 Aug 2020 19:10:01 +0000 Received: (at 42759) by debbugs.gnu.org; 8 Aug 2020 19:09:08 +0000 Received: from localhost ([127.0.0.1]:59609 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1k4UDM-00020x-J8 for submit@debbugs.gnu.org; Sat, 08 Aug 2020 15:09:08 -0400 Received: from tobias.gr ([80.241.217.52]:59790) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1k4UDH-00020l-8X for 42759@debbugs.gnu.org; Sat, 08 Aug 2020 15:09:07 -0400 Received: by tobias.gr (OpenSMTPD) with ESMTP id e696a04c; Sat, 8 Aug 2020 19:09:22 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=tobias.gr; h=from:to:cc :subject:references:in-reply-to:date:message-id:mime-version :content-type; s=2018; i=me@tobias.gr; bh=a4xs9HZ7iLXZi9O/6jx5Pj YZxXgXV0WKq4okiVETydY=; b=dPm9L+wKlQn95ZNR2Dff9AghehKHHRsIqTjPnl ST20ZTqYJZlQwOa9ky918xhtxM7Kj+igZwt7f0HDRoLua889SlhaFgmWIaTuIPVY D+sqdk1V8pOBgfDJiwYdCaPL+f3F5m1pSyGH+2ulUO2HXg72zqEWTnuLAHKFrBQC jqPStROUquybVT5NFxrxQRneXmCng9SQLPQtGt0A4G1v5Y+60GlaUfZhHjIx/Dnc P18MGoWpn9XgJR8utKUwbvqNptk/7HV5Yr/TYEFhRLONwQiPRameGJ9D4OTbkVEH pPbgpk/xY/p6CeffNwxMNjN2NePioSJfzeegfZ4j2JueuRcQ== Received: by submission.tobias.gr (OpenSMTPD) with ESMTPSA id 4cadddef (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Sat, 8 Aug 2020 19:09:21 +0000 (UTC) BIMI-Selector: v=BIMI1; s=default; References: <87imdtmbjj.fsf@nckx> <2EA056B4-B4E9-4260-9B70-134A4209A574@quendi.de> In-reply-to: <2EA056B4-B4E9-4260-9B70-134A4209A574@quendi.de> Date: Sat, 08 Aug 2020 21:09:05 +0200 Message-ID: <87tuxdc5v2.fsf@nckx> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -3.3 (---) X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" Reply-to: Tobias Geerinckx-Rice From: Tobias Geerinckx-Rice via Bug reports for GNU Guix X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=fail (rsa verify failed) header.d=tobias.gr header.s=2018 header.b=dPm9L+wK; dmarc=none; spf=pass (aspmx1.migadu.com: domain of bug-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=bug-guix-bounces@gnu.org X-Spam-Score: -1.61 X-TUID: RB4LbVd5sO7s --=-=-= Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable Max, Max Horn =E5=86=99=E9=81=93=EF=BC=9A > What, that the license is lgpl2.1+ ? Yes. > That's what the website states (right at the top of the front=20 > page), along with an explanation that the license changed from=20 > 2.5 to 2.6. It is also what the README and the LICENSE files=20 > 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=20 > 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=20 these GPL2+ headers are meaningful *in any jurisdiction*, we=20 *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 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQT12iAyS4c9C3o4dnINsP+IT1VteQUCXy74UQAKCRANsP+IT1Vt eatUAQCy59cp1O+XPcqdV9c7SKHCfXZcq6XkzhNlK/Z04OO0kwD+L2ocLUYjG89k Ad3xlQ5PbbbEjemKM495z2wWdrAEsgw= =jGib -----END PGP SIGNATURE----- --=-=-=--