Watch file results
component: main
distribution: debian
last_check: 2024-07-15 00:52:33.112541
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