Watch file results

component: main
distribution: debian
last_check: 2023-09-24 01:20:04.888331
release: sid
source: dafny
status: error
version: 2.3.0+dfsg-0.1
warnings: In debian/watch no matching files for watch line https://github.com/dafny-lang/dafny/releases (?:.*?/)?v?(\d[\d.]*)\.tar\.gz
watch_file: 
version=4
opts="repacksuffix=+dfsg,repack, \
    dversionmangle=auto, \
    filenamemangle=s%(?:.*?)?v?(\d[\d.]*)\.tar\.gz%dafny-$1.tar.gz%" \
    https://github.com/dafny-lang/dafny/releases \
    (?:.*?/)?v?(\d[\d.]*)\.tar\.gz