wok diff mediainfo-gui/receipt @ rev 24533

updated f3 (7.2 -> 8.0)
author: Hans-G?nter Theisgen
date: Wed Feb 23 11:14:10 2022 +0100 (2022-02-23)
parents: a72a832af45d
children: e717a4953b0e
     1.1 --- a/mediainfo-gui/receipt	Wed Mar 18 09:26:34 2020 +0100
     1.2 +++ b/mediainfo-gui/receipt	Wed Feb 23 11:14:10 2022 +0100
     1.3 @@ -14,6 +14,13 @@
     1.4  DEPENDS="gtk+ wxWidgets"
     1.5  BUILD_DEPENDS="file wxWidgets-dev"
     1.6  
     1.7 +# What is the latest version available today?
     1.8 +current_version()
     1.9 +{
    1.10 +	wget -O - https://mediaarea.net/en/MediaInfo/Download/Source 2> /dev/null | \
    1.11 +	sed '/\/mediainfo-gui\//!d;s|.*mediainfo-gui/||;s|/.*||;q'
    1.12 +}
    1.13 +
    1.14  # Rules to configure and make the package.
    1.15  compile_rules()
    1.16  {