wok diff libsearpc/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: bf28cc07ebf1
     1.1 --- a/libsearpc/receipt	Fri Jul 09 10:46:05 2021 +0000
     1.2 +++ b/libsearpc/receipt	Wed May 18 08:05:48 2022 +0100
     1.3 @@ -17,10 +17,11 @@
     1.4  
     1.5  HOST_ARCH="i486 arm"
     1.6  
     1.7 +# What is the latest version available today?
     1.8  current_version()
     1.9  {
    1.10 -	wget -O - ${WGET_URL%/arch*} 2>/dev/null | \
    1.11 -	sed '/releases.tag/!d;s|.*/tag.v*\(.*\)".*|\1|;q'
    1.12 +	wget -O - ${WGET_URL%/arch*}/tags 2>/dev/null | \
    1.13 +	sed '/archive.*tar/!d;/latest/d;s|.*/v*\(.*\).tar.*|\1|;q'
    1.14  }
    1.15  
    1.16  # Rules to configure and make the package.