git: 4e6e2b2e84a7 - main - lang/polyml: Update to 5.9.1

From: Wen Heping <wen_at_FreeBSD.org>
Date: Sat, 27 Jan 2024 13:14:56 UTC 
The branch main has been updated by wen:

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

commit 4e6e2b2e84a75fe686bd880abccd40f35d3291d7
Author:     Wen Heping <wen@FreeBSD.org>
AuthorDate: 2024-01-27 09:02:26 +0000
Commit:     Wen Heping <wen@FreeBSD.org>
CommitDate: 2024-01-27 13:08:52 +0000

    lang/polyml: Update to 5.9.1
    
    PR:             244992
    Reported by:    wen@
    Approved by:    maintainer
---
 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 0153bc83b87a..26268ffb1615 100644
--- a/lang/polyml/Makefile
+++ b/lang/polyml/Makefile
@@ -1,7 +1,6 @@
 PORTNAME=	polyml
-PORTVERSION=	5.9
+PORTVERSION=	5.9.1
 DISTVERSIONPREFIX=	v
-PORTREVISION=	1
 CATEGORIES=	lang
 DIST_SUBDIR=	${PORTNAME}
 
diff --git a/lang/polyml/distinfo b/lang/polyml/distinfo
index b72855ee9b54..eabae846edd0 100644
--- a/lang/polyml/distinfo
+++ b/lang/polyml/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1641606337
-SHA256 (polyml/polyml-polyml-v5.9_GH0.tar.gz) = 5aa452a49f2ac0278668772af4ea0b9bf30c93457e60ff7f264c5aec2023c83e
-SIZE (polyml/polyml-polyml-v5.9_GH0.tar.gz) = 3764115
+TIMESTAMP = 1706344889
+SHA256 (polyml/polyml-polyml-v5.9.1_GH0.tar.gz) = 52f56a57a4f308f79446d479e744312195b298aa65181893bce2dfc023a3663c
+SIZE (polyml/polyml-polyml-v5.9.1_GH0.tar.gz) = 3887664
diff --git a/lang/polyml/pkg-plist b/lang/polyml/pkg-plist
index b8b0712ddd64..ecef77b90b9f 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.13
-lib/libpolyml.so.13.0.0
+lib/libpolyml.so.14
+lib/libpolyml.so.14.0.0
 libdata/pkgconfig/polyml.pc
 man/man1/poly.1.gz
 man/man1/polyc.1.gz