[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1020564: transition: coq-simple-io



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.

Cheers,

J.Puydt


Reply to: