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