From debbugs-submit-bounces@debbugs.gnu.org Fri Mar 15 09:23:08 2019 Received: (at submit) by debbugs.gnu.org; 15 Mar 2019 13:23:09 +0000 Received: from localhost ([127.0.0.1]:44465 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1h4mnk-0002s4-Kg for submit@debbugs.gnu.org; Fri, 15 Mar 2019 09:23:08 -0400 Received: from eggs.gnu.org ([209.51.188.92]:42045) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1h4mni-0002rT-Mb for submit@debbugs.gnu.org; Fri, 15 Mar 2019 09:23:07 -0400 Received: from lists.gnu.org ([209.51.188.17]:34711) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1h4mnd-0001A1-Fx for submit@debbugs.gnu.org; Fri, 15 Mar 2019 09:23:01 -0400 Received: from eggs.gnu.org ([209.51.188.92]:56405) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1h4mnb-0003hs-7A for guix-patches@gnu.org; Fri, 15 Mar 2019 09:23:01 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,RCVD_IN_DNSWL_NONE, URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1h4mna-00018i-By for guix-patches@gnu.org; Fri, 15 Mar 2019 09:22:59 -0400 Received: from zaai.science.ru.nl ([131.174.30.45]:40166) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1h4mnZ-00017y-Uy for guix-patches@gnu.org; Fri, 15 Mar 2019 09:22:58 -0400 Received: from smtp2.science.ru.nl (smtp2.science.ru.nl [131.174.16.145]) by zaai.science.ru.nl (8.15.2/5.32) with ESMTP id x2FCGX29021651 for ; Fri, 15 Mar 2019 13:16:33 +0100 Received: from rutherford.science.ru.nl (ip-145-116-191-150.wlan-int.ru.nl [145.116.191.150]) (authen=dfrumin@cs.ru.nl) by smtp2.science.ru.nl (8.14.4/5.32) with ESMTP id x2FCGSZp013402; Fri, 15 Mar 2019 13:16:32 +0100 From: Dan Frumin To: guix-patches@gnu.org Subject: [PATCH] gnu: coq-flocq: remove unnecessary return values Date: Fri, 15 Mar 2019 13:16:24 +0100 Message-Id: <20190315121624.3818-1-dfrumin@cs.ru.nl> X-Mailer: git-send-email 2.17.1 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 131.174.30.45 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: submit Cc: Dan Frumin X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) --- 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 From debbugs-submit-bounces@debbugs.gnu.org Tue Mar 19 06:23:39 2019 Received: (at 34868-done) by debbugs.gnu.org; 19 Mar 2019 10:23:40 +0000 Received: from localhost ([127.0.0.1]:49600 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1h6BuF-0004R2-M6 for submit@debbugs.gnu.org; Tue, 19 Mar 2019 06:23:39 -0400 Received: from eggs.gnu.org ([209.51.188.92]:56588) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1h6BuD-0004Qp-Aa for 34868-done@debbugs.gnu.org; Tue, 19 Mar 2019 06:23:37 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:43039) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1h6Bu7-0004sc-CL; Tue, 19 Mar 2019 06:23:31 -0400 Received: from [2001:660:6102:320:e120:2c8f:8909:cdfe] (port=49164 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1h6Bu6-0004qm-Rd; Tue, 19 Mar 2019 06:23:31 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Dan Frumin Subject: Re: [bug#34868] [PATCH] gnu: coq-flocq: remove unnecessary return values References: <20190315121624.3818-1-dfrumin@cs.ru.nl> Date: Tue, 19 Mar 2019 11:23:29 +0100 In-Reply-To: <20190315121624.3818-1-dfrumin@cs.ru.nl> (Dan Frumin's message of "Fri, 15 Mar 2019 13:16:24 +0100") Message-ID: <87pnqnb1su.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 34868-done Cc: 34868-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hi, Dan Frumin skribis: > --- > gnu/packages/coq.scm | 9 +++------ > 1 file changed, 3 insertions(+), 6 deletions(-) I added a commit log and applied. Thank you! Ludo=E2=80=99. From unknown Tue Aug 19 12:51:04 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Tue, 16 Apr 2019 11:24:06 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator