Watch file results
component: main
distribution: debian
last_check: 2024-07-26 00:25:26.760292
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