summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO8
-rw-r--r--PKGBUILD6
2 files changed, 7 insertions, 7 deletions
diff --git a/.SRCINFO b/.SRCINFO
index b5a09e8c8de..01eef8718c2 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 a952adb2170..ed57f0bc104 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