summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorMichel Zou2019-11-30 05:27:25 +0100
committerMichel Zou2019-11-30 05:27:25 +0100
commit430bd4b7fed2a5a0345fb86100f4ef6ff9d3ebca (patch)
tree6d07c9f6e47aa8f14ff4dbe00fe0f3c60b029827
parent3fe72626cb8732aafb6002e1e0a8433ee0cfc413 (diff)
downloadaur-430bd4b7fed2a5a0345fb86100f4ef6ff9d3ebca.tar.gz
4.8.7
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD4
2 files changed, 5 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 2525690a24d..ee75e2509cf 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = mingw-w64-z3
pkgdesc = High-performance theorem prover (mingw-w64)
- pkgver = 4.8.6
+ pkgver = 4.8.7
pkgrel = 1
url = https://github.com/Z3Prover/z3
arch = any
@@ -11,8 +11,8 @@ pkgbase = mingw-w64-z3
options = !strip
options = !buildflags
options = staticlibs
- source = https://github.com/Z3Prover/z3/archive/z3-4.8.6.tar.gz
- sha512sums = d338413274a3d11a9e9287202989df9da4c31e095c14428a418d4019e9f86c0e2b681c519d2d0bcbb4cd99a722a2539006f5c86ade568b1ee208545b142369f1
+ source = https://github.com/Z3Prover/z3/archive/z3-4.8.7.tar.gz
+ sha512sums = 145e2b2f1fa4edd0917107c7e1d54d779c7ed85c48af2ce6def4c90d1c4db05f74c9657e173cedf48770589fbe484c97fa1923295271cd3792523ffc4f67ed0c
pkgname = mingw-w64-z3
diff --git a/PKGBUILD b/PKGBUILD
index 77742b44c97..cf460e76dd1 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,5 +1,5 @@
pkgname=('mingw-w64-z3')
-pkgver=4.8.6
+pkgver=4.8.7
pkgrel=1
pkgdesc='High-performance theorem prover (mingw-w64)'
url='https://github.com/Z3Prover/z3'
@@ -9,7 +9,7 @@ makedepends=('mingw-w64-cmake' 'python')
options=('!strip' '!buildflags' 'staticlibs')
depends=('mingw-w64-gmp')
source=("https://github.com/Z3Prover/z3/archive/z3-${pkgver}.tar.gz")
-sha512sums=('d338413274a3d11a9e9287202989df9da4c31e095c14428a418d4019e9f86c0e2b681c519d2d0bcbb4cd99a722a2539006f5c86ade568b1ee208545b142369f1')
+sha512sums=('145e2b2f1fa4edd0917107c7e1d54d779c7ed85c48af2ce6def4c90d1c4db05f74c9657e173cedf48770589fbe484c97fa1923295271cd3792523ffc4f67ed0c')
_architectures="i686-w64-mingw32 x86_64-w64-mingw32"