SPECS: NuSMV.spec - rel 2

baggins baggins at pld-linux.org
Thu Mar 5 23:30:35 CET 2009


Author: baggins                      Date: Thu Mar  5 22:30:35 2009 GMT
Module: SPECS                         Tag: HEAD
---- Log message:
- rel 2

---- Files affected:
SPECS:
   NuSMV.spec (1.9 -> 1.10) 

---- Diffs:

================================================================
Index: SPECS/NuSMV.spec
diff -u SPECS/NuSMV.spec:1.9 SPECS/NuSMV.spec:1.10
--- SPECS/NuSMV.spec:1.9	Fri Sep 14 16:14:43 2007
+++ SPECS/NuSMV.spec	Thu Mar  5 23:30:30 2009
@@ -7,7 +7,7 @@
 Summary(pl.UTF-8):	Nowy weryfikator modeli symbolicznych
 Name:		NuSMV
 Version:	2.4.3
-Release:	1
+Release:	2
 License:	LGPL
 Group:		Applications
 Source0:	http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz
@@ -157,6 +157,9 @@
 All persons listed below can be reached at <cvs_login>@pld-linux.org
 
 $Log$
+Revision 1.10  2009/03/05 22:30:30  baggins
+- rel 2
+
 Revision 1.9  2007/09/14 14:14:43  baggins
 - rel 1
 - updated BRs
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/SPECS/NuSMV.spec?r1=1.9&r2=1.10&f=u



More information about the pld-cvs-commit mailing list