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. J.Puydt >
