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