2 files changed, 7 insertions, 4 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
diff --git a/PKGBUILD b/PKGBUILD
index 4cfa69d3869b..454b14dd9612 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,10 +4,10 @@
 pkgname=nusmv
 _pkgname=NuSMV
 pkgver=2.6.0
-pkgrel=1
+pkgrel=2
 pkgdesc="A new symbolic model checker"
 arch=('i686' 'x86_64')
-url="http://nusmv.irst.itc.it/$_pkgname/"
+url="http://nusmv.fbk.eu/index.html"
 license=('LGPL2.1')
 depends=('libxml2')
 makedepends=('cmake' 'python2' 'ghostscript' 'texlive-latexextra')
@@ -28,6 +28,7 @@ package() {
     cd "$srcdir/$_pkgname-$pkgver/$_pkgname/build"
 
     make DESTDIR="$pkgdir/" install
+    find "$pkgdir" -type f -name "*.a" -print0 | xargs -0 rm
 
     # Lowercase symlink
     ln -s "/usr/bin/NuSMV" "$pkgdir/usr/bin/$pkgname"