diff options
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 7bbe53bd00df..f3a556c2e3cb 100644 --- a/lang/polyml/Makefile +++ b/lang/polyml/Makefile @@ -3,6 +3,7 @@ PORTNAME= polyml PORTVERSION= 5.5 +PORTREVISION= 1 CATEGORIES= lang MASTER_SITES= SF DISTNAME= ${PORTNAME}.${PORTVERSION} |