- rebuild with readline 7.0

- release 9 (by relup.sh)

diff --git a/NuSMV.spec b/NuSMV.spec
index b8e4e8105e66f7e742d9534f212de6b54c12a44d..4fb6a9c2ce8ddb8fca72b778a91910121ab21021 100644 (file)
--- a/NuSMV.spec
+++ b/NuSMV.spec
@@ -9,7 +9,7 @@ Summary:        New Symbolic Model Verifier
 Summary(pl.UTF-8):     Nowy weryfikator modeli symbolicznych
 Name:          NuSMV
 Version:       2.5.4
-Release:       8
+Release:       9
 License:       LGPL
 Group:         Applications
 Source0:       http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz