[86660] trunk/dports/devel/nusmv/Portfile

[mww at macports.org]

Revision: 86660
          http://trac.macports.org/changeset/86660
Author:   mww at macports.org
Date:     2011-10-31 03:22:59 -0700 (Mon, 31 Oct 2011)
Log Message:
-----------
nusmv: version 2.5.4

Modified Paths:
--------------
    trunk/dports/devel/nusmv/Portfile

Modified: trunk/dports/devel/nusmv/Portfile
===================================================================
--- trunk/dports/devel/nusmv/Portfile	2011-10-31 09:54:09 UTC (rev 86659)
+++ trunk/dports/devel/nusmv/Portfile	2011-10-31 10:22:59 UTC (rev 86660)
@@ -4,7 +4,7 @@
 PortSystem 1.0
 
 name                nusmv
-version             2.5.3
+version             2.5.4
 categories          devel math
 platforms           darwin
 maintainers         mww openmaintainer
@@ -17,9 +17,9 @@
 master_sites        http://nusmv.fbk.eu/distrib/:nusmv \
                     http://minisat.se/downloads/:minisat
 distfiles           NuSMV-${version}.tar.gz:nusmv minisat2-070721.zip:minisat
-checksums           NuSMV-${version}.tar.gz \
-                    rmd160  a9bb9c0161d38c7a40243cae300b67ad0e0492e4 \
-                    sha256  d5d6b2873dfa6f82ff9bef1a7eefa36dc5070557aa2b0e0d53cc8c54b2fe437d \
+checksums           NuSMV-2.5.4.tar.gz \
+                    rmd160  60d2bf089c1dac179fd5dd54915da46bc585dea2 \
+                    sha256  3c250624cba801b1f62f50733f9507b0f3b3ca557ce1cd65956178eb273f1bdf \
                     minisat2-070721.zip \
                     rmd160  a04236122afc4fba40b6e54da34b1b0d2ef4eda4 \
                     sha256  ddc2ed421a538a349ddab58d3958076d73813925ff08361e6292583d3b87248e
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20111031/419ab0ef/attachment.html>