From: Arkadiusz Miśkiewicz <arekm@maven.pl>
Date: Thu, 17 Oct 2019 20:26:04 +0000 (+0200)
Subject: - release 11 (by relup.sh)
X-Git-Tag: auto/th/NuSMV-2.5.4-11
X-Git-Url: http://git.pld-linux.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d12eb13c78688a0affcbe24dac70c239d1553077;p=packages%2FNuSMV.git

- release 11 (by relup.sh)
---

diff --git a/NuSMV.spec b/NuSMV.spec
index 65e4a19..f91974b 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:	10
+Release:	11
 License:	LGPL
 Group:		Applications
 Source0:	http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz