diff --git a/.SRCINFO b/.SRCINFO
index 166a159a1d34..e7f0994589ad 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
 pkgbase = nurv-bin
 	pkgdesc = Assumption Based Runtime Verificaton tool built on nuXmv
 	pkgver = 2.0.0
-	pkgrel = 1
+	pkgrel = 2
 	url = https://es-static.fbk.eu/tools/nurv/
 	arch = x86_64
 	license = LicenseRef-NuRV-FBK-License
@@ -9,7 +9,7 @@ pkgbase = nurv-bin
 	depends = gcc-libs
 	depends = glibc
 	depends = gmp
-	depends = libxml2
+	depends = libxml2-legacy
 	depends = util-linux-libs
 	provides = NuRV
 	source_x86_64 = https://es-static.fbk.eu/tools/nurv/releases/NuRV-2.0.0-linuxx64.tar.bz2
diff --git a/PKGBUILD b/PKGBUILD
index ee6bb3d7954b..9c79b1b2580d 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,13 +2,13 @@
 
 pkgname=nurv-bin
 pkgver=2.0.0
-pkgrel=1
+pkgrel=2
 pkgdesc="Assumption Based Runtime Verificaton tool built on nuXmv"
 arch=('x86_64')
 url="https://es-static.fbk.eu/tools/nurv/"
 license=('LicenseRef-NuRV-FBK-License')
 provides=('NuRV')
-depends=('gcc-libs' 'glibc' 'gmp' 'libxml2' 'util-linux-libs')
+depends=('gcc-libs' 'glibc' 'gmp' 'libxml2-legacy' 'util-linux-libs')
 makedepends=('patchelf')
 
 source_x86_64=("https://es-static.fbk.eu/tools/nurv/releases/NuRV-${pkgver}-linuxx64.tar.bz2")
@@ -21,5 +21,5 @@ package() {
   install -Dm644 "${_output}/LICENSE.txt" -t "${pkgdir}/usr/share/licenses/${pkgname}/"
   install -Dm644 "${_output}/LICENSE_FOR_EVALUATION.txt" -t "${pkgdir}/usr/share/licenses/${pkgname}/"
 
-  patchelf --replace-needed libxml2.so.2 libxml2.so "${pkgdir}/usr/bin/NuRV"
+  patchelf --replace-needed libxml2.so.2 libxml2.so.2.13.9 "${pkgdir}/usr/bin/NuRV"
 }