File remove-timestamp.patch of Package z3

From: Jiri Slaby <jslaby@suse.cz>
Subject: 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(-)

--- a/src/api/api_log.cpp
+++ b/src/api/api_log.cpp
@@ -50,7 +50,7 @@ extern "C" {
                 res = Z3_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;
             }