lang/polyml: Update to 5.9.1

PR: 244992 Reported by: wen@ Approved by: maintainer
freebsd · Jan 27, 2024 · 4e6e2b2 · 4e6e2b2
1 parent 8cb0899
commit 4e6e2b2
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 7 deletions.
diff --git 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
@@ -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
@@ -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