wok diff zopeinterface/receipt @ rev 25005

updated ntl (11.4.3 -> 11.5.1)
author: Hans-G?nter Theisgen
date: Mon May 16 16:29:07 2022 +0100 (2022-05-16)
parents: 922f061231c2
     1.1 --- a/zopeinterface/receipt	Mon Jan 17 11:01:52 2022 +0000
     1.2 +++ b/zopeinterface/receipt	Mon May 16 16:29:07 2022 +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 - $WEB_SITE 2>/dev/null | sed '/, version /!d;s|.*version ||;s|<.*||'
     1.8 +	wget -O - $WEB_SITE 2>/dev/null | sed "/ $SOURCE /!d;s|.*$SOURCE ||;s|<.*||;q"
     1.9  }
    1.10  
    1.11  # Rules to configure and make the package.