wok diff htmldoc/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: 4636144009a9
children: 20ad21d5532c
     1.1 --- a/htmldoc/receipt	Wed Feb 26 17:18:54 2020 +0100
     1.2 +++ b/htmldoc/receipt	Sat Jun 18 10:01:45 2022 +0100
     1.3 @@ -14,6 +14,12 @@
     1.4  DEPENDS="fltk jpeg libpng"
     1.5  BUILD_DEPENDS="fltk-dev jpeg-dev libpng-dev"
     1.6  
     1.7 +current_version()
     1.8 +{
     1.9 +	wget -O - ${WGET_URL%/down*} 2>/dev/null | \
    1.10 +	sed '/archive.*tar/!d;s|.*/v\(.*\).tar.*|\1|;q'
    1.11 +}
    1.12 +
    1.13  # Rules to configure and make the package.
    1.14  compile_rules()
    1.15  {