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