Skip to content
Snippets Groups Projects
Commit d991ad79 authored by Sören Tempel's avatar Sören Tempel
Browse files

community/z3: upgrade to 4.11.2

parent 578a24ed
No related branches found
No related tags found
1 merge request!39304[3.16] main/expat: security upgrade to 2.4.9
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
community/z3/APKBUILD
+ 2
− 2
View file @ d991ad79
# Contributor: Sören Tempel <soeren+alpine@soeren-tempel.net>
# Maintainer: Sören Tempel <soeren+alpine@soeren-tempel.net>
pkgname=z3
pkgver=4.11.0
pkgver=4.11.2
pkgrel=0
pkgdesc="Theorem prover from Microsoft Research"
url="https://github.com/Z3Prover/z3"
......@@ -43,5 +43,5 @@ py3() {
}
sha512sums="
a3fd7e013948de6683b16aca03641bb845d02187152bebdee8c62c2a3f80a7710a1d3b9aef9c1490c2340571bb225f457928ac57a2ed28c0084ced34bcf3e905 z3-4.11.0.tar.gz
be2573d38c0e50b46fcb025d50335e016769fdeab3c26f5dc2a13102fae889d23039258ea8d38de3f53daa4cf073704d8639ac291e781a74633194adedaae21a z3-4.11.2.tar.gz
"
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment