Date: 11 Nov 2005 19:26:34 -0200 From: Jean Milanez Melo <jmelo@freebsdbrasil.com.br> To: FreeBSD-gnats-submit@FreeBSD.org Cc: marc.vanwoerkom@fernuni-hagen.de Subject: ports/88863: Update port: devel/smv update MASTER_SITE, WWW and add SHA256 on distinfo Message-ID: <20051111212634.26174.qmail@capeta.freebsdbrasil.com.br> Resent-Message-ID: <200511112130.jABLUHNZ017312@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>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:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20051111212634.26174.qmail>