From unknown Sat Aug 09 04:56:00 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#76879 <76879@debbugs.gnu.org> To: bug#76879 <76879@debbugs.gnu.org> Subject: Status: [PATCH] gnu: polyml: Update to 5.9.1. Reply-To: bug#76879 <76879@debbugs.gnu.org> Date: Sat, 09 Aug 2025 11:56:00 +0000 retitle 76879 [PATCH] gnu: polyml: Update to 5.9.1. reassign 76879 guix-patches submitter 76879 iyzsong@envs.net severity 76879 normal tag 76879 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Sat Mar 08 23:24:33 2025 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 From debbugs-submit-bounces@debbugs.gnu.org Mon Mar 10 23:01:46 2025 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. From unknown Sat Aug 09 04:56:00 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Tue, 08 Apr 2025 11:24:27 +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