Watch file results
component: main
distribution: debian
last_check: 2024-07-13 00:23:39.625905
release: sid
source: coq-gappa
status: error
version: 1.5.5-1
warnings: In debian/watch no matching files for watch line https://gitlab.inria.fr/gappa/coq/-/tags?sort=updated_desc .*/coq-gappalib-coq-(\d\S+)*\.tar\.bz2
watch_file:
version=4 https://gitlab.inria.fr/gappa/coq/-/tags?sort=updated_desc .*/coq-gappalib-coq-(\d\S+)*\.tar\.bz2