[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