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-06-08 20:37:40.209089377 +0200
+++ why3/src/tools/main.ml	2016-06-08 20:40:12.721954826 +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";
 ]
 
