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 _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
