In debian/watch no matching files for watch line https://gitlab.inria.fr/fpottier/menhir/tags?sort=updated_desc .*/archive/(\d\S+)/.*\.tar\.gz.*
Among the 1 debian patch available in version 20231231+ds-1 of the package, we noticed the following issues: