From unknown Tue Aug 12 07:34:14 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#43247 <43247@debbugs.gnu.org> To: bug#43247 <43247@debbugs.gnu.org> Subject: Status: [PATCH] gnu: coq-equations: Update to patch release Reply-To: bug#43247 <43247@debbugs.gnu.org> Date: Tue, 12 Aug 2025 14:34:14 +0000 retitle 43247 [PATCH] gnu: coq-equations: Update to patch release reassign 43247 guix-patches submitter 43247 Robin Green severity 43247 normal tag 43247 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Sun Sep 06 12:35:04 2020 Received: (at submit) by debbugs.gnu.org; 6 Sep 2020 16:35:04 +0000 Received: from localhost ([127.0.0.1]:46949 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kExdA-0006bC-5A for submit@debbugs.gnu.org; Sun, 06 Sep 2020 12:35:04 -0400 Received: from lists.gnu.org ([209.51.188.17]:47288) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kExd8-0006b1-C9 for submit@debbugs.gnu.org; Sun, 06 Sep 2020 12:35:02 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:44476) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kExd7-0001A1-W0 for guix-patches@gnu.org; Sun, 06 Sep 2020 12:35:02 -0400 Received: from [67.214.175.87] (port=54893 helo=vpn.dnsexit.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kExd5-0000ec-Iz for guix-patches@gnu.org; Sun, 06 Sep 2020 12:35:01 -0400 Received: from mail.dnsexit.com (box2 [67.214.175.80]) (using TLSv1.2 with cipher ADH-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by vpn.dnsexit.com (Postfix) with ESMTPS id DF2A46086E for ; Sun, 6 Sep 2020 12:35:03 -0400 (EDT) Received: from localhost (localhost.localdomain [127.0.0.1]) by mail.dnsexit.com (Postfix) with ESMTP id 144EF3C105B for ; Sun, 6 Sep 2020 12:34:51 -0400 (EDT) X-Virus-Scanned: amavisd-new at dnsexit.com Received: from mail.dnsexit.com ([127.0.0.1]) by localhost (box2.dnsexit.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id qruz4u-oK72y; Sun, 6 Sep 2020 12:34:50 -0400 (EDT) Received: from localhost.localdomain (greenrd.plus.com [212.159.116.150]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by mail.dnsexit.com (Postfix) with ESMTPSA id 296693C1026; Sun, 6 Sep 2020 12:34:50 -0400 (EDT) From: Robin Green To: guix-patches@gnu.org Subject: [PATCH] gnu: coq-equations: Update to patch release Date: Sun, 6 Sep 2020 17:34:22 +0100 Message-Id: <20200906163422.741-1-greenrd@greenrd.org> X-Mailer: git-send-email 2.27.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Host-Lookup-Failed: Reverse DNS lookup failed for 67.214.175.87 (failed) Received-SPF: pass client-ip=67.214.175.87; envelope-from=greenrd@greenrd.org; helo=vpn.dnsexit.com X-detected-operating-system: by eggs.gnu.org: First seen = 2020/09/06 12:34:56 X-ACL-Warn: Detected OS = Linux 3.1-3.10 [fuzzy] X-Spam_score_int: 22 X-Spam_score: 2.2 X-Spam_bar: ++ X-Spam_report: (2.2 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_SBL_CSS=3.335, RDNS_NONE=0.793, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: 2.2 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * 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 sub [...] Content analysis details: (2.2 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 3.6 RCVD_IN_SBL_CSS RBL: Received via a relay in Spamhaus SBL-CSS [67.214.175.87 listed in zen.spamhaus.org] 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 RCVD_IN_MSPIKE_H4 RBL: Very Good reputation (+4) [209.51.188.17 listed in wl.mailspike.net] -2.3 RCVD_IN_DNSWL_MED RBL: Sender listed at https://www.dnswl.org/, medium trust [209.51.188.17 listed in list.dnswl.org] -0.0 RCVD_IN_MSPIKE_WL Mailspike good senders X-Debbugs-Envelope-To: submit Cc: Robin Green 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.2 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * 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 sub [...] Content analysis details: (1.2 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 3.6 RCVD_IN_SBL_CSS RBL: Received via a relay in Spamhaus SBL-CSS [67.214.175.87 listed in zen.spamhaus.org] -0.0 RCVD_IN_MSPIKE_H4 RBL: Very Good reputation (+4) [209.51.188.17 listed in wl.mailspike.net] -2.3 RCVD_IN_DNSWL_MED RBL: Sender listed at https://www.dnswl.org/, medium trust [209.51.188.17 listed in list.dnswl.org] 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager -0.0 RCVD_IN_MSPIKE_WL Mailspike good senders * 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 From debbugs-submit-bounces@debbugs.gnu.org Mon Sep 07 01:54:38 2020 Received: (at 43247-done) by debbugs.gnu.org; 7 Sep 2020 05:54:38 +0000 Received: from localhost ([127.0.0.1]:47660 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kFA6v-0000qj-Vt for submit@debbugs.gnu.org; Mon, 07 Sep 2020 01:54:38 -0400 Received: from eggs.gnu.org ([209.51.188.92]:52214) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kFA6v-0000qO-CH for 43247-done@debbugs.gnu.org; Mon, 07 Sep 2020 01:54:37 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:35865) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kFA6p-00088F-LJ; Mon, 07 Sep 2020 01:54:31 -0400 Received: from [2a01:e0a:19b:d9a0:9d9d:97cc:d92a:8ac0] (port=48836 helo=cervin) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1kFA6p-0000P3-8h; Mon, 07 Sep 2020 01:54:31 -0400 From: Mathieu Othacehe To: Robin Green Subject: Re: [bug#43247] [PATCH] gnu: coq-equations: Update to patch release References: <20200906163422.741-1-greenrd@greenrd.org> Date: Mon, 07 Sep 2020 07:54:29 +0200 In-Reply-To: <20200906163422.741-1-greenrd@greenrd.org> (Robin Green's message of "Sun, 6 Sep 2020 17:34:22 +0100") Message-ID: <878sdmnnca.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 43247-done Cc: 43247-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: -3.3 (---) > * gnu/packages/coq.scm (coq-equations): Update to patch release Pushed, thanks! Mathieu From unknown Tue Aug 12 07:34:14 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Mon, 05 Oct 2020 11:24:07 +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