Revision: 86660 http://trac.macports.org/changeset/86660 Author: mww@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