wok-6.x diff poppler-data/receipt @ rev 24608

updated gmp and gmp-dev (6.2.0 -> 6.2.1)
author: Hans-G?nter Theisgen
date: Fri Mar 04 07:03:01 2022 +0100 (2022-03-04)
parents: 6135577f4d08
     1.1 --- a/poppler-data/receipt	Sat Jan 26 12:26:47 2019 +0100
     1.2 +++ b/poppler-data/receipt	Fri Mar 04 07:03:01 2022 +0100
     1.3 @@ -10,6 +10,13 @@
     1.4  WEB_SITE="https://poppler.freedesktop.org/"
     1.5  WGET_URL="https://poppler.freedesktop.org/$TARBALL"
     1.6  
     1.7 +# What is the latest version available today?
     1.8 +current_version()
     1.9 +{
    1.10 +	wget -O - ${WGET_URL%/*}/ 2>/dev/null | \
    1.11 +	sed "/latest/d;/$PACKAGE-[0-9]/!d;/tar/!d;s|.*$PACKAGE-\\(.*\\).tar.*|\\1|" | sort -Vr | sed q
    1.12 +}
    1.13 +
    1.14  # Rules to configure and make the package.
    1.15  compile_rules()
    1.16  {