diff options
| author | Renato Botelho <garga@FreeBSD.org> | 2005-11-30 11:30:11 +0000 |
|---|---|---|
| committer | Renato Botelho <garga@FreeBSD.org> | 2005-11-30 11:30:11 +0000 |
| commit | 3db2b38cff5e9bf1d6b4454ec5ebc21598e9abf0 (patch) | |
| tree | 5146e0e2bacd12a41895776bde050e2fa0850344 /devel/smv | |
| parent | 7013bbaf06b6b2111da9ac2e46bc1a0a2065496a (diff) | |
| download | ports-3db2b38cff5e9bf1d6b4454ec5ebc21598e9abf0.tar.gz ports-3db2b38cff5e9bf1d6b4454ec5ebc21598e9abf0.zip | |
Notes
Diffstat (limited to 'devel/smv')
| -rw-r--r-- | devel/smv/Makefile | 2 | ||||
| -rw-r--r-- | devel/smv/distinfo | 1 | ||||
| -rw-r--r-- | devel/smv/pkg-descr | 2 |
3 files changed, 3 insertions, 2 deletions
diff --git a/devel/smv/Makefile b/devel/smv/Makefile index 04956f016459..071ad3ca0591 100644 --- a/devel/smv/Makefile +++ b/devel/smv/Makefile @@ -8,7 +8,7 @@ PORTNAME= smv PORTVERSION= 2.5.4.3 CATEGORIES= devel -MASTER_SITES= http://www-2.cs.cmu.edu/~modelcheck/smv/ +MASTER_SITES= http://www.cs.cmu.edu/~modelcheck/smv/ DISTNAME= ${PORTNAME}.r${PORTVERSION} MAINTAINER= marc.vanwoerkom@fernuni-hagen.de diff --git a/devel/smv/distinfo b/devel/smv/distinfo index 664bcbd3147a..065983369c27 100644 --- a/devel/smv/distinfo +++ b/devel/smv/distinfo @@ -1,2 +1,3 @@ MD5 (smv.r2.5.4.3.tar.gz) = dd1a7ebcbac935845fc73eb8957386cb +SHA256 (smv.r2.5.4.3.tar.gz) = d590cbf02bed6cb25135267be245cd537ba1f030a4934cbb13ba437c3fae4af8 SIZE (smv.r2.5.4.3.tar.gz) = 214640 diff --git a/devel/smv/pkg-descr b/devel/smv/pkg-descr index 3dda4dbc6a5a..38b375d3ca9f 100644 --- a/devel/smv/pkg-descr +++ b/devel/smv/pkg-descr @@ -8,7 +8,7 @@ structure in the SMV language and provides specifications in CTL. The model checking algorithm allows to determine if the Kripke structure fulfills the specifications. -WWW: http://www-2.cs.cmu.edu/~modelcheck/smv.html +WWW: http://www.cs.cmu.edu/~modelcheck/smv.html Marc E.E. van Woerkom marc.vanwoerkom@fernuni-hagen.de |