From 62826707b8f1be0d8f70e63ac6cba33f41e95835 Mon Sep 17 00:00:00 2001 From: Wen Heping Date: Mon, 10 Jan 2022 08:15:31 +0800 Subject: [PATCH] lang/polyml: Update to 5.9 PR: 261019 Reported by: wen@ Approved by: maintainer --- 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 dbcda89eb5bc..453a7fb920a2 100644 --- a/lang/polyml/Makefile +++ b/lang/polyml/Makefile @@ -1,7 +1,7 @@ # Created by: Timothy Bourke PORTNAME= polyml -PORTVERSION= 5.8.2 +PORTVERSION= 5.9 DISTVERSIONPREFIX= v CATEGORIES= lang DIST_SUBDIR= ${PORTNAME} diff --git a/lang/polyml/distinfo b/lang/polyml/distinfo index 03cc941dafbf..b72855ee9b54 100644 --- a/lang/polyml/distinfo +++ b/lang/polyml/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1623290848 -SHA256 (polyml/polyml-polyml-v5.8.2_GH0.tar.gz) = 310b0ba748a50f38e99de7f65ba990bc4b4f4b0123ad76aba4c44d7cd1ed9277 -SIZE (polyml/polyml-polyml-v5.8.2_GH0.tar.gz) = 8819392 +TIMESTAMP = 1641606337 +SHA256 (polyml/polyml-polyml-v5.9_GH0.tar.gz) = 5aa452a49f2ac0278668772af4ea0b9bf30c93457e60ff7f264c5aec2023c83e +SIZE (polyml/polyml-polyml-v5.9_GH0.tar.gz) = 3764115 diff --git a/lang/polyml/pkg-plist b/lang/polyml/pkg-plist index 3ae946f2b928..b8b0712ddd64 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.12 -lib/libpolyml.so.12.0.0 +lib/libpolyml.so.13 +lib/libpolyml.so.13.0.0 libdata/pkgconfig/polyml.pc man/man1/poly.1.gz man/man1/polyc.1.gz