Watch file results

component: main
distribution: debian
last_check: 2024-04-26 00:21:50.033908
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