Watch file results
component: main
distribution: debian
last_check: 2024-07-23 01:20:12.787306
release: sid
source: coq-stdpp
status: error
version: 1.10.0-1
warnings: In debian/watch no matching files for watch line https://gitlab.mpi-sws.org/iris/stdpp/-/tags .*/stdpp-coq-stdpp-([\d\.]+).tar.gz
watch_file:
version=4 https://gitlab.mpi-sws.org/iris/stdpp/-/tags .*/stdpp-coq-stdpp-([\d\.]+).tar.gz