wok diff readline/receipt @ rev 24280

updated redis (5.0.8 -> 6.2.6)
author Hans-G?nter Theisgen
date Mon Jan 10 17:09:47 2022 +0100 (2022-01-10)
parents 3e9a9990c985
children 8e26e36b2c5f
line diff
     1.1 --- a/readline/receipt	Thu Jul 08 13:19:25 2021 +0000
     1.2 +++ b/readline/receipt	Mon Jan 10 17:09:47 2022 +0100
     1.3 @@ -19,7 +19,7 @@
     1.4  current_version()
     1.5  {
     1.6  	wget -O - $(dirname $WGET_URL) 2>/dev/null | \
     1.7 -	sed "/$PACKAGE-[0-9]/!d;/tar/!d;s|.*$PACKAGE-\\(.*\\).tar.*\".*|\\1|" | sort -Vr | sed q
     1.8 +	sed "/$PACKAGE-[0-9]/!d;/tar/!d;/-[abr]/d;s|.*$PACKAGE-\\(.*\\).tar.*\".*|\\1|" | sort -Vr | sed q
     1.9  }
    1.10  
    1.11  # Rules to configure and make the package.