packages: NuSMV/NuSMV.spec - 2.5.2

[baggins]

Author: baggins                      Date: Wed Apr  6 08:43:12 2011 GMT
Module: packages                      Tag: HEAD
---- Log message:
- 2.5.2

---- Files affected:
packages/NuSMV:
   NuSMV.spec (1.14 -> 1.15) 

---- Diffs:

================================================================
Index: packages/NuSMV/NuSMV.spec
diff -u packages/NuSMV/NuSMV.spec:1.14 packages/NuSMV/NuSMV.spec:1.15
--- packages/NuSMV/NuSMV.spec:1.14	Tue May 18 12:46:14 2010
+++ packages/NuSMV/NuSMV.spec	Wed Apr  6 10:43:06 2011
@@ -9,12 +9,12 @@
 Summary:	New Symbolic Model Verifier
 Summary(pl.UTF-8):	Nowy weryfikator modeli symbolicznych
 Name:		NuSMV
-Version:	2.5.0
+Version:	2.5.2
 Release:	1
 License:	LGPL
 Group:		Applications
 Source0:	http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz
-# Source0-md5:	904c06c57d3882bc5a10f09ca0ba9a06
+# Source0-md5:	70643f69569eb33b8a13977df2c17a14
 Source1:	http://minisat.se/downloads/minisat2-%{minisat_ver}.zip
 # Source1-md5:	fb12db9a13f86a2133758abfba239546
 Source2:	http://www.princeton.edu/~chaff/zchaff/zchaff.%{zchaff_ver}.zip
@@ -183,6 +183,9 @@
 All persons listed below can be reached at <cvs_login>@pld-linux.org
 
 $Log$
+Revision 1.15  2011/04/06 08:43:06  baggins
+- 2.5.2
+
 Revision 1.14  2010/05/18 10:46:14  baggins
 - updated to 2.5.0
 
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/packages/NuSMV/NuSMV.spec?r1=1.14&r2=1.15&f=u