Watch file results

component: main
debian_mangled_uversion: 3.4
debian_uversion: 3.4
distribution: debian
last_check: 2024-04-23 00:55:33.858761
release: sid
source: maude
status: up to date
upstream_url: https://github.com/SRI-CSL/Maude/archive/refs/tags/Maude3.4.tar.gz
upstream_version: 3.4
version: 3.4-1
watch_file: 
version=4

opts="filenamemangle=s%(?:.*?)?v?(\d[\d.]*)\.tar\.gz%@PACKAGE@-$1.tar.gz%" \
   https://github.com/SRI-CSL/Maude/tags (?:.*?/)?Maude(\d[\d.]*)\.tar\.gz