Watch file results

component: main
distribution: debian
last_check: 2022-11-23 12:20:04.33999
release: sid
source: cvc4
status: error
version: 1.8-3
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