1 files changed, 4 insertions, 4 deletions
diff --git a/.SRCINFO b/.SRCINFO
index b5a09e8c8dec..01eef8718c22 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,15 +1,15 @@
 pkgbase = pact
 	pkgdesc = Interpreter for the Pact Smart Contract Language.
-	pkgver = 3.0.1
+	pkgver = 3.1.0
 	pkgrel = 1
 	url = https://pactlang.org/
 	arch = x86_64
 	license = BSD 3-Clause
 	depends = gmp
-	depends = z3<4.8.4
+	depends = z3
 	depends = ncurses5-compat-libs
-	source = https://github.com/kadena-io/pact/releases/download/v3.0.1/pact-3.0.1-linux.zip
-	md5sums = 3d068168ad91ce681265dbd584619e17
+	source = https://github.com/kadena-io/pact/releases/download/v3.1.0/pact-3.1.0-linux.zip
+	md5sums = c6e7482b8ad5f71524d04d5a4cab5612
 
 pkgname = pact