1
0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-06 21:20:33 +02:00

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>
This commit is contained in:
quanrong
2025-08-23 11:45:20 +02:00
committed by 宋文武
parent 48fea09d68
commit 0e33b81823

View File

@@ -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))