summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
authorColin Woodbury2019-08-12 09:41:35 -0700
committerColin Woodbury2019-08-12 09:41:35 -0700
commit2fab64fd6cfcc7967f0c97937e465b5490372d13 (patch)
tree4f97f7ea203957c34a7d9f5cee026d5b5844f24f /.SRCINFO
parent56bbedcb76266d382198875bbd7e7797b2d2a6d2 (diff)
downloadaur-2fab64fd6cfcc7967f0c97937e465b5490372d13.tar.gz
3.1.0
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO8
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