1 files changed, 2 insertions, 1 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 66497366900a..73ab1469522a 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,12 +1,13 @@
 pkgbase = fstar-ulib
 	pkgdesc = compiles the ulib component of F*
 	pkgver = 0.9.6.0
-	pkgrel = 2
+	pkgrel = 3
 	url = https://www.fstar-lang.org/
 	arch = i686
 	arch = x86_64
 	license = Apache-2.0
 	depends = fstar
+	depends = z3
 	options = !strip
 	options = !makeflags
 	options = staticlibs