convert non-numeric timestamp to numeric one
Index: mirmon/Mirmon.pm
===================================================================
--- mirmon.orig/Mirmon.pm	2014-08-20 00:16:29.814764572 +0900
+++ mirmon/Mirmon.pm	2014-08-20 00:16:29.810764556 +0900
@@ -1545,6 +1545,14 @@
     else
       { $res = ( split ' ', $res ) [ 0 ] ;
 
+# Debian repository mirrors' timestamp is like "Thu Sep  6 08:00:01 UTC 2007",
+# so we need to hack this.
+
+    if ( $res !~ /^[0-9]*$/ )
+      { $res = `date --date "$res" +%s` ;
+        $res =~ s/\n// ;
+      }
+
         if ( $res !~ /^\d+$/ )
           { $res =~ s/ /_/g ;
             $res = Base::htmlquote $res ;
Index: mirmon/mirmon
===================================================================
--- mirmon.orig/mirmon	2014-08-20 00:16:29.814764572 +0900
+++ mirmon/mirmon	2014-08-20 00:16:29.810764556 +0900
@@ -1545,6 +1545,14 @@
     else
       { $res = ( split ' ', $res ) [ 0 ] ;
 
+# Debian repository mirrors' timestamp is like "Thu Sep  6 08:00:01 UTC 2007",
+# so we need to hack this.
+
+    if ( $res !~ /^[0-9]*$/ )
+      { $res = `date --date "$res" +%s` ;
+        $res =~ s/\n// ;
+      }
+
         if ( $res !~ /^\d+$/ )
           { $res =~ s/ /_/g ;
             $res = Base::htmlquote $res ;
