wok diff grub/receipt @ rev 24733

updated libedit and libedit-dev (3.1-20191231 -> 3.1-20210910)
author: Hans-G?nter Theisgen
date: Tue Mar 15 17:44:35 2022 +0100 (2022-03-15)
parents: 87f1b8852b4c
children: 85fdef900d06
     1.1 --- a/grub/receipt	Thu Feb 10 19:39:21 2022 +0000
     1.2 +++ b/grub/receipt	Tue Mar 15 17:44:35 2022 +0100
     1.3 @@ -17,7 +17,7 @@
     1.4  current_version()
     1.5  {
     1.6  	wget -O - ${WGET_URL%/*} 2>/dev/null | \
     1.7 -	sed "/$PACKAGE-/!d;/tar/!d;s|.*$PACKAGE-||;s|.tar.*||" | sort -Vr | sed q
     1.8 +	sed "/$PACKAGE-0/!d;/tar/!d;s|.*$PACKAGE-||;s|.[a-z].*||" | sort -Vr | sed q
     1.9  }
    1.10  
    1.11  # Rules to configure and make the package.