File remove-timestamp.patch of Package z3

From 22ff49d575f0e11dfb2b251ae68f5cf8bdd2c069 Mon Sep 17 00:00:00 2001
From: Jiri Slaby <jslaby@suse.cz>
Date: Thu, 10 Oct 2019 10:19:23 +0200
Subject: [PATCH] Remove timestamp

Nobody wants timestamps, it's bogus as it causes irreproducible
builds. Remove that crap from api_log.
---
 src/api/api_log.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/api_log.cpp b/src/api/api_log.cpp
index e82ec3fd1..1efa09b95 100644
--- a/src/api/api_log.cpp
+++ b/src/api/api_log.cpp
@@ -54,7 +54,7 @@ extern "C" {
             res = false;
         }
         else {
-            *g_z3_log << "V \"" << Z3_MAJOR_VERSION << "." << Z3_MINOR_VERSION << "." << Z3_BUILD_NUMBER << "." << Z3_REVISION_NUMBER << " " << __DATE__ << "\"\n";
+            *g_z3_log << "V \"" << Z3_MAJOR_VERSION << "." << Z3_MINOR_VERSION << "." << Z3_BUILD_NUMBER << "." << Z3_REVISION_NUMBER << "\"\n";
             g_z3_log->flush();
             g_z3_log_enabled = true;
         }
-- 
2.21.0