GNU bug report logs - #69871
[PATCH] gnu: flint: Update to 3.1.0.

Previous Next

Package: guix-patches;

Reported by: Andreas Enge <andreas <at> enge.fr>

Date: Mon, 18 Mar 2024 16:16:02 UTC

Severity: normal

Tags: patch

Done: Andreas Enge <andreas <at> enge.fr>

Bug is archived. No further changes may be made.

Full log


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

From: Andreas Enge <andreas <at> enge.fr>
To: 69871 <at> debbugs.gnu.org
Cc: Andreas Enge <andreas <at> enge.fr>
Subject: [PATCH v3 2/2] gnu: ntl: Correct license.
Date: Tue, 19 Mar 2024 16:02:05 +0100
* gnu/packages/algebra.scm (ntl)[license]: Set to lgpl2.1+.
[source]: Remove trailing #t in snippet.

Change-Id: Ibfcb520aa7fe71087adf2352b4051185a0d6f11e
---
 gnu/packages/algebra.scm | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm
index c8601e7f78..d997bb9c70 100644
--- a/gnu/packages/algebra.scm
+++ b/gnu/packages/algebra.scm
@@ -528,8 +528,7 @@ (define-public ntl
             (modules '((guix build utils)))
             (snippet
              '(begin
-                (delete-file-recursively "src/libtool-origin")
-                #t))))
+                (delete-file-recursively "src/libtool-origin")))))
    (build-system gnu-build-system)
    (native-inputs
     (list libtool perl)) ; for configuration
@@ -557,7 +556,8 @@ (define-public ntl
     "NTL is a C++ library providing data structures and algorithms
 for manipulating signed, arbitrary length integers, and for vectors,
 matrices, and polynomials over the integers and over finite fields.")
-   (license license:gpl2+)
+   (license license:lgpl2.1+) ; Linking with gf2x makes the distributed
+                              ; binary de facto gpl3+.
    (home-page "https://shoup.net/ntl/")))
 
 (define-public singular
-- 
2.41.0





This bug report was last modified 235 days ago.

Previous Next


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