diff options
Diffstat (limited to 'security/klee/Makefile')
| -rw-r--r-- | security/klee/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/security/klee/Makefile b/security/klee/Makefile index 9bd6a8c2f18c..7d5bceb6dc42 100644 --- a/security/klee/Makefile +++ b/security/klee/Makefile @@ -3,6 +3,7 @@ PORTNAME= klee DISTVERSIONPREFIX= v DISTVERSION= 2.0 +PORTREVISION= 1 CATEGORIES= security devel MAINTAINER= arrowd@FreeBSD.org |