wok diff freerdp/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 9820f9ae38d5
children
line diff
     1.1 --- a/freerdp/receipt	Thu Apr 11 16:12:18 2019 +0200
     1.2 +++ b/freerdp/receipt	Wed May 18 08:05:48 2022 +0100
     1.3 @@ -16,6 +16,13 @@
     1.4  xorg-dev-proto wget cmake ffmpeg-dev xorg-libXv-dev pcsc-lite-dev"
     1.5  TAGS="rdp remote-desktop"
     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  {