diff -r 54523482f8e8 -r 34ca2b4008a4 check_release.pl --- 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/

Debian\b.*?([\d.]+)/, file => "/etc/debian_version", ok => 0