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 8f69ca19129e..5eb42b98c0ba 100644 --- a/devel/smv/Makefile +++ b/devel/smv/Makefile @@ -3,7 +3,7 @@ PORTNAME= smv PORTVERSION= 2.5.4.3 -PORTREVISION= 5 +PORTREVISION= 6 CATEGORIES= devel MASTER_SITES= http://www.cs.cmu.edu/~modelcheck/smv/ DISTNAME= ${PORTNAME}.r${PORTVERSION} |