[PATCH] gnu: polyml: Update to 5.9.1.

  • Done
  • quality assurance status badge
Details
One participant
  • iyzsong
Owner
unassigned
Submitted by
iyzsong
Severity
normal

Debbugs page

I
I
iyzsong wrote on 8 Mar 20:28 -0800
(address . guix-patches@gnu.org)(name . 宋文武)(address . iyzsong@member.fsf.org)
76fa207072da8b17bbf55b741159da31aa0175a8.1741494482.git.iyzsong@member.fsf.org
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(-)

Toggle diff (26 lines)
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
宋
宋文武 wrote on 10 Mar 20:05 -0700
(address . 76879-done@debbugs.gnu.org)(name . 宋文武)(address . iyzsong@member.fsf.org)
8734fkxo4x.fsf@envs.net
Pushed, close.
Closed
?
Your comment

Commenting via the web interface is currently disabled.

To comment on this conversation send an email to 76879@patchwise.org

To respond to this issue using the mumi CLI, first switch to it
mumi current 76879
Then, you may apply the latest patchset in this issue (with sign off)
mumi am -- -s
Or, compose a reply to this issue
mumi compose
Or, send patches to this issue
mumi send-email *.patch