diff options
| author | quanrong <quanrong@mailbox.org> | 2025-08-23 11:45:20 +0200 |
|---|---|---|
| committer | 宋文武 <iyzsong@member.fsf.org> | 2025-08-23 19:04:35 +0800 |
| commit | 0e33b818235707879d64d7cb35a5b8d52ef07f15 (patch) | |
| tree | 53512393de864711230f2be6f97136f5193a8ea8 | |
| parent | 48fea09d68d575e82c986c93785786165bd95f82 (diff) | |
gnu: polyml: Update to 5.9.2.
* gnu/packages/sml.scm (polyml): Update to 5.9.2.
Closes: #2212
Change-Id: Ia8faea86acd88815f9bcd5481821607b1bcd9490
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
| -rw-r--r-- | gnu/packages/sml.scm | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gnu/packages/sml.scm b/gnu/packages/sml.scm index f9e5b6439a6..7d7cd5be2d7 100644 --- a/gnu/packages/sml.scm +++ b/gnu/packages/sml.scm @@ -4,6 +4,7 @@ ;;; Copyright © 2018 Ricardo Wurmus <rekado@elephly.net> ;;; Copyright © 2019, 2020 Brett Gilio <brettg@gnu.org> ;;; Copyright © 2021, 2022 Foo Chuan Wei <chuanwei.foo@hotmail.com> +;;; Copyright © 2025 Tomás Ortín Fernández <quanrong@mailbox.org> ;;; ;;; This file is part of GNU Guix. ;;; @@ -35,7 +36,7 @@ (define-public polyml (package (name "polyml") - (version "5.9.1") + (version "5.9.2") (source (origin (method git-fetch) (uri (git-reference @@ -44,7 +45,7 @@ (file-name (git-file-name name version)) (sha256 (base32 - "1s7lpnxg826r2lm2c81j9a61zwljy2ybkqwadjiwrfi0hmbczn89")))) + "1kvkpighzz6dkfh9gr1franvjfjhr4lcwyb0cmngzvb2nf6g8f6v")))) (build-system gnu-build-system) (inputs (list gmp libffi libx11 libxt motif)) |