[packages/NuSMV] - updated urls (there is 2.6.0 version, too)
arekm
arekm at pld-linux.org
Sat Oct 19 23:04:36 CEST 2019
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
More information about the pld-cvs-commit
mailing list