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