wok diff pulseaudio/receipt @ rev 25137
updated phpmyadmin (5.0.2 -> 5.1.1)
author | Hans-G?nter Theisgen |
---|---|
date | Wed Jun 29 11:08:48 2022 +0100 (2022-06-29) |
parents | 26c95e297eed |
children | 73f36875e5a7 |
line diff
1.1 --- a/pulseaudio/receipt Fri Apr 03 13:47:09 2020 +0100 1.2 +++ b/pulseaudio/receipt Wed Jun 29 11:08:48 2022 +0100 1.3 @@ -23,6 +23,13 @@ 1.4 CONFIG_FILES="/etc/pulse/client.conf /etc/pulse/daemon.conf \ 1.5 /etc/pulse/default.pa" 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 {