On 2022-09-29 14:04:20 +0200, julien.pu...@gmail.com wrote: > Hi, > > Le dimanche 25 septembre 2022 à 15:49 +0200, Sebastian Ramacher a > écrit : > > Control: tags -1 confirmed > > > > On 2022-09-23 14:36:02 +0200, julien.pu...@gmail.com 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> > > > > > > Hi, > > > > > > there is a new version of coq-simple-io ; it requires re-building > > > another package: > > > > > > nmu coq-quickchick_1.6.4-2+b1 . ANY . -m 'Rebuild because of > > > upload of > > > coq-simple-io=1.8.0-1' > > > dw coq-quickchick_1.6.4-2+b1 . ANY . -m 'coq-simple-io >= 1.8.0-1' > > > > > > > > > I'm waiting for your approval to upload coq-simple-io 1.8.0-1. > > > > Please go ahead > > I uploaded coq-simple-io 1.8.0-1 a few days ago already, but it looks > like coq-quickchick didn't get rebuilt as I was expecting -- so it's > uninstallable and prevents testing migration. > > What went wrong and what can I do to help ?
I have scheduled the binNMUs yesterday. Cheers > > J.Puydt > -- Sebastian Ramacher
