Watch file results

component: main
debian_mangled_uversion: 4.6.1
debian_uversion: 4.6.1
distribution: debian
last_check: 2023-01-31 00:51:07.450597
release: sid
source: coq-interval
status: up to date
upstream_url: https://gitlab.inria.fr/coqinterval/interval/-/archive/interval-4.6.1/interval-interval-4.6.1.tar.bz2
upstream_version: 4.6.1
version: 4.6.1-2
watch_file:
version=4
https://gitlab.inria.fr/coqinterval/interval/-/tags?sort=updated_desc .*/interval-interval-(\d\S+)\.tar\.bz2