summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO6
1 files changed, 3 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index b7f8745ab84..16dc8648953 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = mingw-w64-z3
pkgdesc = High-performance theorem prover (mingw-w64)
- pkgver = 4.8.9
+ pkgver = 4.8.10
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.9.tar.gz
- sha512sums = a50da5c3f9e27d3e804c1b71f648a3dbd5a55223b7344d66f191a1b34a4d787810abd976840d3ab3878aaf5c96d89f5a517cac0781b82aa927a9d8d54836d54f
+ source = https://github.com/Z3Prover/z3/archive/z3-4.8.10.tar.gz
+ sha512sums = d2741d7ad3e1d5ee3fec92095b061a96a700c3327b2eb2090d4162bdcaeaebca8c072ef79c5daac1f6de3456165c2cc38e13f1045bc707779d1027b943837c5b
pkgname = mingw-w64-z3