Watch file results

component: main
distribution: debian
last_check: 2025-04-27 00:21:25.367439
release: sid
source: why3
status: error
version: 1.8.0-2
warnings: In watchfile debian/watch, reading webpage https://gitlab.inria.fr/why3/why3/tags?sort=updated_desc failed: 500 Can't connect to gitlab.inria.fr:443 (Connection timed out)
watch_file: 
version=4

opts="searchmode=plain" \
 https://gitlab.inria.fr/why3/@PACKAGE@/tags?sort=updated_desc \
 -/archive/\d[\d.]+/@PACKAGE@-@ANY_VERSION@@ARCHIVE_EXT@ debian uupdate