diff options
Diffstat (limited to 'devel/smv/Makefile')
| -rw-r--r-- | devel/smv/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/smv/Makefile b/devel/smv/Makefile index 5eb42b98c0ba..c736c1b3f0f0 100644 --- a/devel/smv/Makefile +++ b/devel/smv/Makefile @@ -3,7 +3,7 @@ PORTNAME= smv PORTVERSION= 2.5.4.3 -PORTREVISION= 6 +PORTREVISION= 7 CATEGORIES= devel MASTER_SITES= http://www.cs.cmu.edu/~modelcheck/smv/ DISTNAME= ${PORTNAME}.r${PORTVERSION} |