From 624599d40a4d27e5f77dfd21c6d9bb46ce8ab00d Mon Sep 17 00:00:00 2001 From: =?utf8?q?Arkadiusz=20Mi=C5=9Bkiewicz?= Date: Sat, 5 Dec 2015 21:01:46 +0100 Subject: [PATCH] - ncurses rebuild - release 6 (by relup.sh) --- NuSMV.spec | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.44.0