diff options
| author | Wen Heping <wen@FreeBSD.org> | 2024-01-27 09:02:26 +0000 |
|---|---|---|
| committer | Wen Heping <wen@FreeBSD.org> | 2024-01-27 13:08:52 +0000 |
| commit | 4e6e2b2e84a75fe686bd880abccd40f35d3291d7 (patch) | |
| tree | 41679794f5e3c58d236d6e1dde32292cdb6cdef3 | |
| parent | 8cb08999e44e700422a105e6f85cf8d2eff758a6 (diff) | |
| download | ports-4e6e2b2e84a75fe686bd880abccd40f35d3291d7.tar.gz ports-4e6e2b2e84a75fe686bd880abccd40f35d3291d7.zip | |
lang/polyml: Update to 5.9.1
PR: 244992
Reported by: wen@
Approved by: maintainer
| -rw-r--r-- | lang/polyml/Makefile | 3 | ||||
| -rw-r--r-- | lang/polyml/distinfo | 6 | ||||
| -rw-r--r-- | 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 |