In debian/watch no matching files for watch line https://gitlab.inria.fr/gappa/coq/-/tags?sort=updated_desc .*/coq-gappalib-coq-(\d\S+)*\.tar\.bz2
Among the 1 debian patch available in version 1.5.5-1 of the package, we noticed the following issues:
commit bfd79450af5a8fb52ef69fe0d1bf717295952db0 Author: Julien Puydt <jpuydt@debian.org> Date: Tue Jun 11 08:19:08 2024 +0200 Fix d/watch commit 31eacbae1fbdb4ff6c782053cb0c59cc000e610a Author: Julien Puydt <jpuydt@debian.org> Date: Fri Apr 26 15:53:55 2024 +0200 Prepare for upload