packages: NuSMV/NuSMV.spec - rel 2

[baggins]

Author: baggins                      Date: Wed Apr  6 19:10:12 2011 GMT
Module: packages                      Tag: HEAD
---- Log message:
- rel 2

---- Files affected:
packages/NuSMV:
   NuSMV.spec (1.17 -> 1.18) 

---- Diffs:

================================================================
Index: packages/NuSMV/NuSMV.spec
diff -u packages/NuSMV/NuSMV.spec:1.17 packages/NuSMV/NuSMV.spec:1.18
--- packages/NuSMV/NuSMV.spec:1.17	Wed Apr  6 21:09:57 2011
+++ packages/NuSMV/NuSMV.spec	Wed Apr  6 21:10:07 2011
@@ -10,7 +10,7 @@
 Summary(pl.UTF-8):	Nowy weryfikator modeli symbolicznych
 Name:		NuSMV
 Version:	2.5.2
-Release:	1
+Release:	2
 License:	LGPL
 Group:		Applications
 Source0:	http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz
@@ -190,6 +190,9 @@
 All persons listed below can be reached at <cvs_login>@pld-linux.org
 
 $Log$
+Revision 1.18  2011/04/06 19:10:07  baggins
+- rel 2
+
 Revision 1.17  2011/04/06 19:09:57  baggins
 - fixed build and install
 - eliminated bashizms
================================================================

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