diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 7 |
1 files changed, 3 insertions, 4 deletions
@@ -1,6 +1,6 @@ pkgbase = mingw-w64-z3 pkgdesc = High-performance theorem prover (mingw-w64) - pkgver = 4.8.10 + pkgver = 4.8.12 pkgrel = 1 url = https://github.com/Z3Prover/z3 arch = any @@ -11,8 +11,7 @@ pkgbase = mingw-w64-z3 options = !strip options = !buildflags options = staticlibs - source = https://github.com/Z3Prover/z3/archive/z3-4.8.10.tar.gz - sha512sums = d2741d7ad3e1d5ee3fec92095b061a96a700c3327b2eb2090d4162bdcaeaebca8c072ef79c5daac1f6de3456165c2cc38e13f1045bc707779d1027b943837c5b + source = https://github.com/Z3Prover/z3/archive/z3-4.8.12.tar.gz + sha512sums = 0b377923bdaffaca1846aa2abd61003bbecadfcdfc908ed3097d0aac8f32028ac39d93fb4a9c2e2c2bfffbdbee80aa415875f17de6c2ee2ae8e2b7921f788c6e pkgname = mingw-w64-z3 - |