Watch file results

component: main
distribution: debian
last_check: 2025-10-27 15:20:02.765508
release: sid
source: cvc4
status: error
version: 1.8-5
warnings: In debian/watch no matching files for watch source https://github.com/CVC4/CVC4/tags
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