Author: baggins Date: Wed Apr 11 16:00:48 2012 GMT Module: packages Tag: HEAD ---- Log message: - up to 2.5.4
---- Files affected: packages/NuSMV: NuSMV-build.patch (1.5 -> 1.6) , NuSMV.spec (1.18 -> 1.19) ---- Diffs: ================================================================ Index: packages/NuSMV/NuSMV-build.patch diff -u packages/NuSMV/NuSMV-build.patch:1.5 packages/NuSMV/NuSMV-build.patch:1.6 --- packages/NuSMV/NuSMV-build.patch:1.5 Wed Apr 6 21:09:06 2011 +++ packages/NuSMV/NuSMV-build.patch Wed Apr 11 18:00:43 2012 @@ -82,16 +82,6 @@ # where to look for install.sh and other helpers AC_CONFIG_AUX_DIR(helpers) ---- NuSMV-2.5.2/nusmv/acinclude.m4~ 2010-10-29 13:15:51.000000000 +0200 -+++ NuSMV-2.5.2/nusmv/acinclude.m4 2011-04-06 11:52:02.728970548 +0200 -@@ -177,7 +177,6 @@ - # modified version of the Autoconf Macro, you may extend this special - # exception to the GPL to apply to your modified version as well. - --#serial 10 - - AC_DEFUN([AX_PREFIX_CONFIG_H],[dnl - AC_PREREQ([2.58]) --- NuSMV-2.5.2/nusmv/configure.ac~ 2011-04-06 12:14:21.103822539 +0200 +++ NuSMV-2.5.2/nusmv/configure.ac 2011-04-06 12:29:40.711202079 +0200 @@ -669,11 +669,11 @@ ================================================================ Index: packages/NuSMV/NuSMV.spec diff -u packages/NuSMV/NuSMV.spec:1.18 packages/NuSMV/NuSMV.spec:1.19 --- packages/NuSMV/NuSMV.spec:1.18 Wed Apr 6 21:10:07 2011 +++ packages/NuSMV/NuSMV.spec Wed Apr 11 18:00:43 2012 @@ -9,12 +9,12 @@ Summary: New Symbolic Model Verifier Summary(pl.UTF-8): Nowy weryfikator modeli symbolicznych Name: NuSMV -Version: 2.5.2 -Release: 2 +Version: 2.5.4 +Release: 1 License: LGPL Group: Applications Source0: http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz -# Source0-md5: 70643f69569eb33b8a13977df2c17a14 +# Source0-md5: 4d8ae6136fbd916d875cd48f82d5f327 Source1: http://minisat.se/downloads/minisat2-%{minisat_ver}.zip # Source1-md5: fb12db9a13f86a2133758abfba239546 Source2: http://www.princeton.edu/~chaff/zchaff/zchaff.%{zchaff_ver}.zip @@ -190,6 +190,9 @@ All persons listed below can be reached at <cvs_login>@pld-linux.org $Log$ +Revision 1.19 2012/04/11 16:00:43 baggins +- up to 2.5.4 + Revision 1.18 2011/04/06 19:10:07 baggins - rel 2 ================================================================ ---- CVS-web: http://cvs.pld-linux.org/packages/NuSMV/NuSMV-build.patch?r1=1.5&r2=1.6 http://cvs.pld-linux.org/packages/NuSMV/NuSMV.spec?r1=1.18&r2=1.19 _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
