On 15/02/2025 15:18, Julien Puydt wrote:
Package: release.debian.org
Severity: normal
User: release.debian....@packages.debian.org
Usertags: transition
X-Debbugs-Cc: jpu...@debian.org
X-Debbugs-Cc: Debian OCaml Maintainers
<debian-ocaml-ma...@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
