Watch file results

component: non-free
distribution: debian
last_check: 2021-10-14 00:22:05.764349
release: sid
source: coq-doc
status: error
version: 8.6-1
warnings: In debian/watch no matching files for watch line http://coq.inria.fr/download .*/coq-(.*)\.tar\.gz
watch_file:
version=3

http://coq.inria.fr/download .*/coq-(.*)\.tar\.gz