convert non-numeric timestamp to numeric one
Index: mirmon-2.7/Mirmon.pm
===================================================================
--- mirmon-2.7.orig/Mirmon.pm	2012-12-15 18:27:03.000000000 +0900
+++ mirmon-2.7/Mirmon.pm	2012-12-20 06:12:34.614435881 +0900
@@ -1541,6 +1541,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.7/mirmon
===================================================================
--- mirmon-2.7.orig/mirmon	2012-12-20 06:12:34.602435856 +0900
+++ mirmon-2.7/mirmon	2012-12-20 06:12:34.614435881 +0900
@@ -1541,6 +1541,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 ;
