diff options
author | Rasmus Thomsen <oss@cogitri.dev> | 2021-04-09 19:07:11 +0200 |
---|---|---|
committer | Rasmus Thomsen <oss@cogitri.dev> | 2021-04-09 19:07:11 +0200 |
commit | b8395ee92b9f510b1adbc3836df9be7b512cdbb5 (patch) | |
tree | fbbe9b441801cd0767b1526c417300cb9622284d | |
parent | 6d0e8a6f00cb009e0b55698722f8079298806890 (diff) |
community/z3: rebuild against python3.9
-rw-r--r-- | community/z3/APKBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/community/z3/APKBUILD b/community/z3/APKBUILD index 6486c8f943d..68f29b6ca94 100644 --- a/community/z3/APKBUILD +++ b/community/z3/APKBUILD @@ -2,7 +2,7 @@ # Maintainer: Sören Tempel <soeren+alpine@soeren-tempel.net> pkgname=z3 pkgver=4.8.10 -pkgrel=1 +pkgrel=2 pkgdesc="Theorem prover from Microsoft Research" url="https://github.com/Z3Prover/z3" arch="all !mips !mips64" |