diff -Nru codonw-1.4.4/debian/changelog codonw-1.4.4/debian/changelog
--- codonw-1.4.4/debian/changelog	2015-11-27 22:52:36.000000000 +0000
+++ codonw-1.4.4/debian/changelog	2015-12-07 22:53:26.000000000 +0000
@@ -1,3 +1,10 @@
+codonw (1.4.4-2) unstable; urgency=medium
+
+  * Remove nondeterminism
+    - menu.c: Do not print compilation date and time
+
+ -- Sascha Steinbiss <sascha@steinbiss.name>  Mon, 07 Dec 2015 22:51:58 +0000
+
 codonw (1.4.4-1) unstable; urgency=low
 
   * Initial release (Closes: #805693)
diff -Nru codonw-1.4.4/debian/patches/remove_nondeterminism codonw-1.4.4/debian/patches/remove_nondeterminism
--- codonw-1.4.4/debian/patches/remove_nondeterminism	1970-01-01 00:00:00.000000000 +0000
+++ codonw-1.4.4/debian/patches/remove_nondeterminism	2015-12-07 22:53:26.000000000 +0000
@@ -0,0 +1,21 @@
+Description: Remove_nondeterminism
+--- a/menu.c
++++ b/menu.c
+@@ -1275,7 +1275,7 @@
+ /***************************************************************************/
+ int  printinfo(void) {  
+ # if defined (__FILE__ )
+-  printf("\n\tSource   : %s", __FILE__);
++  /* printf("\n\tSource   : %s", __FILE__); */
+ # endif 
+ # if defined  (DEBUG)
+   printf("(Debug version)");
+@@ -1288,7 +1288,7 @@
+ 	 (int) strlen(Author) - 10, Author + 9);
+   
+ #if defined(__DATE__ ) && defined(__TIME__)
+-  printf("\n\tCompiled : %s %s\n", __DATE__, __TIME__);
++  /* printf("\n\tCompiled : %s %s\n", __DATE__, __TIME__); */
+ #endif
+   
+   printf("\n\t-------------------------------\n\n");
diff -Nru codonw-1.4.4/debian/patches/series codonw-1.4.4/debian/patches/series
--- codonw-1.4.4/debian/patches/series	2015-11-27 22:52:36.000000000 +0000
+++ codonw-1.4.4/debian/patches/series	2015-12-07 22:49:43.000000000 +0000
@@ -5,3 +5,4 @@
 spelling
 helpfile_location
 fix_link_name_clashes
+remove_nondeterminism