GNU bug report logs - #43278
[PATCH] gnu: coq-stdpp: Update to 1.4.0.

Previous Next

Package: guix-patches;

Reported by: Robin Green <greenrd <at> greenrd.org>

Date: Tue, 8 Sep 2020 12:36:02 UTC

Severity: normal

Tags: patch

Done: Efraim Flashner <efraim <at> flashner.co.il>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 43278 in the body.
You can then email your comments to 43278 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to guix-patches <at> gnu.org:
bug#43278; Package guix-patches. (Tue, 08 Sep 2020 12:36:02 GMT) Full text and rfc822 format available.
Acknowledgement sent to Robin Green <greenrd <at> greenrd.org>:
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Tue, 08 Sep 2020 12:36:02 GMT) Full text and rfc822 format available.

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

From: Robin Green <greenrd <at> greenrd.org>
To: guix-patches <at> gnu.org
Cc: Robin Green <greenrd <at> greenrd.org>
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
Reply sent to Efraim Flashner <efraim <at> flashner.co.il>:
You have taken responsibility. (Tue, 08 Sep 2020 12:54:03 GMT) Full text and rfc822 format available.
Notification sent to Robin Green <greenrd <at> greenrd.org>:
bug acknowledged by developer. (Tue, 08 Sep 2020 12:54:03 GMT) Full text and rfc822 format available.

Message #10 received at 43278-done <at> debbugs.gnu.org (full text, mbox):

From: Efraim Flashner <efraim <at> flashner.co.il>
To: Robin Green <greenrd <at> greenrd.org>
Cc: 43278-done <at> debbugs.gnu.org
Subject: Re: [bug#43278] [PATCH] gnu: coq-stdpp: Update to 1.4.0.
Date: Tue, 8 Sep 2020 15:53:19 +0300

[Message part 1 (text/plain, inline)]
Looks good. Patch pushed!

-- 
Efraim Flashner   <efraim <at> 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 (application/pgp-signature, inline)]
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Wed, 07 Oct 2020 11:24:07 GMT) Full text and rfc822 format available.
This bug report was last modified 3 years and 202 days ago.

Previous Next

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