packages: NuSMV/NuSMV-build.patch, NuSMV/NuSMV.spec - up to 2.5.4

[baggins]

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