diff options
| author | Natanael Copa <ncopa@alpinelinux.org> | 2019-04-16 09:30:39 +0000 |
|---|---|---|
| committer | Natanael Copa <ncopa@alpinelinux.org> | 2019-04-17 11:45:45 +0000 |
| commit | d4e90670f3ee33728c05efc46333fccb3c02fd47 (patch) | |
| tree | 92beffa2ca4450056638cffa7c1faeb60f443cc3 | |
| parent | fc4b819ea45fdd2c04096ac11419ca98d99c16fa (diff) | |
| download | aports-d4e90670f3ee33728c05efc46333fccb3c02fd47.tar.bz2 aports-d4e90670f3ee33728c05efc46333fccb3c02fd47.tar.xz | |
community/z3: rebuild against python 3.7
| -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 f085b6122f..a027ced576 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.4 -pkgrel=0 +pkgrel=1 pkgdesc="Theorem prover from Microsoft Research" url="https://github.com/Z3Prover/z3" arch="all !s390x !aarch64" |