wok diff sed/receipt @ rev 25680

updated gnu-efi (3.0.14 -> 3.0.17)
author: Hans-G?nter Theisgen
date: Mon Mar 18 18:46:02 2024 +0100 (8 months ago)
parents: b81ceff0b056
     1.1 --- a/sed/receipt	Thu Jul 20 09:05:42 2023 +0000
     1.2 +++ b/sed/receipt	Mon Mar 18 18:46:02 2024 +0100
     1.3 @@ -18,7 +18,7 @@
     1.4  # What is the latest version available today?
     1.5  current_version()
     1.6  {
     1.7 -	wget -O - https://ftp.gnu.org/gnu/sed/ 2>/dev/null | \
     1.8 +	wget -O - https://ftp.gnu.org/gnu/$PACKAGE/ 2>/dev/null | \
     1.9  	sed "/latest/d;/$PACKAGE-/!d;/tar/!d;s|.*$PACKAGE-\\(.*\\).tar.*\".*|\\1|" | sort -Vr | sed q
    1.10  }
    1.11