Bug#1020564: transition: coq-simple-io

[julien.puydt@gmail.com]

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.puydt@gmail.com wrote:
> > Package: release.debian.org
> > Severity: normal
> > User: release.debian.org@packages.debian.org
> > Usertags: transition
> > X-Debbugs-Cc: jpuydt@debian.org
> > X-Debbugs-Cc: Debian OCaml Maintainers
> > <debian-ocaml-maint@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 ?

J.Puydt