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