From d4e90670f3ee33728c05efc46333fccb3c02fd47 Mon Sep 17 00:00:00 2001
From: Natanael Copa <ncopa@alpinelinux.org>
Date: Tue, 16 Apr 2019 09:30:39 +0000
Subject: [PATCH] community/z3: rebuild against python 3.7

---
 community/z3/APKBUILD | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/community/z3/APKBUILD b/community/z3/APKBUILD
index f085b6122ff..a027ced5760 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"