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