From dc607bcb77f1f2548718151a986bad288e9df091 Mon Sep 17 00:00:00 2001
From: "Ralf S. Engelschall" <rse@openpkg.org>
Date: Sat, 9 May 2020 16:08:58 +0200
Subject: [PATCH] upgrading package: z3 4.8.6.20200305 -> 4.8.8.20200509

---
 z3/z3.spec | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/z3/z3.spec b/z3/z3.spec
index 817318d821..e2ad468c92 100644
--- a/z3/z3.spec
+++ b/z3/z3.spec
@@ -22,8 +22,8 @@
 ##
 
 #   package version
-%define       V_z3_base 4.8.6
-%define       V_z3_snap 20200305
+%define       V_z3_base 4.8.8
+%define       V_z3_snap 20200509
 
 #   package information
 Name:         z3
@@ -36,7 +36,7 @@ Class:        EVAL
 Group:        Algorithm
 License:      MIT
 Version:      %{V_z3_base}.%{V_z3_snap}
-Release:      20200305
+Release:      20200509
 
 #   package options
 %option       with_python  no