In debian/watch no matching files for watch line https://gitlab.inria.fr/fpottier/menhir/tags?sort=updated_desc .*/archive/(\d\S+)/.*\.tar\.gz.*
commit 651e2e6128b8b263d2423a7d322062aad06ae1e9 Author: Julien Puydt <jpuydt@debian.org> Date: Tue Jun 11 08:08:46 2024 +0200 Fix debian/watch
Among the 1 debian patch available in version 20231231+ds-1 of the package, we noticed the following issues: