mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-04 06:15:24 +00:00
lang/polyml: Update to 5.9
PR: 261019 Reported by: wen@ Approved by: maintainer
This commit is contained in:
parent
d927653584
commit
62826707b8
@ -1,7 +1,7 @@
|
|||||||
# Created by: Timothy Bourke <timbob@bigpond.com>
|
# Created by: Timothy Bourke <timbob@bigpond.com>
|
||||||
|
|
||||||
PORTNAME= polyml
|
PORTNAME= polyml
|
||||||
PORTVERSION= 5.8.2
|
PORTVERSION= 5.9
|
||||||
DISTVERSIONPREFIX= v
|
DISTVERSIONPREFIX= v
|
||||||
CATEGORIES= lang
|
CATEGORIES= lang
|
||||||
DIST_SUBDIR= ${PORTNAME}
|
DIST_SUBDIR= ${PORTNAME}
|
||||||
|
@ -1,3 +1,3 @@
|
|||||||
TIMESTAMP = 1623290848
|
TIMESTAMP = 1641606337
|
||||||
SHA256 (polyml/polyml-polyml-v5.8.2_GH0.tar.gz) = 310b0ba748a50f38e99de7f65ba990bc4b4f4b0123ad76aba4c44d7cd1ed9277
|
SHA256 (polyml/polyml-polyml-v5.9_GH0.tar.gz) = 5aa452a49f2ac0278668772af4ea0b9bf30c93457e60ff7f264c5aec2023c83e
|
||||||
SIZE (polyml/polyml-polyml-v5.8.2_GH0.tar.gz) = 8819392
|
SIZE (polyml/polyml-polyml-v5.9_GH0.tar.gz) = 3764115
|
||||||
|
@ -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.12
|
lib/libpolyml.so.13
|
||||||
lib/libpolyml.so.12.0.0
|
lib/libpolyml.so.13.0.0
|
||||||
libdata/pkgconfig/polyml.pc
|
libdata/pkgconfig/polyml.pc
|
||||||
man/man1/poly.1.gz
|
man/man1/poly.1.gz
|
||||||
man/man1/polyc.1.gz
|
man/man1/polyc.1.gz
|
||||||
|
Loading…
Reference in New Issue
Block a user