Author: Ralf Treinen <treinen@debian.org>
Description: drop build-timestamp from tools

Index: why3/src/tools/main.ml
===================================================================
--- why3.orig/src/tools/main.ml	2016-07-19 18:53:23.818061237 +0200
+++ why3/src/tools/main.ml	2016-07-19 18:53:23.814061217 +0200
@@ -42,8 +42,8 @@
       Arg.Unit (fun _ -> printf "%s@." Config.datadir; exit 0),
       " print location of non-binary data (theories, modules, etc)";
   "--version",
-      Arg.Unit (fun _ -> printf "Why3 platform, version %s (build date: %s)@."
-        Config.version Config.builddate; exit 0),
+      Arg.Unit (fun _ -> printf "Why3 platform, version %s @."
+        Config.version; exit 0),
       " print version information";
 ]
 
Index: why3/configure.in
===================================================================
--- why3.orig/configure.in	2016-07-19 18:53:23.818061237 +0200
+++ why3/configure.in	2016-07-19 18:53:52.926205712 +0200
@@ -711,11 +711,8 @@
 
 VERSION=$PACKAGE_VERSION
 
-BUILDDATE="$(date)"
-
 # substitutions to perform
 AC_SUBST(VERSION)
-AC_SUBST(BUILDDATE)
 
 AC_SUBST(enable_verbose_make)
 
