Author: Valentin Lorentz <progval@progval.net>
Description: Remove extra timestamps

Index: why/src/whyweb.ml
===================================================================
--- why.orig/src/whyweb.ml	2016-10-06 20:36:29.418832407 +0200
+++ why/src/whyweb.ml	2016-10-06 20:36:29.414832383 +0200
@@ -137,10 +137,10 @@
 	   assert false)
      
 let version () = 
-  printf "This is WhyWeb version %s, compiled on %s
+  printf "This is WhyWeb version %s
 Copyright (c) 2008 - Claude Marché
 This is free software with ABSOLUTELY NO WARRANTY (use option -warranty)
-" Version.version Version.date;
+" Version.version;
   exit 0
 
 let port = ref 2372
Index: why/java/java_options.ml
===================================================================
--- why.orig/java/java_options.ml	2016-10-06 20:36:29.418832407 +0200
+++ why/java/java_options.ml	2016-10-06 20:39:24.707792835 +0200
@@ -107,10 +107,10 @@
 let files () = List.rev !files_
 
 let version () =
-  Printf.printf "This is Krakatoa version %s, compiled on %s\
+  Printf.printf "This is Krakatoa version %s\
 Copyright (c) 2006-2014 - Why development team - CNRS & INRIA & Univ Paris-Sud\
 This is free software with ABSOLUTELY NO WARRANTY (use option -warranty)\
-" Version.version Version.date;
+" Version.version;
   exit 0
 
 let usage = "krakatoa [options] files"
Index: why/jc/jc_options.ml
===================================================================
--- why.orig/jc/jc_options.ml	2016-10-06 20:36:29.418832407 +0200
+++ why/jc/jc_options.ml	2016-10-06 20:40:37.420178572 +0200
@@ -115,10 +115,10 @@
 let pos_table = Hashtbl.create 97
 
 let version () =
-  Printf.printf "This is Jessie version %s, compiled on %s\
+  Printf.printf "This is Jessie version %s\
 Copyright (c) 2006-2014 - CNRS/INRIA/Univ Paris-Sud\
 This is free software with ABSOLUTELY NO WARRANTY (use option -warranty)\
-" Version.version Version.date;
+" Version.version;
   exit 0
 
 let usage = "jessie [options] files"
Index: why/src/options.ml
===================================================================
--- why.orig/src/options.ml	2016-10-06 20:36:29.418832407 +0200
+++ why/src/options.ml	2016-10-06 20:45:49.573775520 +0200
@@ -199,10 +199,10 @@
 
 let banner () =
   eprintf "\
-@\nThis is why version %s, compiled on %s\
+@\nThis is why version %s\
 @\nCopyright (c) 2002-2014 Why development team - CNRS & INRIA & Univ. Paris-Sud\
 @\nThis is free software with ABSOLUTELY NO WARRANTY (use option -warranty)\
-@\n" Version.version Version.date;
+@\n" Version.version;
   flush stderr
 
 let usage () =
