lang/polyml: Update to 5.9.2

PR:		288806
Approved by:	maintainer(timeout, > 30 days)
This commit is contained in:
Wen Heping 2025-09-14 12:57:29 +00:00
parent 2309d73138
commit e9f0009d1c
3 changed files with 6 additions and 7 deletions

View File

@ -1,6 +1,5 @@
PORTNAME= polyml PORTNAME= polyml
PORTVERSION= 5.9.1 PORTVERSION= 5.9.2
PORTREVISION= 1
DISTVERSIONPREFIX= v DISTVERSIONPREFIX= v
CATEGORIES= lang CATEGORIES= lang
DIST_SUBDIR= ${PORTNAME} DIST_SUBDIR= ${PORTNAME}

View File

@ -1,3 +1,3 @@
TIMESTAMP = 1706344889 TIMESTAMP = 1757853144
SHA256 (polyml/polyml-polyml-v5.9.1_GH0.tar.gz) = 52f56a57a4f308f79446d479e744312195b298aa65181893bce2dfc023a3663c SHA256 (polyml/polyml-polyml-v5.9.2_GH0.tar.gz) = 5cf5f77767568c25cf880acc2d0a32ee3d399e935475ab1626e8192fc3b07390
SIZE (polyml/polyml-polyml-v5.9.1_GH0.tar.gz) = 3887664 SIZE (polyml/polyml-polyml-v5.9.2_GH0.tar.gz) = 3878657

View File

@ -4,8 +4,8 @@ bin/polyimport
lib/libpolymain.a lib/libpolymain.a
lib/libpolyml.a lib/libpolyml.a
lib/libpolyml.so lib/libpolyml.so
lib/libpolyml.so.14 lib/libpolyml.so.16
lib/libpolyml.so.14.0.0 lib/libpolyml.so.16.0.0
libdata/pkgconfig/polyml.pc libdata/pkgconfig/polyml.pc
share/man/man1/poly.1.gz share/man/man1/poly.1.gz
share/man/man1/polyc.1.gz share/man/man1/polyc.1.gz