From unknown Sat Aug 09 04:59:02 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#76879] [PATCH] gnu: polyml: Update to 5.9.1. Resent-From: iyzsong@envs.net Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 09 Mar 2025 04:25:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 76879 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 76879@debbugs.gnu.org Cc: =?UTF-8?Q?=E5=AE=8B=E6=96=87=E6=AD=A6?= X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.17414942732774 (code B ref -1); Sun, 09 Mar 2025 04:25:03 +0000 Received: (at submit) by debbugs.gnu.org; 9 Mar 2025 04:24:33 +0000 Received: from localhost ([127.0.0.1]:57592 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tr8DI-0000ig-PE for submit@debbugs.gnu.org; Sat, 08 Mar 2025 23:24:33 -0500 Received: from lists.gnu.org ([2001:470:142::17]:48936) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tr8DF-0000iO-TZ for submit@debbugs.gnu.org; Sat, 08 Mar 2025 23:24:30 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tr8D8-0002NS-2B for guix-patches@gnu.org; Sat, 08 Mar 2025 23:24:24 -0500 Received: from mail.envs.net ([5.199.136.28]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tr8D5-0006G6-Os for guix-patches@gnu.org; Sat, 08 Mar 2025 23:24:21 -0500 Received: from localhost (mail.envs.net [127.0.0.1]) by mail.envs.net (Postfix) with ESMTP id 39FBB38A3FB9; Sun, 9 Mar 2025 04:24:07 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=envs.net; s=modoboa; t=1741494247; bh=TDb4efXFyujnhBQnk/uxzIZafDu1Y/RcFBstOOz0oBA=; h=From:To:Cc:Subject:Date:From; b=ObR4mRfL3KB4E45KZt+HvB0wqMrxGCpM6Ry/k2in17YYfqxnM+xiFma0K3Ce3J0Uh xqUD/Lh2fDtT78sFXEnPRka13E9AlHpiDJXa/5egnzsPGxxM0fsTIRS0MzXVDL6T23 F/2Bj9xQyTNHt31qO/crgE6Vd+FdATMG9WbPqOljxvaDl+iDODMlkRlRIf6V49uGLX 0Omvk/lkMfrVztUugUsfnKHF1k/322UYNymBemWVUfz0ZY3116MczHx/btK3fv93XR kpl0as28DX7E6QQnwc/4OD8YvivEdR0YsLedr6UoR/tsbRoajrd/t0dr2vgUH0eaXv 303ySQ+Irpt2KRlLYMGxHHPBp3lTyWxMzvDw451p/n6gyciG79g0CngDpghpFm1MhG 05gdWN1rTLTlCWDfK2WkqANAL5tndrtWDKJlytRRHIzp3mbEfhYA2ByA5kB7DOG2r9 Cv232dNEWQSWJnSmgcMl6pZ87dvz0ixj2JExLypFpbET3py1Bx1qit7apk1cnxctbN wBk5Wuww2ttEscmCf2Cqo+BjcKaE2un0Am0Ij7IUE6xrOwq0nvBgZPCO738XBSYT0Z i7BOYbY7qROh/I+P+mEwBPS2yF7L8mIu2yC8rXaw8fHmwVVgpkE4DT499ED6cLKCxo cUkIeb9mIAf+cyxY0Xc67PB4= X-Virus-Scanned: Debian amavisd-new at mail.envs.net Received: from mail.envs.net ([127.0.0.1]) by localhost (mail.envs.net [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id qgGwnqr-lD7F; Sun, 9 Mar 2025 04:24:03 +0000 (UTC) Received: from localhost (unknown [112.44.72.228]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mail.envs.net (Postfix) with ESMTPSA; Sun, 9 Mar 2025 04:24:03 +0000 (UTC) Received: from localhost.localdomain (localhost.lan [127.0.0.1]) by localhost (OpenSMTPD) with ESMTP id 503f2550; Sun, 9 Mar 2025 04:28:08 +0000 (UTC) From: iyzsong@envs.net Date: Sun, 9 Mar 2025 12:28:05 +0800 Message-ID: <76fa207072da8b17bbf55b741159da31aa0175a8.1741494482.git.iyzsong@member.fsf.org> X-Mailer: git-send-email 2.48.1 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=5.199.136.28; envelope-from=iyzsong@envs.net; helo=mail.envs.net X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=unavailable autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.9 (/) 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.1 (/) From: 宋文武 * gnu/packages/sml.scm (polyml): Update to 5.9.1. Change-Id: I93571e78e2a62f7aff05f2a93ccc3cb48c154a28 --- gnu/packages/sml.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/sml.scm b/gnu/packages/sml.scm index 8e2d4a59e4..c8223d6b1d 100644 --- a/gnu/packages/sml.scm +++ b/gnu/packages/sml.scm @@ -35,7 +35,7 @@ (define-module (gnu packages sml) (define-public polyml (package (name "polyml") - (version "5.9") + (version "5.9.1") (source (origin (method git-fetch) (uri (git-reference @@ -44,7 +44,7 @@ (define-public polyml (file-name (git-file-name name version)) (sha256 (base32 - "0hhij8y0kvchg9rarzrcr9i0f629s2chbg258b0jscicjv9ghi6w")))) + "1s7lpnxg826r2lm2c81j9a61zwljy2ybkqwadjiwrfi0hmbczn89")))) (build-system gnu-build-system) (inputs (list gmp lesstif libffi libx11 libxt)) base-commit: 4538aa4acd199db7d7df1deb5e47b2ff6edb50f9 -- 2.48.1 From unknown Sat Aug 09 04:59:02 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: iyzsong@envs.net Subject: bug#76879: closed (Re: [bug#76879] [PATCH] gnu: polyml: Update to 5.9.1.) Message-ID: References: <8734fkxo4x.fsf@envs.net> <76fa207072da8b17bbf55b741159da31aa0175a8.1741494482.git.iyzsong@member.fsf.org> X-Gnu-PR-Message: they-closed 76879 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 76879@debbugs.gnu.org Date: Tue, 11 Mar 2025 03:02:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1741662122-16672-1" This is a multi-part message in MIME format... ------------=_1741662122-16672-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #76879: [PATCH] gnu: polyml: Update to 5.9.1. 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 76879@debbugs.gnu.org. --=20 76879: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D76879 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1741662122-16672-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 76879-done) by debbugs.gnu.org; 11 Mar 2025 03:01:46 +0000 Received: from localhost ([127.0.0.1]:40727 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1trpsG-0004KC-Bz for submit@debbugs.gnu.org; Mon, 10 Mar 2025 23:01:45 -0400 Received: from mail.envs.net ([5.199.136.28]:48186) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1trpsD-0004K1-Qw for 76879-done@debbugs.gnu.org; Mon, 10 Mar 2025 23:01:42 -0400 Received: from localhost (mail.envs.net [127.0.0.1]) by mail.envs.net (Postfix) with ESMTP id EF54A38A4025; Tue, 11 Mar 2025 03:01:40 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=envs.net; s=modoboa; t=1741662101; bh=+HnkICMnntWWUhjdkvTyYk4OtwD5XuhbzoyZL1+XGNo=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=MubdFjnWHqr8daEhEG36UkZ9n/vwgUomwlDgyGHRbkfKeD6twLomNa29eQ+PQx+Qs J2oe7N4dVoIECxoTWaX5y5pKKM+gnagqSR7nv2dqiiQMmOnoIXcwDxkf1rvgMZzZdm LpHpF5WbG9A5YaJMsZAtlaPjYhueakASK46M1L4WE5Ak0vr82nEP1hwAK1CvBl4+We 060fm1z+9MB/PteU5EnBunIueD748DISCpbd9glGHU4mSBccf+7QfgebjrhRL0GvTv YFUjZaQ7Qjf2fD7Ko44pkRX+ZU+dYT5I17e3OHy+m0+SqG6bX+ftyo0MSfNPKgeg+F H6Mn4s8be5g2OgCGUXp3N4+Ph24cm0APaUCAjsDfCI0xQmM/CdaXPZp4906pb0Vbu2 tSS9xSr1afxik5BEqqdiWhSVPtsNPoR6WFNQZxh6AOk0fl6260cifQqUK+Ve9dUrKV 82y/ji0rzP1h2WWjKz5aXy0misAWT4CwcO57zduoCzSRJkuDJYMqRqIwPTVCaL5YjN 7BsmryOTQ13tLUIkK7W6hG1kBjfo17dFxCyQZx8g/sZa7LyYhJwO7YcU9B3hu4bZqu pO5DV9sMrtIo9ZUciILi/qtB/D6lF0Lvjqj5XEBUCj5p+1IUE9gC2rA9lPmWCbWzpY e+iD2hVX4UcO7jVYLHAjTDZ8= X-Virus-Scanned: Debian amavisd-new at mail.envs.net Received: from mail.envs.net ([127.0.0.1]) by localhost (mail.envs.net [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id SVykAh4XK1W8; Tue, 11 Mar 2025 03:01:36 +0000 (UTC) Received: from localhost (unknown [112.44.72.228]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mail.envs.net (Postfix) with ESMTPSA; Tue, 11 Mar 2025 03:01:36 +0000 (UTC) Received: from localhost (localhost [local]) by localhost (OpenSMTPD) with ESMTPA id 7ecaf8b9; Tue, 11 Mar 2025 03:05:50 +0000 (UTC) From: =?utf-8?B?5a6L5paH5q2m?= To: 76879-done@debbugs.gnu.org Subject: Re: [bug#76879] [PATCH] gnu: polyml: Update to 5.9.1. In-Reply-To: <76fa207072da8b17bbf55b741159da31aa0175a8.1741494482.git.iyzsong@member.fsf.org> (iyzsong@envs.net's message of "Sun, 9 Mar 2025 12:28:05 +0800") References: <76fa207072da8b17bbf55b741159da31aa0175a8.1741494482.git.iyzsong@member.fsf.org> Date: Tue, 11 Mar 2025 11:05:50 +0800 Message-ID: <8734fkxo4x.fsf@envs.net> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 76879-done Cc: =?utf-8?B?5a6L5paH5q2m?= 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, close. ------------=_1741662122-16672-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 9 Mar 2025 04:24:33 +0000 Received: from localhost ([127.0.0.1]:57592 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tr8DI-0000ig-PE for submit@debbugs.gnu.org; Sat, 08 Mar 2025 23:24:33 -0500 Received: from lists.gnu.org ([2001:470:142::17]:48936) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tr8DF-0000iO-TZ for submit@debbugs.gnu.org; Sat, 08 Mar 2025 23:24:30 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tr8D8-0002NS-2B for guix-patches@gnu.org; Sat, 08 Mar 2025 23:24:24 -0500 Received: from mail.envs.net ([5.199.136.28]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tr8D5-0006G6-Os for guix-patches@gnu.org; Sat, 08 Mar 2025 23:24:21 -0500 Received: from localhost (mail.envs.net [127.0.0.1]) by mail.envs.net (Postfix) with ESMTP id 39FBB38A3FB9; Sun, 9 Mar 2025 04:24:07 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=envs.net; s=modoboa; t=1741494247; bh=TDb4efXFyujnhBQnk/uxzIZafDu1Y/RcFBstOOz0oBA=; h=From:To:Cc:Subject:Date:From; b=ObR4mRfL3KB4E45KZt+HvB0wqMrxGCpM6Ry/k2in17YYfqxnM+xiFma0K3Ce3J0Uh xqUD/Lh2fDtT78sFXEnPRka13E9AlHpiDJXa/5egnzsPGxxM0fsTIRS0MzXVDL6T23 F/2Bj9xQyTNHt31qO/crgE6Vd+FdATMG9WbPqOljxvaDl+iDODMlkRlRIf6V49uGLX 0Omvk/lkMfrVztUugUsfnKHF1k/322UYNymBemWVUfz0ZY3116MczHx/btK3fv93XR kpl0as28DX7E6QQnwc/4OD8YvivEdR0YsLedr6UoR/tsbRoajrd/t0dr2vgUH0eaXv 303ySQ+Irpt2KRlLYMGxHHPBp3lTyWxMzvDw451p/n6gyciG79g0CngDpghpFm1MhG 05gdWN1rTLTlCWDfK2WkqANAL5tndrtWDKJlytRRHIzp3mbEfhYA2ByA5kB7DOG2r9 Cv232dNEWQSWJnSmgcMl6pZ87dvz0ixj2JExLypFpbET3py1Bx1qit7apk1cnxctbN wBk5Wuww2ttEscmCf2Cqo+BjcKaE2un0Am0Ij7IUE6xrOwq0nvBgZPCO738XBSYT0Z i7BOYbY7qROh/I+P+mEwBPS2yF7L8mIu2yC8rXaw8fHmwVVgpkE4DT499ED6cLKCxo cUkIeb9mIAf+cyxY0Xc67PB4= X-Virus-Scanned: Debian amavisd-new at mail.envs.net Received: from mail.envs.net ([127.0.0.1]) by localhost (mail.envs.net [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id qgGwnqr-lD7F; Sun, 9 Mar 2025 04:24:03 +0000 (UTC) Received: from localhost (unknown [112.44.72.228]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mail.envs.net (Postfix) with ESMTPSA; Sun, 9 Mar 2025 04:24:03 +0000 (UTC) Received: from localhost.localdomain (localhost.lan [127.0.0.1]) by localhost (OpenSMTPD) with ESMTP id 503f2550; Sun, 9 Mar 2025 04:28:08 +0000 (UTC) From: iyzsong@envs.net To: guix-patches@gnu.org Subject: [PATCH] gnu: polyml: Update to 5.9.1. Date: Sun, 9 Mar 2025 12:28:05 +0800 Message-ID: <76fa207072da8b17bbf55b741159da31aa0175a8.1741494482.git.iyzsong@member.fsf.org> X-Mailer: git-send-email 2.48.1 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=5.199.136.28; envelope-from=iyzsong@envs.net; helo=mail.envs.net X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=unavailable autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.9 (/) X-Debbugs-Envelope-To: submit Cc: =?UTF-8?q?=E5=AE=8B=E6=96=87=E6=AD=A6?= 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.1 (/) From: 宋文武 * gnu/packages/sml.scm (polyml): Update to 5.9.1. Change-Id: I93571e78e2a62f7aff05f2a93ccc3cb48c154a28 --- gnu/packages/sml.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/sml.scm b/gnu/packages/sml.scm index 8e2d4a59e4..c8223d6b1d 100644 --- a/gnu/packages/sml.scm +++ b/gnu/packages/sml.scm @@ -35,7 +35,7 @@ (define-module (gnu packages sml) (define-public polyml (package (name "polyml") - (version "5.9") + (version "5.9.1") (source (origin (method git-fetch) (uri (git-reference @@ -44,7 +44,7 @@ (define-public polyml (file-name (git-file-name name version)) (sha256 (base32 - "0hhij8y0kvchg9rarzrcr9i0f629s2chbg258b0jscicjv9ghi6w")))) + "1s7lpnxg826r2lm2c81j9a61zwljy2ybkqwadjiwrfi0hmbczn89")))) (build-system gnu-build-system) (inputs (list gmp lesstif libffi libx11 libxt)) base-commit: 4538aa4acd199db7d7df1deb5e47b2ff6edb50f9 -- 2.48.1 ------------=_1741662122-16672-1--