diff options
author | Wen Heping <wen@FreeBSD.org> | 2021-06-10 02:14:26 +0000 |
---|---|---|
committer | Wen Heping <wen@FreeBSD.org> | 2021-06-10 02:14:26 +0000 |
commit | 64a3ba1431d247592c826cb547284a8b1174066a (patch) | |
tree | 2536c775d88d92a283b71c86525ebbd1a917770b /lang/polyml/Makefile | |
parent | 04548d47a5b44e8c89f530d8f2b2b2f1e97a34df (diff) | |
download | ports-64a3ba1431d247592c826cb547284a8b1174066a.tar.gz ports-64a3ba1431d247592c826cb547284a8b1174066a.zip |
lang/polyml: Update to 5.8.2
PR: 255975
Submitter: wen@
Approved by: maintainer(timeout, > 20 days)
Diffstat (limited to 'lang/polyml/Makefile')
-rw-r--r-- | lang/polyml/Makefile | 2 |
1 files changed, 1 insertions, 1 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@bigpond.com> PORTNAME= polyml -PORTVERSION= 5.8.1 +PORTVERSION= 5.8.2 DISTVERSIONPREFIX= v CATEGORIES= lang DIST_SUBDIR= ${PORTNAME} |