2 files changed, 7 insertions, 7 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
 
diff --git a/PKGBUILD b/PKGBUILD
index a952adb21706..ed57f0bc1043 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,15 +1,15 @@
 # Maintainer: Colin Woodbury <colin@kadena.io>
 
 pkgname=pact
-pkgver=3.0.1
+pkgver=3.1.0
 pkgrel=1
 pkgdesc="Interpreter for the Pact Smart Contract Language."
 arch=('x86_64')
 url='https://pactlang.org/'
 license=('BSD 3-Clause')
-depends=('gmp' 'z3<4.8.4' 'ncurses5-compat-libs')
+depends=('gmp' 'z3' 'ncurses5-compat-libs')
 source=(https://github.com/kadena-io/pact/releases/download/v${pkgver}/pact-${pkgver}-linux.zip)
-md5sums=('3d068168ad91ce681265dbd584619e17')
+md5sums=('c6e7482b8ad5f71524d04d5a4cab5612')
 
 package() {
   install -Dm 755 ${srcdir}/pact ${pkgdir}/usr/bin/pact