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?
Cheers,
Emilio
