Watch file results
component: main
debian_mangled_uversion: 3.4
debian_uversion: 3.4
distribution: debian
last_check: 2024-12-11 00:20:57.286522
release: sid
source: maude
status: newer package available
upstream_url: https://github.com/maude-lang/Maude/archive/refs/tags/Maude3.5.tar.gz
upstream_version: 3.5
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