Author: baggins Date: Wed Apr 6 08:43:12 2011 GMT Module: packages Tag: HEAD ---- Log message: - 2.5.2
---- Files affected: packages/NuSMV: NuSMV.spec (1.14 -> 1.15) ---- Diffs: ================================================================ Index: packages/NuSMV/NuSMV.spec diff -u packages/NuSMV/NuSMV.spec:1.14 packages/NuSMV/NuSMV.spec:1.15 --- packages/NuSMV/NuSMV.spec:1.14 Tue May 18 12:46:14 2010 +++ packages/NuSMV/NuSMV.spec Wed Apr 6 10:43:06 2011 @@ -9,12 +9,12 @@ Summary: New Symbolic Model Verifier Summary(pl.UTF-8): Nowy weryfikator modeli symbolicznych Name: NuSMV -Version: 2.5.0 +Version: 2.5.2 Release: 1 License: LGPL Group: Applications Source0: http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz -# Source0-md5: 904c06c57d3882bc5a10f09ca0ba9a06 +# Source0-md5: 70643f69569eb33b8a13977df2c17a14 Source1: http://minisat.se/downloads/minisat2-%{minisat_ver}.zip # Source1-md5: fb12db9a13f86a2133758abfba239546 Source2: http://www.princeton.edu/~chaff/zchaff/zchaff.%{zchaff_ver}.zip @@ -183,6 +183,9 @@ All persons listed below can be reached at <cvs_login>@pld-linux.org $Log$ +Revision 1.15 2011/04/06 08:43:06 baggins +- 2.5.2 + Revision 1.14 2010/05/18 10:46:14 baggins - updated to 2.5.0 ================================================================ ---- CVS-web: http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/packages/NuSMV/NuSMV.spec?r1=1.14&r2=1.15&f=u _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
