Control: tags -1 confirmed
On 13/03/2025 18:37, Julien Puydt wrote:
Hi,
Le jeu. 13 mars 2025, 17:29, Emilio Pozuelo Monfort <[email protected]> a
écrit :
On 13/03/2025 17:21, Julien Puydt wrote:
Package: release.debian.org
Severity: normal
User: [email protected]
Usertags: transition
X-Debbugs-Cc: [email protected]
X-Debbugs-Cc: Debian OCaml Maintainers
<[email protected]>
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
