Watch file results
component: main
debian_mangled_uversion: 4.6.1
debian_uversion: 4.6.1
distribution: debian
last_check: 2023-06-08 00:20:17.548492
release: sid
source: coq-interval
status: newer package available
upstream_url: https://gitlab.inria.fr/coqinterval/interval/-/archive/interval-4.7.0/interval-interval-4.7.0.tar.bz2
upstream_version: 4.7.0
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