Control: tags -1 confirmed
On 13/03/2025 18:37, Julien Puydt wrote:
Hi,
Le jeu. 13 mars 2025, 17:29, Emilio Pozuelo Monfort <po...@debian.org> a
écrit :
On 13/03/2025 17:21, 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-elpi, coq-quickchick, coq-simple-io and
coqeal are out ; they require rebuilding all depending packages (see
below).
I'm waiting for the "go!" signal to upload the new packages.
Do the rdeps build against the new versions?
Yes, they do.
Since this was requested before the transition freeze, let's go ahead. Please
upload the package as soon as possible, so that we can schedule the appropriate
binNMUs and get this done.
Cheers,
Emilio
