check_release.pl
changeset 25 34ca2b4008a4
parent 22 18b866efccfe
child 26 a03a6dab1176
--- a/check_release.pl	Tue Mar 31 09:18:49 2015 +0200
+++ b/check_release.pl	Fri Nov 03 10:26:01 2017 +0100
@@ -38,10 +38,10 @@
 sub version($$);
 
 my $ME      = basename $0;
-my $VERSION = "2.5";
+my $VERSION = "2.9";
 
 my %opt = (
-    url    => "http://www.debian.org/releases/stable/index.html",
+    url    => "https://www.debian.org/releases/stable/index.html",
     search => qr/<p>Debian\b.*?([\d.]+)/,
     file   => "/etc/debian_version",
     ok     => 0