From unknown Sun Jun 22 00:27:31 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#43278] [PATCH] gnu: coq-stdpp: Update to 1.4.0. Resent-From: Robin Green Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 08 Sep 2020 12:36:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 43278 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 43278@debbugs.gnu.org Cc: Robin Green X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.15995685439372 (code B ref -1); Tue, 08 Sep 2020 12:36:02 +0000 Received: (at submit) by debbugs.gnu.org; 8 Sep 2020 12:35:43 +0000 Received: from localhost ([127.0.0.1]:52374 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kFcqd-0002R6-Jn for submit@debbugs.gnu.org; Tue, 08 Sep 2020 08:35:43 -0400 Received: from lists.gnu.org ([209.51.188.17]:59380) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kFcqb-0002Qz-St for submit@debbugs.gnu.org; Tue, 08 Sep 2020 08:35:42 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:34866) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kFcqb-0001BH-L6 for guix-patches@gnu.org; Tue, 08 Sep 2020 08:35:41 -0400 Received: from [67.214.171.71] (port=52774 helo=mail.dnsexit.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kFcqa-000059-0k for guix-patches@gnu.org; Tue, 08 Sep 2020 08:35:41 -0400 Received: from localhost (localhost.localdomain [127.0.0.1]) by mail.dnsexit.com (Postfix) with ESMTP id DB8B23C0CAC for ; Tue, 8 Sep 2020 08:35:31 -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 RHS5pa5kS-nE; Tue, 8 Sep 2020 08:35:31 -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 2AACB3C0CAB; Tue, 8 Sep 2020 08:35:31 -0400 (EDT) From: Robin Green Date: Tue, 8 Sep 2020 13:35:11 +0100 Message-Id: <20200908123511.13511-1-greenrd@greenrd.org> X-Mailer: git-send-email 2.28.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Host-Lookup-Failed: Reverse DNS lookup failed for 67.214.171.71 (failed) Received-SPF: pass client-ip=67.214.171.71; envelope-from=greenrd@greenrd.org; helo=mail.dnsexit.com X-detected-operating-system: by eggs.gnu.org: First seen = 2020/09/08 08:35:36 X-ACL-Warn: Detected OS = Linux 3.1-3.10 [fuzzy] X-Spam_score_int: -10 X-Spam_score: -1.1 X-Spam_bar: - X-Spam_report: (-1.1 / 5.0 requ) BAYES_00=-1.9, 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: -1.3 (-) 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: -2.3 (--) * gnu/packages/coq.scm (coq-stdpp): Update to 1.4.0. --- 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 11afdf59f2..3573518763 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -596,7 +596,7 @@ kernel.") (define-public coq-stdpp (package (name "coq-stdpp") - (version "1.2.1") + (version "1.4.0") (synopsis "Alternative Coq standard library std++") (source (origin (method git-fetch) @@ -606,7 +606,7 @@ kernel.") (file-name (git-file-name name version)) (sha256 (base32 - "1lczybg1jq9drbi8nzrlb0k199x4n07aawjwfzrl3qqc0w8kmvdz")))) + "1m6c7ibwc99jd4cv14v3r327spnfvdf3x2mnq51f9rz99rffk68r")))) (build-system gnu-build-system) (inputs `(("coq" ,coq))) -- 2.28.0 From unknown Sun Jun 22 00:27:31 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#43278: closed (Re: [bug#43278] [PATCH] gnu: coq-stdpp: Update to 1.4.0.) Message-ID: References: <20200908125319.GL1643@E5400> <20200908123511.13511-1-greenrd@greenrd.org> X-Gnu-PR-Message: they-closed 43278 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 43278@debbugs.gnu.org Date: Tue, 08 Sep 2020 12:54:03 +0000 Content-Type: multipart/mixed; boundary="----------=_1599569644-11067-1" This is a multi-part message in MIME format... ------------=_1599569644-11067-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #43278: [PATCH] gnu: coq-stdpp: Update to 1.4.0. 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 43278@debbugs.gnu.org. --=20 43278: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D43278 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1599569644-11067-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 43278-done) by debbugs.gnu.org; 8 Sep 2020 12:54:00 +0000 Received: from localhost ([127.0.0.1]:52397 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kFd8K-0002rv-BX for submit@debbugs.gnu.org; Tue, 08 Sep 2020 08:54:00 -0400 Received: from flashner.co.il ([178.62.234.194]:43322) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kFd8I-0002rh-DQ for 43278-done@debbugs.gnu.org; Tue, 08 Sep 2020 08:53:59 -0400 Received: from localhost (unknown [31.210.181.177]) by flashner.co.il (Postfix) with ESMTPSA id 4271E404EF; Tue, 8 Sep 2020 12:53:52 +0000 (UTC) Date: Tue, 8 Sep 2020 15:53:19 +0300 From: Efraim Flashner To: Robin Green Subject: Re: [bug#43278] [PATCH] gnu: coq-stdpp: Update to 1.4.0. Message-ID: <20200908125319.GL1643@E5400> References: <20200908123511.13511-1-greenrd@greenrd.org> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="BHMq0+oGliEfCAkH" Content-Disposition: inline In-Reply-To: <20200908123511.13511-1-greenrd@greenrd.org> X-PGP-Key-ID: 0x41AAE7DCCA3D8351 X-PGP-Key: https://flashner.co.il/~efraim/efraim_flashner.asc X-PGP-Fingerprint: A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 43278-done Cc: 43278-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 (-) --BHMq0+oGliEfCAkH Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Looks good. Patch pushed! --=20 Efraim Flashner =D7=90=D7=A4=D7=A8=D7=99=D7=9D = =D7=A4=D7=9C=D7=A9=D7=A0=D7=A8 GPG key =3D A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted --BHMq0+oGliEfCAkH Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAl9Xfr8ACgkQQarn3Mo9 g1Hu1g/+NGCIl48/qzH8Z9Kmzk+n0rf52r4vzaR7UVJAtHlj7NHWWhyWCerYA8Xd 6RLKStWm/S0YNYsHqxYFIdKK0oxikahkzQG/etWul2CTlqg7e7C6DCc1qtW8n+n9 TgIDmVjg1q7y5L701bVO3kd2P1UGVbgPJO8pkgsF8TFAET5UUAW2J0Dx+nRIVaov /ft934ARLGLwLfABOhvh81+1BIhsfY8EOw89PDM7eVfB0Mu56TpInpFkXHxq6ExM OZpxHj/W97tAd/k417PyR3nf9L24Byree+02AT+F5oqBEnIWhEB1yxk0cK3CyOTM zpNxv70LoRXcbgz/uSipSVugwTdEfHM4LkwK4f1tWIKA6h4nBw42i/3YMe6gRHKu fUrgygaU5G2SKpNPGGTo6M/0ZmAUG8f0nUHwfZ4ueI6/Rfqf/Nn1ulZN9vT/ZDCb XPYFV0BsQvdJquHz/9SsugAa4w12k7XigVqjpt+b2HtSB1oxHZXZ404Vblp2DA7j qTm3AsCN4EmdD85naL3JiucIWbeIbMqpchzSJWQqW+j/xWNdyXgeuH3207lMHxhJ 2HYcExYzTxBPkXQNPpwwoWqYUb9Bilt05xfNAwn9OPPySGF0K6Y2HUSNm/72wk67 lFE75KTF9gwzJ2LwBq2UQAUH2UNNImWSx4k6qvs7tVH3zCFVzLw= =NIuO -----END PGP SIGNATURE----- --BHMq0+oGliEfCAkH-- ------------=_1599569644-11067-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 8 Sep 2020 12:35:43 +0000 Received: from localhost ([127.0.0.1]:52374 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kFcqd-0002R6-Jn for submit@debbugs.gnu.org; Tue, 08 Sep 2020 08:35:43 -0400 Received: from lists.gnu.org ([209.51.188.17]:59380) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kFcqb-0002Qz-St for submit@debbugs.gnu.org; Tue, 08 Sep 2020 08:35:42 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:34866) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kFcqb-0001BH-L6 for guix-patches@gnu.org; Tue, 08 Sep 2020 08:35:41 -0400 Received: from [67.214.171.71] (port=52774 helo=mail.dnsexit.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kFcqa-000059-0k for guix-patches@gnu.org; Tue, 08 Sep 2020 08:35:41 -0400 Received: from localhost (localhost.localdomain [127.0.0.1]) by mail.dnsexit.com (Postfix) with ESMTP id DB8B23C0CAC for ; Tue, 8 Sep 2020 08:35:31 -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 RHS5pa5kS-nE; Tue, 8 Sep 2020 08:35:31 -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 2AACB3C0CAB; Tue, 8 Sep 2020 08:35:31 -0400 (EDT) From: Robin Green To: guix-patches@gnu.org Subject: [PATCH] gnu: coq-stdpp: Update to 1.4.0. Date: Tue, 8 Sep 2020 13:35:11 +0100 Message-Id: <20200908123511.13511-1-greenrd@greenrd.org> X-Mailer: git-send-email 2.28.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Host-Lookup-Failed: Reverse DNS lookup failed for 67.214.171.71 (failed) Received-SPF: pass client-ip=67.214.171.71; envelope-from=greenrd@greenrd.org; helo=mail.dnsexit.com X-detected-operating-system: by eggs.gnu.org: First seen = 2020/09/08 08:35:36 X-ACL-Warn: Detected OS = Linux 3.1-3.10 [fuzzy] X-Spam_score_int: -10 X-Spam_score: -1.1 X-Spam_bar: - X-Spam_report: (-1.1 / 5.0 requ) BAYES_00=-1.9, 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: -1.3 (-) 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: -2.3 (--) * gnu/packages/coq.scm (coq-stdpp): Update to 1.4.0. --- 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 11afdf59f2..3573518763 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -596,7 +596,7 @@ kernel.") (define-public coq-stdpp (package (name "coq-stdpp") - (version "1.2.1") + (version "1.4.0") (synopsis "Alternative Coq standard library std++") (source (origin (method git-fetch) @@ -606,7 +606,7 @@ kernel.") (file-name (git-file-name name version)) (sha256 (base32 - "1lczybg1jq9drbi8nzrlb0k199x4n07aawjwfzrl3qqc0w8kmvdz")))) + "1m6c7ibwc99jd4cv14v3r327spnfvdf3x2mnq51f9rz99rffk68r")))) (build-system gnu-build-system) (inputs `(("coq" ,coq))) -- 2.28.0 ------------=_1599569644-11067-1--