3.1.0

1 files changed, 3 insertions, 3 deletions

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