From 7c2cc96141ffdabce6fd2bf2a437e706b0c3f6d9 Mon Sep 17 00:00:00 2001
From: "Ralf S. Engelschall" <rse@openpkg.org>
Date: Tue, 20 Mar 2018 21:35:49 +0100
Subject: [PATCH] upgrading package: z3 4.6.0.20180121 -> 4.6.0.20180320

---
 z3/z3.spec | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/z3/z3.spec b/z3/z3.spec
index 7a4ad96551..efaea96f32 100644
--- a/z3/z3.spec
+++ b/z3/z3.spec
@@ -23,7 +23,7 @@
 
 #   package version
 %define       V_z3_base 4.6.0
-%define       V_z3_snap 20180121
+%define       V_z3_snap 20180320
 
 #   package information
 Name:         z3
@@ -36,7 +36,7 @@ Class:        EVAL
 Group:        Algorithm
 License:      MIT
 Version:      %{V_z3_base}.%{V_z3_snap}
-Release:      20180121
+Release:      20180320
 
 #   package options
 %option       with_python  no