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 Cheers -- Sebastian Ramacher
