diff options
author | Michel Zou | 2021-11-08 22:37:30 +0100 |
---|---|---|
committer | Michel Zou | 2021-11-08 22:37:30 +0100 |
commit | 9aeba0b51e9bc5ae926bd306a759cfc269c694aa (patch) | |
tree | f2babd41ffd5c0e0d89b470ca372249c6aaefd2e /.SRCINFO | |
parent | 38ff439cf463b7065451f2aa8a19146d807ce9c6 (diff) | |
download | aur-9aeba0b51e9bc5ae926bd306a759cfc269c694aa.tar.gz |
4.8.12
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 - |