wok diff whdd/receipt @ rev 25092

updated pari and pari-dev (2.11.3 -> 2.13.4)
author: Hans-G?nter Theisgen
date: Sat Jun 18 10:01:45 2022 +0100 (2022-06-18)
parents: 5ea0ce1cecc0
     1.1 --- a/whdd/receipt	Tue Jun 08 08:46:05 2021 +0000
     1.2 +++ b/whdd/receipt	Sat Jun 18 10:01:45 2022 +0100
     1.3 @@ -15,7 +15,7 @@
     1.4  
     1.5  current_version()
     1.6  {
     1.7 -	wget -O - ${WGET_URL%/arch*}/releases 2>/dev/null | \
     1.8 +	wget -O - ${WGET_URL%/arch*}/tags 2>/dev/null | \
     1.9  	sed '/archive.*tar/!d;s|.*/\(.*\).tar.*|\1|;q'
    1.10  }
    1.11