wok-6.x diff python-jedi/receipt @ rev 24920

updated mp (5.2.10 -> 5.58)
author: Hans-G?nter Theisgen
date: Sun Apr 10 07:48:27 2022 +0100 (2022-04-10)
parents: 1df6fa555414
children: d1edb6891f97
     1.1 --- a/python-jedi/receipt	Thu Jan 13 18:29:05 2022 +0000
     1.2 +++ b/python-jedi/receipt	Sun Apr 10 07:48:27 2022 +0100
     1.3 @@ -15,9 +15,10 @@
     1.4  DEPENDS="python"
     1.5  BUILD_DEPENDS="python python-dev python-setuptools"
     1.6  
     1.7 +# What is the latest version available today?
     1.8  current_version()
     1.9  {
    1.10 -	wget -O - $WEB_SITE 2>/dev/null | sed '/, version /!d;s|.*version ||;s|<.*||'
    1.11 +	wget -O - $WEB_SITE 2>/dev/null | sed "/$SOURCE [0-9]/!d;s|.*$SOURCE ||;s|<.*||"
    1.12  }
    1.13  
    1.14  # Rules to configure and make the package.