GNU bug report logs - #35870
[PATCH] gnu: coq-equations: Update to 1.2.

Previous Next

Package: guix-patches;

Reported by: Dan Frumin <dfrumin <at> cs.ru.nl>

Date: Thu, 23 May 2019 16:59:01 UTC

Severity: normal

Tags: patch

Done: Marius Bakke <mbakke <at> fastmail.com>

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 35870 in the body.
You can then email your comments to 35870 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#35870; Package guix-patches. (Thu, 23 May 2019 16:59:02 GMT) Full text and rfc822 format available.
Acknowledgement sent to Dan Frumin <dfrumin <at> cs.ru.nl>:
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Thu, 23 May 2019 16:59:02 GMT) Full text and rfc822 format available.

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

From: Dan Frumin <dfrumin <at> cs.ru.nl>
To: guix-patches <at> gnu.org
Cc: Dan Frumin <dfrumin <at> cs.ru.nl>
Subject: [PATCH] gnu: coq-equations: Update to 1.2.
Date: Thu, 23 May 2019 18:58:02 +0200

---
 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 4f592622f5..51e56c1d98 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -498,7 +498,7 @@ uses Ltac to synthesize the substitution operation.")
 (define-public coq-equations
   (package
     (name "coq-equations")
-    (version "1.2-beta2")
+    (version "1.2")
     (source (origin
               (method git-fetch)
               (uri (git-reference
@@ -507,7 +507,7 @@ uses Ltac to synthesize the substitution operation.")
               (file-name (git-file-name name version))
               (sha256
                (base32
-                "0y2zwv7jxs1crprj5qvg46h0v9wyfn99ln40yskq91y9h1lj5h3j"))))
+                "1q3wvicr43bgy7xn1diwh4j43mnrhprrc2xd22qlbz9cl6bhf8bj"))))
     (build-system gnu-build-system)
     (native-inputs
      `(("ocaml"  ,ocaml)
-- 
2.17.1
Reply sent to Marius Bakke <mbakke <at> fastmail.com>:
You have taken responsibility. (Sun, 26 May 2019 08:24:01 GMT) Full text and rfc822 format available.
Notification sent to Dan Frumin <dfrumin <at> cs.ru.nl>:
bug acknowledged by developer. (Sun, 26 May 2019 08:24:02 GMT) Full text and rfc822 format available.

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

From: Marius Bakke <mbakke <at> fastmail.com>
To: Dan Frumin <dfrumin <at> cs.ru.nl>, 35870-done <at> debbugs.gnu.org
Cc: Dan Frumin <dfrumin <at> cs.ru.nl>
Subject: Re: [bug#35870] [PATCH] gnu: coq-equations: Update to 1.2.
Date: Sun, 26 May 2019 10:23:40 +0200

[Message part 1 (text/plain, inline)]
Pushed in 414f545ee6f541d3b46839663b01f048fe812b76, thanks!

[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. (Sun, 23 Jun 2019 11:24:06 GMT) Full text and rfc822 format available.
This bug report was last modified 4 years and 302 days ago.

Previous Next

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