From 0e33b818235707879d64d7cb35a5b8d52ef07f15 Mon Sep 17 00:00:00 2001
From: quanrong <quanrong@mailbox.org>
Date: Sat, 23 Aug 2025 11:45:20 +0200
Subject: [PATCH] gnu: polyml: Update to 5.9.2.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* gnu/packages/sml.scm (polyml): Update to 5.9.2.

Closes: #2212
Change-Id: Ia8faea86acd88815f9bcd5481821607b1bcd9490
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
---
 gnu/packages/sml.scm | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/sml.scm b/gnu/packages/sml.scm
index f9e5b6439a..7d7cd5be2d 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))