GNU bug report logs - #34868
[PATCH] gnu: coq-flocq: remove unnecessary return values

Previous Next

Package: guix-patches;

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

Date: Fri, 15 Mar 2019 13:24:01 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <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 34868 in the body.
You can then email your comments to 34868 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#34868; Package guix-patches. (Fri, 15 Mar 2019 13:24:01 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. (Fri, 15 Mar 2019 13:24: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-flocq: remove unnecessary return values
Date: Fri, 15 Mar 2019 13:16:24 +0100

---
 gnu/packages/coq.scm | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
index 83f5cd29af..bdf1576400 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -211,18 +211,15 @@ provers.")
              #t))
          (replace 'build
            (lambda _
-             (invoke "./remake")
-             #t))
+             (invoke "./remake")))
          (replace 'check
            (lambda _
-             (invoke "./remake" "check")
-             #t))
+             (invoke "./remake" "check")))
              ;; TODO: requires coq-gappa and coq-interval.
              ;(invoke "./remake" "check-more")
          (replace 'install
            (lambda _
-             (invoke "./remake" "install")
-             #t)))))
+             (invoke "./remake" "install"))))))
     (home-page "http://flocq.gforge.inria.fr/")
     (synopsis "Floating-point formalization for the Coq system")
     (description "Flocq (Floats for Coq) is a floating-point formalization for
-- 
2.17.1
Reply sent to Ludovic Courtès <ludo <at> gnu.org>:
You have taken responsibility. (Tue, 19 Mar 2019 10:24:01 GMT) Full text and rfc822 format available.
Notification sent to Dan Frumin <dfrumin <at> cs.ru.nl>:
bug acknowledged by developer. (Tue, 19 Mar 2019 10:24:02 GMT) Full text and rfc822 format available.

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

From: Ludovic Courtès <ludo <at> gnu.org>
To: Dan Frumin <dfrumin <at> cs.ru.nl>
Cc: 34868-done <at> debbugs.gnu.org
Subject: Re: [bug#34868] [PATCH] gnu: coq-flocq: remove unnecessary return
 values
Date: Tue, 19 Mar 2019 11:23:29 +0100

Hi,

Dan Frumin <dfrumin <at> cs.ru.nl> skribis:

> ---
>  gnu/packages/coq.scm | 9 +++------
>  1 file changed, 3 insertions(+), 6 deletions(-)

I added a commit log and applied.  Thank you!

Ludo’.
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Tue, 16 Apr 2019 11:24:06 GMT) Full text and rfc822 format available.
This bug report was last modified 5 years and 10 days ago.

Previous Next

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