GNU bug report logs - #76879
[PATCH] gnu: polyml: Update to 5.9.1.

Previous Next

Package: guix-patches;

Reported by: iyzsong <at> envs.net

Date: Sun, 9 Mar 2025 04:25:03 UTC

Severity: normal

Tags: patch

Done: 宋文武 <iyzsong <at> envs.net>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 76879 in the body.
You can then email your comments to 76879 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to guix-patches <at> gnu.org:
bug#76879; Package guix-patches. (Sun, 09 Mar 2025 04:25:03 GMT) Full text and rfc822 format available.
Acknowledgement sent to iyzsong <at> envs.net:
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Sun, 09 Mar 2025 04:25:03 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: iyzsong <at> envs.net
To: guix-patches <at> gnu.org
Cc: 宋文武 <iyzsong <at> member.fsf.org>
Subject: [PATCH] gnu: polyml: Update to 5.9.1.
Date: Sun,  9 Mar 2025 12:28:05 +0800

From: 宋文武 <iyzsong <at> 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(-)

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
Reply sent to 宋文武 <iyzsong <at> envs.net>:
You have taken responsibility. (Tue, 11 Mar 2025 03:02:02 GMT) Full text and rfc822 format available.
Notification sent to iyzsong <at> envs.net:
bug acknowledged by developer. (Tue, 11 Mar 2025 03:02:02 GMT) Full text and rfc822 format available.

Message #10 received at 76879-done <at> debbugs.gnu.org (full text, mbox):

From: 宋文武 <iyzsong <at> envs.net>
To: 76879-done <at> debbugs.gnu.org
Cc: 宋文武 <iyzsong <at> member.fsf.org>
Subject: Re: [bug#76879] [PATCH] gnu: polyml: Update to 5.9.1.
Date: Tue, 11 Mar 2025 11:05:50 +0800

Pushed, close.
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Tue, 08 Apr 2025 11:24:27 GMT) Full text and rfc822 format available.
This bug report was last modified 122 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.