git: e9f0009d1cb7 - main - lang/polyml: Update to 5.9.2

The branch main has been updated by wen:

URL: https://cgit.FreeBSD.org/ports/commit/?id=e9f0009d1cb7c7a59eda1e824d82ddca5591f68d

commit e9f0009d1cb7c7a59eda1e824d82ddca5591f68d
Author:     Wen Heping <wen@FreeBSD.org>
AuthorDate: 2025-09-14 12:57:29 +0000
Commit:     Wen Heping <wen@FreeBSD.org>
CommitDate: 2025-09-14 12:58:50 +0000

    lang/polyml: Update to 5.9.2
    
    PR:             288806
    Approved by:    maintainer(timeout, > 30 days)
---
 lang/polyml/Makefile  | 3 +--
 lang/polyml/distinfo  | 6 +++---
 lang/polyml/pkg-plist | 4 ++--
 3 files changed, 6 insertions(+), 7 deletions(-)

diff --git a/lang/polyml/Makefile b/lang/polyml/Makefile
index 9b5189465d7d..441ef51ac46e 100644
--- a/lang/polyml/Makefile
+++ b/lang/polyml/Makefile
@@ -1,6 +1,5 @@
 PORTNAME=	polyml
-PORTVERSION=	5.9.1
-PORTREVISION=	1
+PORTVERSION=	5.9.2
 DISTVERSIONPREFIX=	v
 CATEGORIES=	lang
 DIST_SUBDIR=	${PORTNAME}
diff --git a/lang/polyml/distinfo b/lang/polyml/distinfo
index eabae846edd0..ff99fe7e60df 100644
--- a/lang/polyml/distinfo
+++ b/lang/polyml/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1706344889
-SHA256 (polyml/polyml-polyml-v5.9.1_GH0.tar.gz) = 52f56a57a4f308f79446d479e744312195b298aa65181893bce2dfc023a3663c
-SIZE (polyml/polyml-polyml-v5.9.1_GH0.tar.gz) = 3887664
+TIMESTAMP = 1757853144
+SHA256 (polyml/polyml-polyml-v5.9.2_GH0.tar.gz) = 5cf5f77767568c25cf880acc2d0a32ee3d399e935475ab1626e8192fc3b07390
+SIZE (polyml/polyml-polyml-v5.9.2_GH0.tar.gz) = 3878657
diff --git a/lang/polyml/pkg-plist b/lang/polyml/pkg-plist
index 744ab17237c0..ab597f353386 100644
--- a/lang/polyml/pkg-plist
+++ b/lang/polyml/pkg-plist
@@ -4,8 +4,8 @@ bin/polyimport
 lib/libpolymain.a
 lib/libpolyml.a
 lib/libpolyml.so
-lib/libpolyml.so.14
-lib/libpolyml.so.14.0.0
+lib/libpolyml.so.16
+lib/libpolyml.so.16.0.0
 libdata/pkgconfig/polyml.pc
 share/man/man1/poly.1.gz
 share/man/man1/polyc.1.gz