wok diff hfsutils/receipt @ rev 25020

updated openmpi and openmpi-dev (4.0.3 -> 4.1.3)
author: Hans-G?nter Theisgen
date: Wed May 18 08:05:48 2022 +0100 (2022-05-18)
parents: af8d823a3077
     1.1 --- a/hfsutils/receipt	Mon Feb 14 14:14:23 2022 +0000
     1.2 +++ b/hfsutils/receipt	Wed May 18 08:05:48 2022 +0100
     1.3 @@ -13,8 +13,8 @@
     1.4  # What is the latest version available today?
     1.5  current_version()
     1.6  {
     1.7 -	wget -O - ${WGET_URL%/*}/ 2>/dev/null | \
     1.8 -	sed '/hfsutils-[0-9]/!d;/tar/!d;s|.*hfsutils-||;s|.tar.*||;q'
     1.9 +	wget -O - ${WEB_SITE}version.html 2>/dev/null | \
    1.10 +	sed '/has been released/!d;s| has.*||;s|^[ \t]*||;q'
    1.11  }
    1.12  
    1.13  # Rules to configure and make the package.