- up to 2.5.4

Changed files:
    NuSMV-build.patch -> 1.6
    NuSMV.spec -> 1.19

diff --git a/NuSMV-build.patch b/NuSMV-build.patch
index 60fd217666bb18eef3f40f0e754ff356899cd871..1520b01559035d6d7c21665bc013c4009267a385 100644 (file)
--- a/NuSMV-build.patch
+++ b/NuSMV-build.patch
@@ -82,16 +82,6 @@ diff -ur NuSMV-2.4.0/nusmv/helpers/extract_doc.in NuSMV-2.4.0-ok/nusmv/helpers/e
  # 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 @@

diff --git a/NuSMV.spec b/NuSMV.spec
index 15bf2e65834932c555a0b637a9e538775b41e45c..8e9cb823d4658a78796a8cb1234428c9a0a814fa 100644 (file)
--- a/NuSMV.spec
+++ b/NuSMV.spec
@@ -8,12 +8,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