[debbugs-tracker] bug#34868: closed ([PATCH] gnu: coq-flocq: remove unnecessary return values)

[GNU bug Tracking System]

Your message dated Tue, 19 Mar 2019 11:23:29 +0100
with message-id <address@hidden>
and subject line Re: [bug#34868] [PATCH] gnu: coq-flocq: remove unnecessary 
return values
has caused the debbugs.gnu.org bug report #34868,
regarding [PATCH] gnu: coq-flocq: remove unnecessary return values
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
34868: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=34868
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> 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
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#34868] [PATCH] gnu: coq-flocq: remove unnecessary return values
>
>
>
>
> Date: 
>
> Tue, 19 Mar 2019 11:23:29 +0100
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)
>
>
>
>
> Hi,
>
> Dan Frumin <address@hidden> skribis:
>
> > ---
> >  gnu/packages/coq.scm | 9 +++------
> >  1 file changed, 3 insertions(+), 6 deletions(-)
>
> I added a commit log and applied.  Thank you!
>
> Ludo’.
>
>
> --- End Message ---