Watch file results

component: main
distribution: debian
last_check: 2024-07-18 00:22:03.762968
release: sid
source: coq-interval
status: error
version: 4.11.0-1
warnings: In debian/watch no matching files for watch line https://gitlab.inria.fr/coqinterval/interval/-/tags?sort=updated_desc .*/interval-interval-(\d\S+)\.tar\.bz2
watch_file:
version=4
https://gitlab.inria.fr/coqinterval/interval/-/tags?sort=updated_desc .*/interval-interval-(\d\S+)\.tar\.bz2