From debbugs-submit-bounces@debbugs.gnu.org Sat Aug 28 16:53:02 2021 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 From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 24 08:19:21 2021 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. From unknown Tue Jun 17 01:43:37 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sat, 23 Oct 2021 11:24:06 +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