On 15/02/2025 15:18, Julien Puydt wrote:
Package: release.debian.org Severity: normal User: release.debian.org@packages.debian.org Usertags: transition X-Debbugs-Cc: jpuydt@debian.org X-Debbugs-Cc: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> A new upstream version of Coq is out ; it requires rebuilding all depending packages, and updating some of them (see below).
I don't see anything down there that suggests any other packages needing sourceful uploads. Can you clarify what you mean?
Cheers, Emilio