summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorColin Woodbury2019-08-12 09:41:35 -0700
committerColin Woodbury2019-08-12 09:41:35 -0700
commit2fab64fd6cfcc7967f0c97937e465b5490372d13 (patch)
tree4f97f7ea203957c34a7d9f5cee026d5b5844f24f
parent56bbedcb76266d382198875bbd7e7797b2d2a6d2 (diff)
downloadaur-2fab64fd6cfcc7967f0c97937e465b5490372d13.tar.gz
3.1.0
-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