diff options
| author | garga <garga@FreeBSD.org> | 2005-11-30 19:30:11 +0800 |
|---|---|---|
| committer | garga <garga@FreeBSD.org> | 2005-11-30 19:30:11 +0800 |
| commit | 407c4ae316b7bf1948153f21848f6d7e9899963d (patch) | |
| tree | 1960c22113ca47ab456b133ac63bcf35630f849c /devel/smv | |
| parent | c099a79f8e91229e66a1107d6ec5b8363e7a1ae3 (diff) | |
| download | freebsd-ports-gnome-407c4ae316b7bf1948153f21848f6d7e9899963d.tar.gz freebsd-ports-gnome-407c4ae316b7bf1948153f21848f6d7e9899963d.tar.zst freebsd-ports-gnome-407c4ae316b7bf1948153f21848f6d7e9899963d.zip | |
- Update MASTER_SITE to fix fetch problems.
- Update WWW on pkg-descr.
- Added SHA256 on distinfo.
PR: ports/88863
Submitted by: Jean Milanez Melo <jmelo@freebsdbrasil.com.br>
Approved by: maintainer timeout (19 days)
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 |