Watch file results

component: main
debian_mangled_uversion: 20260209
debian_uversion: 20260209+ds
distribution: debian
last_check: 2026-08-17 00:50:05.027232
release: sid
source: coq-menhirlib
status: up to date
upstream_url: https://gitlab.inria.fr/api/v4/projects/1871/repository/archive.tar.gz?sha=20260209
upstream_version: 20260209
version: 20260209+ds-2
watch_file: 
Version: 5
Template: gitlab
Dist: https://gitlab.inria.fr/fpottier/menhir
Repacksuffix: +ds
DVersionMangle: s/\+ds//