convert non-numeric timestamp to numeric one
Index: mirmon-2.6/Mirmon.pm
===================================================================
--- mirmon-2.6.orig/Mirmon.pm	2012-06-10 21:05:42.000000000 +0900
+++ mirmon-2.6/Mirmon.pm	2012-06-10 21:06:38.588978273 +0900
@@ -1532,6 +1532,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-2.6/mirmon
===================================================================
--- mirmon-2.6.orig/mirmon	2012-06-10 21:06:32.456932872 +0900
+++ mirmon-2.6/mirmon	2012-06-10 21:06:38.588978273 +0900
@@ -1532,6 +1532,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 ;
