ports/88863: Update port: devel/smv update MASTER_SITE, WWW and add SHA256 on distinfo

[Jean Milanez Melo]

>Number:         88863
>Category:       ports
>Synopsis:       Update port: devel/smv update MASTER_SITE, WWW and add SHA256 on distinfo
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          update
>Submitter-Id:   current-users
>Arrival-Date:   Fri Nov 11 21:30:17 GMT 2005
>Closed-Date:
>Last-Modified:
>Originator:     Jean Milanez Melo
>Release:        FreeBSD 5.3-STABLE i386
>Organization:
>Environment:
System: FreeBSD capeta.freebsdbrasil.com.br 5.3-STABLE FreeBSD 5.3-STABLE #5: Wed Mar 2 15:03:19 BRT 2005 eksffa at capeta.freebsdbrasil.com.br:/usr/obj/usr/src/sys/CAPETA i386


	
>Description:
	
- Update MASTER_SITE to fix fetch problems.
- Update WWW on pkg-descr.
- Added SHA256 on distinfo.
- Maintainer has been CCed.

>How-To-Repeat:
	
>Fix:

	

--- smv.diff begins here ---
diff -ruN smv.old/Makefile smv/Makefile
--- smv.old/Makefile	Fri Dec 12 23:22:09 2003
+++ smv/Makefile	Fri Nov 11 19:25:26 2005
@@ -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 at fernuni-hagen.de
diff -ruN smv.old/distinfo smv/distinfo
--- smv.old/distinfo	Wed Mar 31 00:07:28 2004
+++ smv/distinfo	Fri Nov 11 19:25:59 2005
@@ -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 -ruN smv.old/pkg-descr smv/pkg-descr
--- smv.old/pkg-descr	Sat Dec 13 09:18:16 2003
+++ smv/pkg-descr	Fri Nov 11 19:25:50 2005
@@ -8,7 +8,7 @@
 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 at fernuni-hagen.de
--- smv.diff ends here ---


>Release-Note:
>Audit-Trail:
>Unformatted: