From unknown Sat Jun 21 10:43:24 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#43247] [PATCH] gnu: coq-equations: Update to patch release Resent-From: Robin Green Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 06 Sep 2020 16:36:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 43247 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 43247@debbugs.gnu.org Cc: Robin Green X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.159941010425375 (code B ref -1); Sun, 06 Sep 2020 16:36:02 +0000 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 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-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 unknown Sat Jun 21 10:43:24 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Robin Green Subject: bug#43247: closed (Re: [bug#43247] [PATCH] gnu: coq-equations: Update to patch release) Message-ID: References: <878sdmnnca.fsf@gnu.org> <20200906163422.741-1-greenrd@greenrd.org> X-Gnu-PR-Message: they-closed 43247 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 43247@debbugs.gnu.org Date: Mon, 07 Sep 2020 05:55:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1599458102-3318-1" This is a multi-part message in MIME format... ------------=_1599458102-3318-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #43247: [PATCH] gnu: coq-equations: Update to patch release which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 43247@debbugs.gnu.org. --=20 43247: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D43247 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1599458102-3318-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit 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 ------------=_1599458102-3318-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit 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 ------------=_1599458102-3318-1--