[83690] trunk/dports/devel/nusmv/Portfile
mww at macports.org
mww at macports.org
Fri Sep 9 03:06:47 PDT 2011
Revision: 83690
http://trac.macports.org/changeset/83690
Author: mww at macports.org
Date: 2011-09-09 03:06:47 -0700 (Fri, 09 Sep 2011)
Log Message:
-----------
fix homepage
Modified Paths:
--------------
trunk/dports/devel/nusmv/Portfile
Modified: trunk/dports/devel/nusmv/Portfile
===================================================================
--- trunk/dports/devel/nusmv/Portfile 2011-09-09 10:04:18 UTC (rev 83689)
+++ trunk/dports/devel/nusmv/Portfile 2011-09-09 10:06:47 UTC (rev 83690)
@@ -12,7 +12,7 @@
long_description ${description}
-homepage http://spinroot.com
+homepage http://nusmv.fbk.eu/
master_sites http://nusmv.fbk.eu/distrib/
distname NuSMV-${version}
checksums md5 f9fb88139b388c6ba8d31b0ad1ce5254 \
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20110909/1650cb5a/attachment.html>
More information about the macports-changes
mailing list