Watch file results

component: main
distribution: debian
last_check: 2022-05-24 00:20:03.857232
release: sid
source: cvc4
status: error
version: 1.8-2
warnings: In debian/watch no matching files for watch line https://github.com/CVC4/CVC4/tags .*/(\d[\d\.]*)\.tar\.gz
watch_file:
version=4
opts=filenamemangle=s/.*\/(\d[\d\.]*)\.tar\.gz/cvc4-$1\.tar\.gz/ \
  https://github.com/CVC4/CVC4/tags .*/(\d[\d\.]*)\.tar\.gz