diff options
| author | Gerald Pfeifer <gerald@FreeBSD.org> | 2018-07-29 22:18:44 +0000 |
|---|---|---|
| committer | Gerald Pfeifer <gerald@FreeBSD.org> | 2018-07-29 22:18:44 +0000 |
| commit | 09f9633cb617878a6611cfdfb630e55d957188ef (patch) | |
| tree | 75221c7f7553f4576b2cf1137ee3db4058fd8973 /devel/smv/Makefile | |
| parent | d2346f31bcdb9a72f7cb14c3d3127c2d198a087e (diff) | |
| download | ports-09f9633cb617878a6611cfdfb630e55d957188ef.tar.gz ports-09f9633cb617878a6611cfdfb630e55d957188ef.zip | |
Notes
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} |