Hi Le mer. 20 nov. 2024, 09:53, Emilio Pozuelo Monfort <po...@debian.org> a écrit :
> On 16/11/2024 15:43, Julien Puydt wrote: > > Package: release.debian.org > > Severity: normal > > User: release.debian....@packages.debian.org > > Usertags: transition > > X-Debbugs-CC: debian-ocaml-ma...@lists.debian.org > > > > Coq version 8.20 has been out since the beginning of september. I > > prepared a coherent set of versions for the whole Coq-in-Debian set of > > packages (45 packages). > > > > I need a transition slot before I upload anything. > > Have you done any local rebuilds to ensure that packages build fine > against the > new coq version? > Yes, that is what I meant when I wrote I prepared a coherent set ; sorry if I wasn't clear. Thanks, JP >
