| Message ID | 76fa207072da8b17bbf55b741159da31aa0175a8.1741494482.git.iyzsong@member.fsf.org |
|---|---|
| State | New |
| Headers |
Return-Path: <guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org> X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id BE93127BBE9; Sun, 9 Mar 2025 04:25:29 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-6.4 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,RCVD_IN_DNSWL_BLOCKED, RCVD_IN_VALIDITY_CERTIFIED,RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE, SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id D756B27BBE2 for <patchwork@mira.cbaines.net>; Sun, 9 Mar 2025 04:25:27 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from <guix-patches-bounces@gnu.org>) id 1tr8Ds-0002Uu-PY; Sat, 08 Mar 2025 23:25:09 -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 <Debian-debbugs@debbugs.gnu.org>) id 1tr8Dp-0002Sb-Rm for guix-patches@gnu.org; Sat, 08 Mar 2025 23:25:06 -0500 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1tr8Do-0006an-0v for guix-patches@gnu.org; Sat, 08 Mar 2025 23:25:05 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:Date:From:To:Subject; bh=TDb4efXFyujnhBQnk/uxzIZafDu1Y/RcFBstOOz0oBA=; b=fnMLyWpkB36YhoV+ZNodQZuxHQFSpdl4+vqOk6DY2jfJ+91RvDf82trvRQWoZmtZdV3UYa2S4WuzTePa/hgsER+3I6aHEiCfRnYuaFfRFV/5Fmz8Icli5hLAz6r79rD24T2arKNuRwvCy5zIQcmQx5g2UsqFI9xUOAON3avD91D/nBqhs3Vdw2Sm6yxVCH6f/YfRnmr6AvF2nZjD4JTljz0ILt6Oi5zVfeXav1ohjPcyRRzmGAQTTbOpy5mIs8i0r+Iqb0M83EK83P4OzHvk1BS8dw79uSfBuWihZA6eTqNdTV9kM6MY6RAq58sjItqw2SbnaoSzFpaOYvLLkfTcQQ==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1tr8Dn-0000jv-KN for guix-patches@gnu.org; Sat, 08 Mar 2025 23:25:03 -0500 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" <debbugs-submit-bounces@debbugs.gnu.org> Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 09 Mar 2025 04:25:03 +0000 Resent-Message-ID: <handler.76879.B.17414942732774@debbugs.gnu.org> 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?b?5a6L5paH5q2m?= <iyzsong@member.fsf.org> 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 <debbugs-submit-bounces@debbugs.gnu.org>) 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 <iyzsong@envs.net>) 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 <iyzsong@envs.net>) 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 <iyzsong@envs.net>) 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) 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: <guix-patches.gnu.org> List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-patches>, <mailto:guix-patches-request@gnu.org?subject=unsubscribe> List-Archive: <https://lists.gnu.org/archive/html/guix-patches> List-Post: <mailto:guix-patches@gnu.org> List-Help: <mailto:guix-patches-request@gnu.org?subject=help> List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-patches>, <mailto:guix-patches-request@gnu.org?subject=subscribe> Reply-to: iyzsong@envs.net X-ACL-Warn: , iyzsong--- via Guix-patches <guix-patches@gnu.org> From: iyzsong--- via Guix-patches via <guix-patches@gnu.org> Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches |
| Series |
[bug#76879] gnu: polyml: Update to 5.9.1.
|
|
Commit Message
King, Spencer via Guix-patches" via
March 9, 2025, 4:28 a.m. UTC
From: 宋文武 <iyzsong@member.fsf.org>
* 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(-)
base-commit: 4538aa4acd199db7d7df1deb5e47b2ff6edb50f9
Comments
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))