diff options
Diffstat (limited to 'java/jflex/Makefile')
| -rw-r--r-- | java/jflex/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/java/jflex/Makefile b/java/jflex/Makefile index 42e741969137..b6ae45d88a77 100644 --- a/java/jflex/Makefile +++ b/java/jflex/Makefile @@ -1,5 +1,6 @@ PORTNAME= jflex PORTVERSION= 1.8.1 +PORTREVISION= 1 CATEGORIES= java devel MASTER_SITES= https://github.com/jflex-de/jflex/releases/download/v${PORTVERSION}/ |