From: Arkadiusz Miśkiewicz <arekm@maven.pl>
Date: Sat, 5 Dec 2015 20:01:46 +0000 (+0100)
Subject: - ncurses rebuild
X-Git-Tag: auto/th/NuSMV-2.5.4-6
X-Git-Url: http://git.pld-linux.org/gitweb.cgi?a=commitdiff_plain;h=624599d40a4d27e5f77dfd21c6d9bb46ce8ab00d;p=packages%2FNuSMV.git

- ncurses rebuild
- release 6 (by relup.sh)
---

diff --git a/NuSMV.spec b/NuSMV.spec
index a46b79a..7d3796f 100644
--- 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:	5
+Release:	6
 License:	LGPL
 Group:		Applications
 Source0:	http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz