From owner-freebsd-ports-bugs@FreeBSD.ORG Fri Nov 11 21:30:19 2005 Return-Path: X-Original-To: freebsd-ports-bugs@hub.freebsd.org Delivered-To: freebsd-ports-bugs@hub.freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 1D8E216A41F for ; Fri, 11 Nov 2005 21:30:19 +0000 (GMT) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (freefall.freebsd.org [216.136.204.21]) by mx1.FreeBSD.org (Postfix) with ESMTP id 82FED43D49 for ; Fri, 11 Nov 2005 21:30:18 +0000 (GMT) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1]) by freefall.freebsd.org (8.13.3/8.13.3) with ESMTP id jABLUH5Y017313 for ; Fri, 11 Nov 2005 21:30:17 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.13.3/8.13.1/Submit) id jABLUHNZ017312; Fri, 11 Nov 2005 21:30:17 GMT (envelope-from gnats) Resent-Date: Fri, 11 Nov 2005 21:30:17 GMT Resent-Message-Id: <200511112130.jABLUHNZ017312@freefall.freebsd.org> Resent-From: FreeBSD-gnats-submit@FreeBSD.org (GNATS Filer) Resent-To: freebsd-ports-bugs@FreeBSD.org Resent-Reply-To: FreeBSD-gnats-submit@FreeBSD.org, Jean Milanez Melo Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 7421916A420 for ; 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 ; 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 To: FreeBSD-gnats-submit@FreeBSD.org X-Send-Pr-Version: 3.113 Cc: marc.vanwoerkom@fernuni-hagen.de Subject: ports/88863: Update port: devel/smv update MASTER_SITE, WWW and add SHA256 on distinfo X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list Reply-To: Jean Milanez Melo List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 11 Nov 2005 21:30:19 -0000 >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@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: >Unformatted: