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>
A new upstream version of coq-elpi is out ; it requires rebuilding all depending packages, and updating some of them (see below). I'm waiting for the "go!" signal to upload the new packages. Cheers, J.Puydt PS: here is the transition script, obtained using: coq-wanna-build coq-elpi 2.5.0-1 coq-quickchick 2.1.0-1 coqeal 2.1.0-1 nmu coq-hierarchy-builder_1.8.1-1+b2 . ANY . -m 'Rebuild because of upload of coq-elpi=2.5.0-1' dw coq-hierarchy-builder_1.8.1-1+b2 . ANY . -m 'coq-elpi >= 2.5.0-1' nmu coq-corn_8.20.0-1+b2 . ANY . -m 'Rebuild because of upload of coq- elpi=2.5.0-1' dw coq-corn_8.20.0-1+b2 . ANY . -m 'coq-elpi >= 2.5.0-1' nmu ssreflect_2.3.0-1+b7 . ANY . -m 'Rebuild because of upload of coq- hierarchy-builder=1.8.1-1+b2' dw ssreflect_2.3.0-1+b7 . ANY . -m 'coq-hierarchy-builder >= 1.8.1- 1+b2' dw coq-quickchick_2.1.0-1 . ANY . -m 'ssreflect >= 2.3.0-1+b7' nmu coq-deriving_0.2.1-1+b6 . ANY . -m 'Rebuild because of upload of ssreflect=2.3.0-1+b7' dw coq-deriving_0.2.1-1+b6 . ANY . -m 'ssreflect >= 2.3.0-1+b7' nmu coq-reglang_1.2.1-4+b13 . ANY . -m 'Rebuild because of upload of ssreflect=2.3.0-1+b7' dw coq-reglang_1.2.1-4+b13 . ANY . -m 'ssreflect >= 2.3.0-1+b7' nmu coq-relation-algebra_1.7.11-1+b6 . ANY . -m 'Rebuild because of upload of ssreflect=2.3.0-1+b7' dw coq-relation-algebra_1.7.11-1+b6 . ANY . -m 'ssreflect >= 2.3.0- 1+b7' nmu coquelicot_3.4.3-1+b2 . ANY . -m 'Rebuild because of upload of ssreflect=2.3.0-1+b7' dw coquelicot_3.4.3-1+b2 . ANY . -m 'ssreflect >= 2.3.0-1+b7' nmu mathcomp-bigenough_1.0.2-1+b3 . ANY . -m 'Rebuild because of upload of ssreflect=2.3.0-1+b7' dw mathcomp-bigenough_1.0.2-1+b3 . ANY . -m 'ssreflect >= 2.3.0-1+b7' nmu mathcomp-finmap_2.1.0-3+b7 . ANY . -m 'Rebuild because of upload of ssreflect=2.3.0-1+b7' dw mathcomp-finmap_2.1.0-3+b7 . ANY . -m 'ssreflect >= 2.3.0-1+b7' nmu mathcomp-zify_1.5.0+2.0+8.16-4+b7 . ANY . -m 'Rebuild because of upload of ssreflect=2.3.0-1+b7' dw mathcomp-zify_1.5.0+2.0+8.16-4+b7 . ANY . -m 'ssreflect >= 2.3.0- 1+b7' nmu mathcomp-algebra-tactics_1.2.4-1+b4 . ANY . -m 'Rebuild because of upload of coq-elpi=2.5.0-1 mathcomp-zify=1.5.0+2.0+8.16-4+b7 ssreflect=2.3.0-1+b7' dw mathcomp-algebra-tactics_1.2.4-1+b4 . ANY . -m 'coq-elpi >= 2.5.0- 1' dw mathcomp-algebra-tactics_1.2.4-1+b4 . ANY . -m 'mathcomp-zify >= 1.5.0+2.0+8.16-4+b7' dw mathcomp-algebra-tactics_1.2.4-1+b4 . ANY . -m 'ssreflect >= 2.3.0- 1+b7' nmu mathcomp-analysis_1.9.0-1+b1 . ANY . -m 'Rebuild because of upload of mathcomp-finmap=2.1.0-3+b7 mathcomp-bigenough=1.0.2-1+b3 coq- elpi=2.5.0-1 coq-hierarchy-builder=1.8.1-1+b2 ssreflect=2.3.0-1+b7' dw mathcomp-analysis_1.9.0-1+b1 . ANY . -m 'mathcomp-finmap >= 2.1.0- 3+b7' dw mathcomp-analysis_1.9.0-1+b1 . ANY . -m 'mathcomp-bigenough >= 1.0.2-1+b3' dw mathcomp-analysis_1.9.0-1+b1 . ANY . -m 'coq-elpi >= 2.5.0-1' dw mathcomp-analysis_1.9.0-1+b1 . ANY . -m 'coq-hierarchy-builder >= 1.8.1-1+b2' dw mathcomp-analysis_1.9.0-1+b1 . ANY . -m 'ssreflect >= 2.3.0-1+b7' nmu coq-extructures_0.5.0-1+b6 . ANY . -m 'Rebuild because of upload of coq-deriving=0.2.1-1+b6 ssreflect=2.3.0-1+b7' dw coq-extructures_0.5.0-1+b6 . ANY . -m 'coq-deriving >= 0.2.1-1+b6' dw coq-extructures_0.5.0-1+b6 . ANY . -m 'ssreflect >= 2.3.0-1+b7' nmu coq-interval_4.11.1-1+b8 . ANY . -m 'Rebuild because of upload of coquelicot=3.4.3-1+b2 ssreflect=2.3.0-1+b7' dw coq-interval_4.11.1-1+b8 . ANY . -m 'coquelicot >= 3.4.3-1+b2' dw coq-interval_4.11.1-1+b8 . ANY . -m 'ssreflect >= 2.3.0-1+b7' nmu mathcomp-multinomials_2.3.0-1+b7 . ANY . -m 'Rebuild because of upload of ssreflect=2.3.0-1+b7 mathcomp-finmap=2.1.0-3+b7 mathcomp- bigenough=1.0.2-1+b3' dw mathcomp-multinomials_2.3.0-1+b7 . ANY . -m 'ssreflect >= 2.3.0- 1+b7' dw mathcomp-multinomials_2.3.0-1+b7 . ANY . -m 'mathcomp-finmap >= 2.1.0-3+b7' dw mathcomp-multinomials_2.3.0-1+b7 . ANY . -m 'mathcomp-bigenough >= 1.0.2-1+b3' nmu mathcomp-real-closed_2.0.2-1+b7 . ANY . -m 'Rebuild because of upload of ssreflect=2.3.0-1+b7 mathcomp-bigenough=1.0.2-1+b3' dw mathcomp-real-closed_2.0.2-1+b7 . ANY . -m 'ssreflect >= 2.3.0- 1+b7' dw mathcomp-real-closed_2.0.2-1+b7 . ANY . -m 'mathcomp-bigenough >= 1.0.2-1+b3' dw coqeal_2.1.0-1 . ANY . -m 'ssreflect >= 2.3.0-1+b7' dw coqeal_2.1.0-1 . ANY . -m 'mathcomp-real-closed >= 2.0.2-1+b7'
