From unknown Sun Jun 22 11:43:09 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#50242] [PATCH] gnu: ocaml-re: Update to 1.10.0. Resent-From: Xinglu Chen Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 28 Aug 2021 20:54:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 50242 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 50242@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.163018398232585 (code B ref -1); Sat, 28 Aug 2021 20:54:01 +0000 Received: (at submit) by debbugs.gnu.org; 28 Aug 2021 20:53:02 +0000 Received: from localhost ([127.0.0.1]:55084 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mK5K1-0008TI-80 for submit@debbugs.gnu.org; Sat, 28 Aug 2021 16:53:01 -0400 Received: from lists.gnu.org ([209.51.188.17]:51342) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mK5Jx-0008T4-7a for submit@debbugs.gnu.org; Sat, 28 Aug 2021 16:53:00 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:47738) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mK5Jw-0003XK-Po for guix-patches@gnu.org; Sat, 28 Aug 2021 16:52:56 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:50802 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 1mK5Jv-0001C0-5z for guix-patches@gnu.org; Sat, 28 Aug 2021 16:52:56 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1630183967; bh=aIwQ6n4Kvzf+21djijYTx8EGBn6xAKtCbuQz1OC+9jc=; h=From:To:Subject:Date; b=U45y+IcjNcKYPHZe9PnErGXhPHCZaoA7OSD78bDHZ9EDeC5L1YUR+5SuMitbxkM/A zB9X7UeoYWqgq5k/D24fi8I8TebMyea7nUp+gq/GfXHrJBN2dykyQPzk5DxBWdBwSP jE1jsznOolJgkGhrIJQ2k6Nzv4P1IQ4sNlfsfsK4= Message-Id: <98c960079b28e723bf797e8fc0e1b6de0f765e3a.1630183927.git.public@yoctocell.xyz> Date: Sat, 28 Aug 2021 22:52:46 +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: 29 X-Spam_score: 2.9 X-Spam_bar: ++ X-Spam_report: (2.9 / 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.499, FROM_SUSPICIOUS_NTLD_FP=1.491, PDS_OTHER_BAD_TLD=1.997, 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: 1.7 (+) 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-re): Update to 1.10.0. --- 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 c1cdc8f3f3..5364032da7 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3350,7 +3350,7 @@ standard iterator type [...] Content analysis details: (1.7 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) -0.0 SPF_HELO_PASS SPF: HELO matches SPF record -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [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.5 FROM_SUSPICIOUS_NTLD_FP From abused NTLD 0.5 FROM_SUSPICIOUS_NTLD 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-re): Update to 1.10.0. --- 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 c1cdc8f3f3..5364032da7 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3350,7 +3350,7 @@ standard iterator type starting from 4.07.") (define-public ocaml-re (package (name "ocaml-re") - (version "1.9.0") + (version "1.10.0") (source (origin (method git-fetch) @@ -3359,7 +3359,7 @@ standard iterator type starting from 4.07.") (commit version))) (file-name (git-file-name name version)) (sha256 - (base32 "07ycb103mr4mrkxfd63cwlsn023xvcjp0ra0k7n2gwrg0mwxmfss")))) + (base32 "04y7wwa8qbvapciiqd1qzn995xzb1g6rb39hs41jqsb55zdg3gfi")))) (build-system dune-build-system) (arguments `(#:tests? #f)) base-commit: a8dd285d5a0670abf124a721e6ba94da045b24ba -- 2.32.0 From unknown Sun Jun 22 11:43:09 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#50242: closed (Re: bug#50242: [PATCH] gnu: ocaml-re: Update to 1.10.0.) Message-ID: References: <875yuqnp36.fsf@gnu.org> <98c960079b28e723bf797e8fc0e1b6de0f765e3a.1630183927.git.public@yoctocell.xyz> X-Gnu-PR-Message: they-closed 50242 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 50242@debbugs.gnu.org Date: Fri, 24 Sep 2021 12:20:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1632486002-1740-1" This is a multi-part message in MIME format... ------------=_1632486002-1740-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #50242: [PATCH] gnu: ocaml-re: Update to 1.10.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 50242@debbugs.gnu.org. --=20 50242: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D50242 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1632486002-1740-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 50242-done) by debbugs.gnu.org; 24 Sep 2021 12:19:21 +0000 Received: from localhost ([127.0.0.1]:56886 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mTkAj-0000QF-BV for submit@debbugs.gnu.org; Fri, 24 Sep 2021 08:19:21 -0400 Received: from eggs.gnu.org ([209.51.188.92]:56262) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mTkAh-0000Pw-Gt for 50242-done@debbugs.gnu.org; Fri, 24 Sep 2021 08:19:19 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:48054) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mTkAZ-0004YR-EG; Fri, 24 Sep 2021 08:19:13 -0400 Received: from [2001:660:6102:320:e120:2c8f:8909:cdfe] (port=60458 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mTkAZ-0006nD-53; Fri, 24 Sep 2021 08:19:11 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Xinglu Chen Subject: Re: bug#50242: [PATCH] gnu: ocaml-re: Update to 1.10.0. References: <98c960079b28e723bf797e8fc0e1b6de0f765e3a.1630183927.git.public@yoctocell.xyz> Date: Fri, 24 Sep 2021 14:19:09 +0200 In-Reply-To: <98c960079b28e723bf797e8fc0e1b6de0f765e3a.1630183927.git.public@yoctocell.xyz> (Xinglu Chen's message of "Sat, 28 Aug 2021 22:52:46 +0200") Message-ID: <875yuqnp36.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.3 (/) X-Debbugs-Envelope-To: 50242-done Cc: 50242-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.3 (-) Hi, Xinglu Chen skribis: > * gnu/packages/ocaml.scm (ocaml-re): Update to 1.10.0. Applied after checking that all the dependents (including Frama-C) still build on x86_64-linux. Thanks, Ludo=E2=80=99. ------------=_1632486002-1740-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 28 Aug 2021 20:53:02 +0000 Received: from localhost ([127.0.0.1]:55084 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mK5K1-0008TI-80 for submit@debbugs.gnu.org; Sat, 28 Aug 2021 16:53:01 -0400 Received: from lists.gnu.org ([209.51.188.17]:51342) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mK5Jx-0008T4-7a for submit@debbugs.gnu.org; Sat, 28 Aug 2021 16:53:00 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:47738) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mK5Jw-0003XK-Po for guix-patches@gnu.org; Sat, 28 Aug 2021 16:52:56 -0400 Received: from h87-96-130-155.cust.a3fiber.se ([87.96.130.155]:50802 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 1mK5Jv-0001C0-5z for guix-patches@gnu.org; Sat, 28 Aug 2021 16:52:56 -0400 From: Xinglu Chen DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=yoctocell.xyz; s=mail; t=1630183967; bh=aIwQ6n4Kvzf+21djijYTx8EGBn6xAKtCbuQz1OC+9jc=; h=From:To:Subject:Date; b=U45y+IcjNcKYPHZe9PnErGXhPHCZaoA7OSD78bDHZ9EDeC5L1YUR+5SuMitbxkM/A zB9X7UeoYWqgq5k/D24fi8I8TebMyea7nUp+gq/GfXHrJBN2dykyQPzk5DxBWdBwSP jE1jsznOolJgkGhrIJQ2k6Nzv4P1IQ4sNlfsfsK4= To: guix-patches@gnu.org Subject: [PATCH] gnu: ocaml-re: Update to 1.10.0. Message-Id: <98c960079b28e723bf797e8fc0e1b6de0f765e3a.1630183927.git.public@yoctocell.xyz> Date: Sat, 28 Aug 2021 22:52:46 +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: 29 X-Spam_score: 2.9 X-Spam_bar: ++ X-Spam_report: (2.9 / 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.499, FROM_SUSPICIOUS_NTLD_FP=1.491, PDS_OTHER_BAD_TLD=1.997, 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: 1.7 (+) 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-re): Update to 1.10.0. --- 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 c1cdc8f3f3..5364032da7 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3350,7 +3350,7 @@ standard iterator type [...] Content analysis details: (1.7 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 2.0 PDS_OTHER_BAD_TLD Untrustworthy TLDs [URI: yoctocell.xyz (xyz)] 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) -0.0 SPF_HELO_PASS SPF: HELO matches SPF record -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [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.5 FROM_SUSPICIOUS_NTLD_FP From abused NTLD 0.5 FROM_SUSPICIOUS_NTLD 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-re): Update to 1.10.0. --- 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 c1cdc8f3f3..5364032da7 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3350,7 +3350,7 @@ standard iterator type starting from 4.07.") (define-public ocaml-re (package (name "ocaml-re") - (version "1.9.0") + (version "1.10.0") (source (origin (method git-fetch) @@ -3359,7 +3359,7 @@ standard iterator type starting from 4.07.") (commit version))) (file-name (git-file-name name version)) (sha256 - (base32 "07ycb103mr4mrkxfd63cwlsn023xvcjp0ra0k7n2gwrg0mwxmfss")))) + (base32 "04y7wwa8qbvapciiqd1qzn995xzb1g6rb39hs41jqsb55zdg3gfi")))) (build-system dune-build-system) (arguments `(#:tests? #f)) base-commit: a8dd285d5a0670abf124a721e6ba94da045b24ba -- 2.32.0 ------------=_1632486002-1740-1--