GNU bug report logs - #43247
[PATCH] gnu: coq-equations: Update to patch release

Previous Next

Package: guix-patches;

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

Date: Sun, 6 Sep 2020 16:36:02 UTC

Severity: normal

Tags: patch

Done: Mathieu Othacehe <othacehe <at> gnu.org>

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 43247 in the body.
You can then email your comments to 43247 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#43247; Package guix-patches. (Sun, 06 Sep 2020 16: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. (Sun, 06 Sep 2020 16: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-equations: Update to patch release
Date: Sun,  6 Sep 2020 17:34:22 +0100
* gnu/packages/coq.scm (coq-equations): Update to patch release
---
 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 166e66c09e..8f98017520 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -553,11 +553,11 @@ uses Ltac to synthesize the substitution operation.")
               (method git-fetch)
               (uri (git-reference
                     (url "https://github.com/mattam82/Coq-Equations")
-                    (commit (string-append "v" version "-8.10"))))
+                    (commit (string-append "v" version "-8.10-2"))))
               (file-name (git-file-name name version))
               (sha256
                (base32
-                "023q5dww3drw35dm9bi9p9d0wrj9k7vax7hfdsprf8l340pb4s0k"))))
+                "0j3z4l5nrbyi9zbbyqkc6kassjanwld2188mwmrbqspaypm2ys68"))))
     (build-system gnu-build-system)
     (native-inputs
      `(("ocaml"  ,ocaml)
-- 
2.27.0





Reply sent to Mathieu Othacehe <othacehe <at> gnu.org>:
You have taken responsibility. (Mon, 07 Sep 2020 05:55:02 GMT) Full text and rfc822 format available.

Notification sent to Robin Green <greenrd <at> greenrd.org>:
bug acknowledged by developer. (Mon, 07 Sep 2020 05:55:02 GMT) Full text and rfc822 format available.

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

From: Mathieu Othacehe <othacehe <at> gnu.org>
To: Robin Green <greenrd <at> greenrd.org>
Cc: 43247-done <at> debbugs.gnu.org
Subject: Re: [bug#43247] [PATCH] gnu: coq-equations: Update to patch release
Date: Mon, 07 Sep 2020 07:54:29 +0200
> * gnu/packages/coq.scm (coq-equations): Update to patch release

Pushed, thanks!

Mathieu




bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Mon, 05 Oct 2020 11:24:07 GMT) Full text and rfc822 format available.

This bug report was last modified 3 years and 176 days ago.

Previous Next


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