Watch file results

component: main
debian_mangled_uversion: 13
debian_uversion: 13
distribution: debian
last_check: 2019-10-14 00:23:12.146206
release: sid
source: gnome-shell-extension-remove-dropdown-arrows
status: up to date
upstream_url: https://github.com/mpdeimos/gnome-shell-remove-dropdown-arrows/archive/version/13.tar.gz
upstream_version: 13
version: 13-1
watch_file: version=3 opts=filenamemangle=s/.+\/v?(\d\S*)\.tar\.gz/gnome-shell-extension-remove-dropdown-arrows-$1\.tar\.gz/ \ https://github.com/mpdeimos/gnome-shell-remove-dropdown-arrows/tags .*version\/?(\d\S*)\.tar\.gz