bug#43278: closed ([PATCH] gnu: coq-stdpp: Update to 1.4.0.)

[GNU bug Tracking System]

Your message dated Tue, 8 Sep 2020 15:53:19 +0300
with message-id <20200908125319.GL1643@E5400>
and subject line Re: [bug#43278] [PATCH] gnu: coq-stdpp: Update to 1.4.0.
has caused the debbugs.gnu.org bug report #43278,
regarding [PATCH] gnu: coq-stdpp: Update to 1.4.0.
to be marked as done.

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


-- 
43278: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=43278
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: coq-stdpp: Update to 1.4.0.
>
>
>
>
> Date: 
>
> Tue,  8 Sep 2020 13:35:11 +0100
>
>
>
>
> * gnu/packages/coq.scm (coq-stdpp): Update to 1.4.0.
> ---
>  gnu/packages/coq.scm | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
> index 11afdf59f2..3573518763 100644
> --- a/gnu/packages/coq.scm
> +++ b/gnu/packages/coq.scm
> @@ -596,7 +596,7 @@ kernel.")
>  (define-public coq-stdpp
>    (package
>      (name "coq-stdpp")
> -    (version "1.2.1")
> +    (version "1.4.0")
>      (synopsis "Alternative Coq standard library std++")
>      (source (origin
>                (method git-fetch)
> @@ -606,7 +606,7 @@ kernel.")
>                (file-name (git-file-name name version))
>                (sha256
>                 (base32
> -                "1lczybg1jq9drbi8nzrlb0k199x4n07aawjwfzrl3qqc0w8kmvdz"))))
> +                "1m6c7ibwc99jd4cv14v3r327spnfvdf3x2mnq51f9rz99rffk68r"))))
>      (build-system gnu-build-system)
>      (inputs
>       `(("coq" ,coq)))
> -- 
> 2.28.0
>
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: [bug#43278] [PATCH] gnu: coq-stdpp: Update to 1.4.0. Date: Tue, 8 Sep 2020 15:53:19 +0300

Looks good. Patch pushed!

-- 
Efraim Flashner   <efraim@flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

signature.asc
Description: PGP signature

--- End Message ---