Subject: bug#56368: closed (Re: bug#56368: [PATCH 1/4] gnu: Use 'license:' prefix in (gnu packages gawk).)

From: [email-masked] (GNU bug Tracking System)
Date: Fri, 08 Jul 2022 15:40:02 +0000

Your bug report

#56368: [PATCH 1/4] gnu: Use 'license:' prefix in (gnu packages gawk).

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
56368: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=56368
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#56368: [PATCH 1/4] gnu: Use 'license:' prefix in (gnu packages gawk).
From: Ludovic Courtès <[email-masked]>
To: "Paul A. Patience" <[email-masked]>
Cc: [email-masked]
Date: Fri, 08 Jul 2022 17:39:33 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Paul,

"Paul A. Patience" <[email-masked]> skribis:

>   gnu: Use 'license:' prefix in (gnu packages gawk).
>   gnu: Add gawk-mpfr.
>   gnu: Add egawk-next.
>   gnu: Add cppawk and cppawk-egawk.

Applied, thanks!

Ludo’.

Subject: [PATCH 1/4] gnu: Use 'license:' prefix in (gnu packages gawk).
From: "Paul A. Patience" <[email-masked]>
To: [email-masked]
Cc: "Paul A. Patience" <[email-masked]>
Date: Sun, 03 Jul 2022 12:59:34 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

* gnu/packages/gawk.scm: Import (guix licenses) with 'license:' prefix.
(gawk, mawk)[license]: Prefix with 'license:'.
---
 gnu/packages/gawk.scm | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/gnu/packages/gawk.scm b/gnu/packages/gawk.scm
index 1935e73ab7..91252094b5 100644
--- a/gnu/packages/gawk.scm
+++ b/gnu/packages/gawk.scm
@@ -20,7 +20,7 @@
 ;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.

 (define-module (gnu packages gawk)
-  #:use-module (guix licenses)
+  #:use-module ((guix licenses) #:prefix license:)
   #:use-module (gnu packages)
   #:use-module (gnu packages bash)
   #:use-module (gnu packages libsigsegv)
@@ -93,7 +93,7 @@ (define-public gawk
 language for the easy manipulation of formatted text, such as tables of data.
 Gawk features many extensions beyond the traditional implementation,
 including network access, sorting, and large libraries.")
-   (license gpl3+)))
+   (license license:gpl3+)))

 (define-public mawk
   (package
@@ -120,4 +120,4 @@ (define-public mawk
      "@command{mawk} is an interpreter for the Awk programming language.
 This version aims to be smaller and faster than GNU Awk, at the expense
 of fewer features and extensions.")
-    (license gpl2))) ;version 2 only
+    (license license:gpl2))) ;version 2 only
--
2.36.1