git: 64a3ba1431d2 - main - lang/polyml: Update to 5.8.2

[Wen Heping]

The branch main has been updated by wen:

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

commit 64a3ba1431d247592c826cb547284a8b1174066a
Author:     Wen Heping <wen at FreeBSD.org>
AuthorDate: 2021-06-10 02:14:26 +0000
Commit:     Wen Heping <wen at FreeBSD.org>
CommitDate: 2021-06-10 02:14:26 +0000

    lang/polyml: Update to 5.8.2
    
    PR:             255975
    Submitter:      wen@
    Approved by:    maintainer(timeout, > 20 days)
---
 lang/polyml/Makefile  | 2 +-
 lang/polyml/distinfo  | 6 +++---
 lang/polyml/pkg-plist | 4 ++--
 3 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/lang/polyml/Makefile b/lang/polyml/Makefile
index 693d8f4a7b9f..dbcda89eb5bc 100644
--- a/lang/polyml/Makefile
+++ b/lang/polyml/Makefile
@@ -1,7 +1,7 @@
 # Created by: Timothy Bourke <timbob at bigpond.com>
 
 PORTNAME=	polyml
-PORTVERSION=	5.8.1
+PORTVERSION=	5.8.2
 DISTVERSIONPREFIX=	v
 CATEGORIES=	lang
 DIST_SUBDIR=	${PORTNAME}
diff --git a/lang/polyml/distinfo b/lang/polyml/distinfo
index 19c343dc7206..03cc941dafbf 100644
--- a/lang/polyml/distinfo
+++ b/lang/polyml/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1612530407
-SHA256 (polyml/polyml-polyml-v5.8.1_GH0.tar.gz) = fa0507b44470b4e07a061ef6a8896efe42710d8436e15721d743572ad2f7753b
-SIZE (polyml/polyml-polyml-v5.8.1_GH0.tar.gz) = 9845209
+TIMESTAMP = 1623290848
+SHA256 (polyml/polyml-polyml-v5.8.2_GH0.tar.gz) = 310b0ba748a50f38e99de7f65ba990bc4b4f4b0123ad76aba4c44d7cd1ed9277
+SIZE (polyml/polyml-polyml-v5.8.2_GH0.tar.gz) = 8819392
diff --git a/lang/polyml/pkg-plist b/lang/polyml/pkg-plist
index 74f4335bdad4..3ae946f2b928 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.11
-lib/libpolyml.so.11.0.0
+lib/libpolyml.so.12
+lib/libpolyml.so.12.0.0
 libdata/pkgconfig/polyml.pc
 man/man1/poly.1.gz
 man/man1/polyc.1.gz