wok diff menu-cache/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: ee53899c6189
     1.1 --- a/menu-cache/receipt	Wed Jul 07 10:35:01 2021 +0000
     1.2 +++ b/menu-cache/receipt	Wed May 18 08:05:48 2022 +0100
     1.3 @@ -17,7 +17,7 @@
     1.4  
     1.5  current_version()
     1.6  {
     1.7 -	wget -O - $WEB_SITE/releases 2>/dev/null | \
     1.8 +	wget -O - $WEB_SITE/tags 2>/dev/null | \
     1.9  	sed '/archive.*tar/!d;s|.*/v*\(.*\).tar.*|\1|;q'
    1.10  }
    1.11