Watch file results

component: main
distribution: debian
last_check: 2022-10-02 00:51:53.184415
release: sid
source: boolector
status: error
version: 1.5.118.6b56be4.121013-1.1
warnings: In debian/watch no matching files for watch line http://fmv.jku.at/boolector/boolector-(.*)-(.*)-(.*)\.tar\.gz
watch_file:
version=3
http://fmv.jku.at/boolector/boolector-(.*)-(.*)-(.*)\.tar\.gz