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

Index: why/src/whyweb.ml
===================================================================
--- why.orig/src/whyweb.ml	2017-04-22 20:46:19.886615786 +0200
+++ why/src/whyweb.ml	2017-04-22 20:46:19.886615786 +0200
@@ -136,10 +136,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/src/options.ml
===================================================================
--- why.orig/src/options.ml	2017-04-22 20:46:19.886615786 +0200
+++ why/src/options.ml	2017-04-22 20:46:19.886615786 +0200
@@ -198,10 +198,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 () =
