From unknown Fri Jun 20 20:12:45 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#49130] [PATCH] gnu: ocaml-menhir: Update to 20210419. Resent-From: Xinglu Chen Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 20 Jun 2021 10:43:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 49130 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 49130@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.162418572424514 (code B ref -1); Sun, 20 Jun 2021 10:43:02 +0000 Received: (at submit) by debbugs.gnu.org; 20 Jun 2021 10:42:04 +0000 Received: from localhost ([127.0.0.1]:33129 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1luutw-0006NK-0H for submit@debbugs.gnu.org; Sun, 20 Jun 2021 06:42:04 -0400 Received: from lists.gnu.org ([209.51.188.17]:54988) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1luutu-0006ND-Sx for submit@debbugs.gnu.org; Sun, 20 Jun 2021 06:42:03 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:48314) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1luutt-0002iX-Eg for guix-patches@gnu.org; Sun, 20 Jun 2021 06:42:01 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:35568 helo=mail.yoctocell.xyz) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1luutr-0000YX-87 for guix-patches@gnu.org; Sun, 20 Jun 2021 06:42:01 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624185713; bh=uHLPEh8tJDVfz/ydbD05S6kqAogYH5dgnRsC0N1tU3o=; h=From:To:Subject:Date; b=olTjXHY1BteXlWbQG7LiwYmsKn3AWATwgyEEAiL5csEGQt+LFvgh6dS2hwaetqdHZ PoWjduQFTjKxIJN49lFoJRE2pv5wDQkJfci1YVEo4l02HoUhv/ByUYsCANPpaHaPun SsXKteceEJSdRkD7/o8E09no8krmtoCp8k0/n8Z4= Message-Id: Date: Sun, 20 Jun 2021 12:41:52 +0200 MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=87.96.130.155; envelope-from=public@yoctocell.xyz; helo=mail.yoctocell.xyz X-Spam_score_int: 33 X-Spam_score: 3.3 X-Spam_bar: +++ X-Spam_report: (3.3 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FROM_SUSPICIOUS_NTLD=0.5, FROM_SUSPICIOUS_NTLD_FP=1.945, PDS_OTHER_BAD_TLD=2, RDNS_DYNAMIC=0.982, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: 3.1 (+++) 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/ocaml.scm (ocaml-menhir): Update to 20210419. --- gnu/packages/ocaml.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 4e0c6458b6..a49ee8370b 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1030,7 +1030,7 @@ Emacs.") (define-public [...] Content analysis details: (3.1 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) -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_H2 RBL: Average reputation (+2) [209.51.188.17 listed in wl.mailspike.net] 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 1.9 FROM_SUSPICIOUS_NTLD_FP From abused NTLD 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.2 (/) * gnu/packages/ocaml.scm (ocaml-menhir): Update to 20210419. --- gnu/packages/ocaml.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 4e0c6458b6..a49ee8370b 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1030,7 +1030,7 @@ Emacs.") (define-public ocaml-menhir (package (name "ocaml-menhir") - (version "20200211") + (version "20210419") (source (origin (method git-fetch) @@ -1039,7 +1039,7 @@ Emacs.") (commit version))) (file-name (git-file-name name version)) (sha256 - (base32 "019izf51kdc7pzkw68zg8a2alc8lxw1gwdp7in970mr90n16b5zj")))) + (base32 "0jcbr7s3iwfr7xxfybs3h407g76yfp5yq5r9i0wg2ahvvbqh03ky")))) (build-system dune-build-system) (inputs `(("ocaml" ,ocaml))) base-commit: 7ab6907448002d7049f01f320300a9daa2388e69 -- 2.32.0 From unknown Fri Jun 20 20:12:45 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: Xinglu Chen Subject: bug#49130: closed (Re: [bug#49130] [PATCH] gnu: ocaml-menhir: Update to 20210419.) Message-ID: References: <20210620131503.45620587@tachikoma.lepiller.eu> X-Gnu-PR-Message: they-closed 49130 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 49130@debbugs.gnu.org Date: Sun, 20 Jun 2021 11:16:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1624187762-27949-1" This is a multi-part message in MIME format... ------------=_1624187762-27949-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #49130: [PATCH] gnu: ocaml-menhir: Update to 20210419. 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 49130@debbugs.gnu.org. --=20 49130: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D49130 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1624187762-27949-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 49130-done) by debbugs.gnu.org; 20 Jun 2021 11:15:11 +0000 Received: from localhost ([127.0.0.1]:33157 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1luvPz-0007FV-Fk for submit@debbugs.gnu.org; Sun, 20 Jun 2021 07:15:11 -0400 Received: from lepiller.eu ([89.234.186.109]:45294) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1luvPx-0007FJ-2O for 49130-done@debbugs.gnu.org; Sun, 20 Jun 2021 07:15:10 -0400 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 97350d90; Sun, 20 Jun 2021 11:15:06 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:cc:subject:message-id:in-reply-to:references:mime-version :content-type:content-transfer-encoding; s=dkim; bh=8H4OmBkiBQ8X p6T2DgZDYF54HRmBWzDWSfppqlSRnNc=; b=Nvt3Kx5J3I645s/Or6Mm1I0X89bI /4S1/YYg/AsYXIsPSiMoMBfJs4n7oVrDQbvyklB0iYKwjT5gqouo4rQQTShiYH7p fyaLr9Ni68Pn9JQdXh4e6eQXQbVcMvQ9E7ZEjxgNHEkw8T59kr7q7tqxPCyaseaP 0pPXBV1Qk7bsy4L5KNg2GG4RaczCDU8xSAQkFgRDMyOmnpdtRD8E/HIky+ThuaX/ 7bPVakcG0CKY1YPua5V5hn5MSGjBPhZuVp1LA9LQ/rXBIbPgaS0QaLAvML9XRJvl bm+Lfar3tsA9F/yhh2av4hd7xAzq2JJk3YryUAX3JyctkRQw6uNyoRRZcQ== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id c00fd038 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Sun, 20 Jun 2021 11:15:06 +0000 (UTC) Date: Sun, 20 Jun 2021 13:15:03 +0200 From: Julien Lepiller To: Xinglu Chen Subject: Re: [bug#49130] [PATCH] gnu: ocaml-menhir: Update to 20210419. Message-ID: <20210620131503.45620587@tachikoma.lepiller.eu> In-Reply-To: References: X-Mailer: Claws Mail 3.17.8 (GTK+ 2.24.32; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 49130-done Cc: 49130-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 (-) Pushed as 0bfafa49fa387c6a58f79178fc6344b2ce0bf02d, thanks! ------------=_1624187762-27949-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 20 Jun 2021 10:42:04 +0000 Received: from localhost ([127.0.0.1]:33129 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1luutw-0006NK-0H for submit@debbugs.gnu.org; Sun, 20 Jun 2021 06:42:04 -0400 Received: from lists.gnu.org ([209.51.188.17]:54988) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1luutu-0006ND-Sx for submit@debbugs.gnu.org; Sun, 20 Jun 2021 06:42:03 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:48314) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1luutt-0002iX-Eg for guix-patches@gnu.org; Sun, 20 Jun 2021 06:42:01 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:35568 helo=mail.yoctocell.xyz) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1luutr-0000YX-87 for guix-patches@gnu.org; Sun, 20 Jun 2021 06:42:01 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1624185713; bh=uHLPEh8tJDVfz/ydbD05S6kqAogYH5dgnRsC0N1tU3o=; h=From:To:Subject:Date; b=olTjXHY1BteXlWbQG7LiwYmsKn3AWATwgyEEAiL5csEGQt+LFvgh6dS2hwaetqdHZ PoWjduQFTjKxIJN49lFoJRE2pv5wDQkJfci1YVEo4l02HoUhv/ByUYsCANPpaHaPun SsXKteceEJSdRkD7/o8E09no8krmtoCp8k0/n8Z4= To: guix-patches@gnu.org Subject: [PATCH] gnu: ocaml-menhir: Update to 20210419. Message-Id: Date: Sun, 20 Jun 2021 12:41:52 +0200 MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=87.96.130.155; envelope-from=public@yoctocell.xyz; helo=mail.yoctocell.xyz X-Spam_score_int: 33 X-Spam_score: 3.3 X-Spam_bar: +++ X-Spam_report: (3.3 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FROM_SUSPICIOUS_NTLD=0.5, FROM_SUSPICIOUS_NTLD_FP=1.945, PDS_OTHER_BAD_TLD=2, RDNS_DYNAMIC=0.982, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: 3.1 (+++) 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/ocaml.scm (ocaml-menhir): Update to 20210419. --- gnu/packages/ocaml.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 4e0c6458b6..a49ee8370b 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1030,7 +1030,7 @@ Emacs.") (define-public [...] Content analysis details: (3.1 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) -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_H2 RBL: Average reputation (+2) [209.51.188.17 listed in wl.mailspike.net] 0.5 FROM_SUSPICIOUS_NTLD From abused NTLD 1.9 FROM_SUSPICIOUS_NTLD_FP From abused NTLD X-Debbugs-Envelope-To: submit 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.2 (/) * gnu/packages/ocaml.scm (ocaml-menhir): Update to 20210419. --- gnu/packages/ocaml.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 4e0c6458b6..a49ee8370b 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1030,7 +1030,7 @@ Emacs.") (define-public ocaml-menhir (package (name "ocaml-menhir") - (version "20200211") + (version "20210419") (source (origin (method git-fetch) @@ -1039,7 +1039,7 @@ Emacs.") (commit version))) (file-name (git-file-name name version)) (sha256 - (base32 "019izf51kdc7pzkw68zg8a2alc8lxw1gwdp7in970mr90n16b5zj")))) + (base32 "0jcbr7s3iwfr7xxfybs3h407g76yfp5yq5r9i0wg2ahvvbqh03ky")))) (build-system dune-build-system) (inputs `(("ocaml" ,ocaml))) base-commit: 7ab6907448002d7049f01f320300a9daa2388e69 -- 2.32.0 ------------=_1624187762-27949-1--