From jmelo@capeta.freebsdbrasil.com.br  Fri Nov 11 21:26:29 2005
Return-Path: <jmelo@capeta.freebsdbrasil.com.br>
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 7421916A420
	for <FreeBSD-gnats-submit@freebsd.org>; Fri, 11 Nov 2005 21:26:29 +0000 (GMT)
	(envelope-from jmelo@capeta.freebsdbrasil.com.br)
Received: from capeta.freebsdbrasil.com.br (vrrp.freebsdbrasil.com.br [200.210.70.30])
	by mx1.FreeBSD.org (Postfix) with SMTP id 5FEBF43D46
	for <FreeBSD-gnats-submit@freebsd.org>; Fri, 11 Nov 2005 21:26:28 +0000 (GMT)
	(envelope-from jmelo@capeta.freebsdbrasil.com.br)
Received: (qmail 26175 invoked by uid 1003); 11 Nov 2005 19:26:34 -0200
Message-Id: <20051111212634.26174.qmail@capeta.freebsdbrasil.com.br>
Date: 11 Nov 2005 19:26:34 -0200
From: Jean Milanez Melo <jmelo@freebsdbrasil.com.br>
Reply-To: Jean Milanez Melo <jmelo@freebsdbrasil.com.br>
To: FreeBSD-gnats-submit@freebsd.org
Cc: marc.vanwoerkom@fernuni-hagen.de
Subject: Update port: devel/smv update MASTER_SITE, WWW and add SHA256 on distinfo
X-Send-Pr-Version: 3.113
X-GNATS-Notify:

>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:    garga
>State:          closed
>Quarter:        
>Keywords:       
>Date-Required:  
>Class:          update
>Submitter-Id:   current-users
>Arrival-Date:   Fri Nov 11 21:30:17 GMT 2005
>Closed-Date:    Wed Nov 30 11:30:20 GMT 2005
>Last-Modified:  Wed Nov 30 11:30:20 GMT 2005
>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@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@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@fernuni-hagen.de
--- smv.diff ends here ---


>Release-Note:
>Audit-Trail:
State-Changed-From-To: open->feedback 
State-Changed-By: mnag 
State-Changed-When: Fri Nov 11 21:38:37 GMT 2005 
State-Changed-Why:  
Ask for maintainer approval. 

http://www.freebsd.org/cgi/query-pr.cgi?pr=88863 

From: Edwin Groothuis <edwin@FreeBSD.org>
To: marc.vanwoerkom@fernuni-hagen.de
Cc: bug-followup@FreeBSD.org
Subject: Re: ports/88863: Update port: devel/smv update MASTER_SITE, WWW and add SHA256 on distinfo
Date: Fri, 11 Nov 2005 21:39:16 UT

 Maintainer of devel/smv,
 
 Please note that PR ports/88863 just has been submitted.
 
 If it contains a patch for an upgrade, an enhancement or a bug fix
 you agree on, reply to this email stating that you approve the patch
 and a committer will take care of it.
 
 The full text of the PR can be found at:
     http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/88863
 
 -- 
 Edwin Groothuis
 edwin@FreeBSD.org
Responsible-Changed-From-To: freebsd-ports-bugs->garga 
Responsible-Changed-By: garga 
Responsible-Changed-When: Mon Nov 14 14:00:36 GMT 2005 
Responsible-Changed-Why:  
I'll take it. 

http://www.freebsd.org/cgi/query-pr.cgi?pr=88863 
State-Changed-From-To: feedback->closed 
State-Changed-By: garga 
State-Changed-When: Wed Nov 30 11:30:19 GMT 2005 
State-Changed-Why:  
Committed. Thanks! 

http://www.freebsd.org/cgi/query-pr.cgi?pr=88863 
>Unformatted:
