convert non-numeric timestamp to numeric one
Index: mirmon-2.4/Mirmon.pm
===================================================================
--- mirmon-2.4.orig/Mirmon.pm	2011-02-01 22:51:58.548004850 +0900
+++ mirmon-2.4/Mirmon.pm	2011-02-01 22:53:20.920004850 +0900
@@ -1426,6 +1426,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.4/mirmon
===================================================================
--- mirmon-2.4.orig/mirmon	2011-02-01 22:52:08.800004850 +0900
+++ mirmon-2.4/mirmon	2011-02-01 22:52:38.436004850 +0900
@@ -1426,6 +1426,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 ;
