Watch file results

component: main
debian_mangled_uversion: 4.5.0
debian_uversion: 4.5.0
distribution: debian
last_check: 2026-08-17 01:21:24.371988
release: sid
source: coq-iris
status: up to date
upstream_url: https://gitlab.mpi-sws.org/api/v4/projects/118/repository/archive.tar.gz?sha=iris-4.5.0
upstream_version: 4.5.0
version: 4.5.0-2
watch_file: 
Version: 5
Template: gitlab
Dist: https://gitlab.mpi-sws.org/iris/iris
Custom-Version: iris-([\d\.]+)