1 files changed, 4 insertions, 2 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 8e1c7d2b738c..c2fd0fd7b40e 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,10 @@
+# Generated by mksrcinfo v8
+# Wed Mar  2 19:29:03 UTC 2016
 pkgbase = nusmv
 	pkgdesc = A new symbolic model checker
 	pkgver = 2.6.0
-	pkgrel = 1
-	url = http://nusmv.irst.itc.it/NuSMV/
+	pkgrel = 2
+	url = http://nusmv.fbk.eu/index.html
 	arch = i686
 	arch = x86_64
 	license = LGPL2.1