Watch file results

component: main
debian_mangled_uversion: 1.5.4
debian_uversion: 1.5.4
distribution: debian
last_check: 2024-03-28 00:23:44.209245
release: sid
source: coq-gappa
status: newer package available
upstream_url: https://gitlab.inria.fr/gappa/coq/-/archive/gappalib-coq-1.5.5/coq-gappalib-coq-1.5.5.tar.bz2
upstream_version: 1.5.5
version: 1.5.4-1
watch_file:
version=4
https://gitlab.inria.fr/gappa/coq/-/tags?sort=updated_desc .*/coq-gappalib-coq-(\d\S+)*\.tar\.bz2