diff options
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 a82dc324396f..a35e9712b249 100644 --- a/lang/polyml/Makefile +++ b/lang/polyml/Makefile @@ -6,7 +6,7 @@ # PORTNAME= polyml -PORTVERSION= 5.1 +PORTVERSION= 5.2 CATEGORIES= lang MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= ${PORTNAME} |