Bug#1020564: transition: coq-simple-io

[Sebastian Ramacher <sramacher@debian.org>]

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

Cheers
-- 
Sebastian Ramacher