Watch file results

component: main
debian_mangled_uversion: 4.11.4
debian_uversion: 4.11.4
distribution: debian
last_check: 2026-10-07 00:26:57.945443
metadata: --- Bug-Database: https://gitlab.inria.fr/coqinterval/interval/-/issues Bug-Submit: https://gitlab.inria.fr/coqinterval/interval/-/issues/new Repository: https://gitlab.inria.fr/coqinterval/interval.git Repository-Browse: https://gitlab.inria.fr/coqinterval/interval
release: sid
source: coq-interval
status: newer package available
upstream_url: https://gitlab.inria.fr/api/v4/projects/13389/repository/archive.tar.gz?sha=interval-4.11.5
upstream_version: 4.11.5
version: 4.11.4-3
watch_file: 
Version: 5
Template: gitlab
Dist: https://gitlab.inria.fr/coqinterval/interval