bug#38328: closed ([PATCH 1/2] gnu: polyml: Update to 5.8.)

[GNU bug Tracking System]

Your message dated Fri, 22 Nov 2019 23:04:09 +0100
with message-id <87wobr7eli.fsf@nckx>
and subject line Re: [bug#38328] [bug#38329] 
has caused the debbugs.gnu.org bug report #38328,
regarding [PATCH 1/2] gnu: polyml: Update to 5.8.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
38328: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=38328
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 1/2] gnu: polyml: Update to 5.8.
>
>
>
>
> Date: 
>
> Fri, 22 Nov 2019 15:25:27 -0600
>
>
>
>
> >From 6f9182dd60a24721d0575126550f322cad9ab24b Mon Sep 17 00:00:00 2001
> From: Brett Gilio <address@hidden>
> Date: Fri, 22 Nov 2019 15:23:29 -0600
> Subject: [PATCH 1/2] gnu: polyml: Update to 5.8.
>
> * gnu/packages/sml.scm (polyml): Update to 5.8.
> ---
>  gnu/packages/sml.scm | 5 +++--
>  1 file changed, 3 insertions(+), 2 deletions(-)
>
> diff --git a/gnu/packages/sml.scm b/gnu/packages/sml.scm
> index 0874b81cc7..fd1ba4a539 100644
> --- a/gnu/packages/sml.scm
> +++ b/gnu/packages/sml.scm
> @@ -2,6 +2,7 @@
>  ;;; Copyright © 2017 Andy Patterson <address@hidden>
>  ;;; Copyright © 2017 Tobias Geerinckx-Rice <address@hidden>
>  ;;; Copyright © 2018 Ricardo Wurmus <address@hidden>
> +;;; Copyright © 2019 Brett Gilio <address@hidden>
>  ;;;
>  ;;; This file is part of GNU Guix.
>  ;;;
> @@ -32,7 +33,7 @@
>  (define-public polyml
>    (package
>      (name "polyml")
> -    (version "5.7.1")
> +    (version "5.8")
>      (source (origin
>                (method git-fetch)
>                (uri (git-reference
> @@ -41,7 +42,7 @@
>                (file-name (git-file-name name version))
>                (sha256
>                 (base32
> -                "0j0wv3ijfrjkfngy7dswm4k1dchk3jak9chl5735dl8yrl8mq755"))))
> +                "1jabrf9cnmsppawga6q5pjiq1cdayilxp66fkxykczs6vv2gz7f9"))))
>      (build-system gnu-build-system)
>      (inputs
>       `(("gmp" ,gmp)
> -- 
> 2.24.0
>
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: [bug#38328] [bug#38329] Date: Fri, 22 Nov 2019 23:04:09 +0100

Brett,

Brett Gilio 写道：

[PATCH 1/2] gnu: polyml: Update to 5.8.
[PATCH 2/2] gnu: polyml: Use HTTPS home page URI.

Pushed as 8717fb8d5f30915999869e80782ae0fcf1c6698d et al.

You opened two separate bugs for this series, which was probably not your intention.

You can avoid this by sending a ‘cover letter’ (which can be whatever you want) to guix-patches@, waiting for the response, and then doing something like ‘git send-email to=address@hidden …’ to send the actual patches.

Thanks!

T G-R

signature.asc
Description: PGP signature

--- End Message ---