diff options
author | Kevin Bowling <kbowling@FreeBSD.org> | 2022-05-09 19:20:37 +0000 |
---|---|---|
committer | Kevin Bowling <kbowling@FreeBSD.org> | 2022-05-09 19:23:51 +0000 |
commit | db78da8f8b7388d951665362479eb4aa0babf1b4 (patch) | |
tree | 889195f4ec9075a5a7ac01fe397a42e58f938aa3 /lang/polyml/Makefile | |
parent | bec21c95d998ff28ef8a8337cec3b9fce8074ce8 (diff) | |
download | ports-db78da8f8b7388d951665362479eb4aa0babf1b4.tar.gz ports-db78da8f8b7388d951665362479eb4aa0babf1b4.zip |
Diffstat (limited to 'lang/polyml/Makefile')
-rw-r--r-- | lang/polyml/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lang/polyml/Makefile b/lang/polyml/Makefile index 453a7fb920a2..423041efee89 100644 --- a/lang/polyml/Makefile +++ b/lang/polyml/Makefile @@ -3,6 +3,7 @@ PORTNAME= polyml PORTVERSION= 5.9 DISTVERSIONPREFIX= v +PORTREVISION= 1 CATEGORIES= lang DIST_SUBDIR= ${PORTNAME} |