Package: release.debian.org Severity: normal User: release.debian....@packages.debian.org Usertags: transition X-Debbugs-CC: debian-ocaml-ma...@lists.debian.org
A new coq-ext-lib version is out and two other packages need to be recompiled. I checked them locally so I'm sure this transition will run smoothly. I'll upload the new coq-ext-lib when you'll give me the go. Cheers, J.Puydt PS: the relevant transition script is : nmu coq-simple-io_1.10.0-1+b1 . ANY . -m 'Rebuild because of upload of coq-ext-lib=0.13.0-1' dw coq-simple-io_1.10.0-1+b1 . ANY . -m 'coq-ext-lib >= 0.13.0-1' nmu coq-quickchick_2.0.5-1+b2 . ANY . -m 'Rebuild because of upload of coq-ext-lib=0.13.0-1 coq-simple-io=1.10.0-1+b1' dw coq-quickchick_2.0.5-1+b2 . ANY . -m 'coq-ext-lib >= 0.13.0-1' dw coq-quickchick_2.0.5-1+b2 . ANY . -m 'coq-simple-io >= 1.10.0-1+b1'
