[packages/NuSMV] - updated urls (there is 2.6.0 version, too)

[arekm]

commit e2c66126e74f490d1a1fdfbe9eb3f22bf16405b8
Author: Arkadiusz Miśkiewicz <arekm at maven.pl>
Date:   Sat Oct 19 23:04:27 2019 +0200

    - updated urls (there is 2.6.0 version, too)

 NuSMV.spec | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/NuSMV.spec b/NuSMV.spec
index f91974b..4251cf7 100644
--- a/NuSMV.spec
+++ b/NuSMV.spec
@@ -12,7 +12,7 @@ Version:	2.5.4
 Release:	11
 License:	LGPL
 Group:		Applications
-Source0:	http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz
+Source0:	http://nusmv.fbk.eu/distrib/%{name}-%{version}.tar.gz
 # Source0-md5:	4d8ae6136fbd916d875cd48f82d5f327
 Source1:	http://minisat.se/downloads/minisat2-%{minisat_ver}.zip
 # Source1-md5:	fb12db9a13f86a2133758abfba239546
@@ -22,7 +22,7 @@ Patch0:		%{name}-build.patch
 Patch1:		%{name}-solvers.patch
 Patch2:		format-security.patch
 Patch3:		fork.patch
-URL:		http://nusmv.irst.itc.it/
+URL:		http://nusmv.fbk.eu/
 BuildRequires:	autoconf
 BuildRequires:	automake
 BuildRequires:	expat-devel
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/NuSMV.git/commitdiff/e2c66126e74f490d1a1fdfbe9eb3f22bf16405b8