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

[GNU bug Tracking System]

Your message dated Fri, 08 Jul 2022 17:39:33 +0200
with message-id <87r12vtxze.fsf_-_@gnu.org>
and subject line Re: bug#56368: [PATCH 1/4] gnu: Use 'license:' prefix in (gnu 
packages gawk).
has caused the debbugs.gnu.org bug report #56368,
regarding [PATCH 1/4] gnu: Use 'license:' prefix in (gnu packages gawk).
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
56368: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=56368
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 1/4] gnu: Use 'license:' prefix in (gnu packages gawk).
>
>
>
>
> Date: 
>
> Sun, 03 Jul 2022 12:59:34 +0000
>
>
>
>
> * 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
>
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#56368: [PATCH 1/4] gnu: Use 'license:' prefix in (gnu packages gawk).
>
>
>
>
> Date: 
>
> Fri, 08 Jul 2022 17:39:33 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux)
>
>
>
>
> Hi Paul,
>
> "Paul A. Patience" <paul@apatience.com> 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’.
>
>
> --- End Message ---