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 is out ; it requires rebuilding all depending packages (see below). I'm waiting for the "go!" signal to upload coq 8.16.1-1. Cheers, J.Puydt PS: the upgrade path: nmu aac-tactics_8.16.0-1+b1 . ANY . -m 'Rebuild because of upload of coq=8.16.1-1' dw aac-tactics_8.16.0-1+b1 . ANY . -m 'coq >= 8.16.1-1' nmu coq-bignums_8.16.0-1+b1 . ANY . -m 'Rebuild because of upload of coq=8.16.1-1' dw coq-bignums_8.16.0-1+b1 . ANY . -m 'coq >= 8.16.1-1' nmu coq-dpdgraph_1.0+8.16-1+b1 . ANY . -m 'Rebuild because of upload of coq=8.16.1-1' dw coq-dpdgraph_1.0+8.16-1+b1 . ANY . -m 'coq >= 8.16.1-1' nmu coq-elpi_1.16.0-1+b1 . ANY . -m 'Rebuild because of upload of coq=8.16.1-1' dw coq-elpi_1.16.0-1+b1 . ANY . -m 'coq >= 8.16.1-1' nmu coq-ext-lib_0.11.7-1+b2 . ANY . -m 'Rebuild because of upload of coq=8.16.1-1' dw coq-ext-lib_0.11.7-1+b2 . ANY . -m 'coq >= 8.16.1-1' nmu coq-hammer_1.3.2+8.16-1+b1 . ANY . -m 'Rebuild because of upload of coq=8.16.1-1' dw coq-hammer_1.3.2+8.16-1+b1 . ANY . -m 'coq >= 8.16.1-1' nmu coq-hott_8.16-1+b2 . ANY . -m 'Rebuild because of upload of coq=8.16.1-1' dw coq-hott_8.16-1+b2 . ANY . -m 'coq >= 8.16.1-1' nmu coq-libhyps_2.0.6-1+b2 . ANY . -m 'Rebuild because of upload of coq=8.16.1-1' dw coq-libhyps_2.0.6-1+b2 . ANY . -m 'coq >= 8.16.1-1' nmu coq-menhirlib_20220210+ds-3+b1 . ANY . -m 'Rebuild because of upload of coq=8.16.1-1' dw coq-menhirlib_20220210+ds-3+b1 . ANY . -m 'coq >= 8.16.1-1' nmu coq-record-update_0.3.1-1+b3 . ANY . -m 'Rebuild because of upload of coq=8.16.1-1' dw coq-record-update_0.3.1-1+b3 . ANY . -m 'coq >= 8.16.1-1' nmu coq-reduction-effects_0.1.4-2+b1 . ANY . -m 'Rebuild because of upload of coq=8.16.1-1' dw coq-reduction-effects_0.1.4-2+b1 . ANY . -m 'coq >= 8.16.1-1' nmu coq-stdpp_1.8.0-2+b1 . ANY . -m 'Rebuild because of upload of coq=8.16.1-1' dw coq-stdpp_1.8.0-2+b1 . ANY . -m 'coq >= 8.16.1-1' nmu coq-unicoq_1.6-8.16-1+b1 . ANY . -m 'Rebuild because of upload of coq=8.16.1-1' dw coq-unicoq_1.6-8.16-1+b1 . ANY . -m 'coq >= 8.16.1-1' nmu coq-unimath_20220816-1+b3 . ANY . -m 'Rebuild because of upload of coq=8.16.1-1' dw coq-unimath_20220816-1+b3 . ANY . -m 'coq >= 8.16.1-1' nmu flocq_4.1.0-2+b2 . ANY . -m 'Rebuild because of upload of coq=8.16.1-1' dw flocq_4.1.0-2+b2 . ANY . -m 'coq >= 8.16.1-1' nmu ott_0.32+ds-2+b3 . ANY . -m 'Rebuild because of upload of coq=8.16.1-1' dw ott_0.32+ds-2+b3 . ANY . -m 'coq >= 8.16.1-1' nmu paramcoq_1.1.3+coq8.16-2+b1 . ANY . -m 'Rebuild because of upload of coq=8.16.1-1' dw paramcoq_1.1.3+coq8.16-2+b1 . ANY . -m 'coq >= 8.16.1-1' nmu ssreflect_1.15.0-1+b2 . ANY . -m 'Rebuild because of upload of coq=8.16.1-1' dw ssreflect_1.15.0-1+b2 . ANY . -m 'coq >= 8.16.1-1' nmu coq-deriving_0.1.0-1+b3 . ANY . -m 'Rebuild because of upload of ssreflect=1.15.0-1+b2 coq=8.16.1-1' dw coq-deriving_0.1.0-1+b3 . ANY . -m 'ssreflect >= 1.15.0-1+b2' dw coq-deriving_0.1.0-1+b3 . ANY . -m 'coq >= 8.16.1-1' nmu coq-equations_1.3-8.16-1+b1 . ANY . -m 'Rebuild because of upload of coq=8.16.1-1 coq-hott=8.16-1+b2' dw coq-equations_1.3-8.16-1+b1 . ANY . -m 'coq >= 8.16.1-1' dw coq-equations_1.3-8.16-1+b1 . ANY . -m 'coq-hott >= 8.16-1+b2' nmu coq-gappa_1.5.2-4+b1 . ANY . -m 'Rebuild because of upload of flocq=4.1.0-2+b2 coq=8.16.1-1' dw coq-gappa_1.5.2-4+b1 . ANY . -m 'flocq >= 4.1.0-2+b2' dw coq-gappa_1.5.2-4+b1 . ANY . -m 'coq >= 8.16.1-1' nmu coq-hierarchy-builder_1.4.0-2+b3 . ANY . -m 'Rebuild because of upload of coq-elpi=1.16.0-1+b1 coq=8.16.1-1' dw coq-hierarchy-builder_1.4.0-2+b3 . ANY . -m 'coq-elpi >= 1.16.0- 1+b1' dw coq-hierarchy-builder_1.4.0-2+b3 . ANY . -m 'coq >= 8.16.1-1' nmu coq-iris_4.0.0-2+b1 . ANY . -m 'Rebuild because of upload of coq- stdpp=1.8.0-2+b1 coq=8.16.1-1' dw coq-iris_4.0.0-2+b1 . ANY . -m 'coq-stdpp >= 1.8.0-2+b1' dw coq-iris_4.0.0-2+b1 . ANY . -m 'coq >= 8.16.1-1' nmu coq-math-classes_8.15.0-3+b2 . ANY . -m 'Rebuild because of upload of coq-bignums=8.16.0-1+b1 coq=8.16.1-1' dw coq-math-classes_8.15.0-3+b2 . ANY . -m 'coq-bignums >= 8.16.0- 1+b1' dw coq-math-classes_8.15.0-3+b2 . ANY . -m 'coq >= 8.16.1-1' nmu coq-mtac2_1.4+8.16-1+b1 . ANY . -m 'Rebuild because of upload of coq-unicoq=1.6-8.16-1+b1 coq=8.16.1-1' dw coq-mtac2_1.4+8.16-1+b1 . ANY . -m 'coq-unicoq >= 1.6-8.16-1+b1' dw coq-mtac2_1.4+8.16-1+b1 . ANY . -m 'coq >= 8.16.1-1' nmu coq-reglang_1.1.3-1+b3 . ANY . -m 'Rebuild because of upload of ssreflect=1.15.0-1+b2 coq=8.16.1-1' dw coq-reglang_1.1.3-1+b3 . ANY . -m 'ssreflect >= 1.15.0-1+b2' dw coq-reglang_1.1.3-1+b3 . ANY . -m 'coq >= 8.16.1-1' nmu coq-relation-algebra_1.7.8-1+b2 . ANY . -m 'Rebuild because of upload of ssreflect=1.15.0-1+b2 aac-tactics=8.16.0-1+b1 coq=8.16.1-1' dw coq-relation-algebra_1.7.8-1+b2 . ANY . -m 'ssreflect >= 1.15.0- 1+b2' dw coq-relation-algebra_1.7.8-1+b2 . ANY . -m 'aac-tactics >= 8.16.0- 1+b1' dw coq-relation-algebra_1.7.8-1+b2 . ANY . -m 'coq >= 8.16.1-1' nmu coq-simple-io_1.8.0-1+b1 . ANY . -m 'Rebuild because of upload of coq=8.16.1-1 coq-ext-lib=0.11.7-1+b2' dw coq-simple-io_1.8.0-1+b1 . ANY . -m 'coq >= 8.16.1-1' dw coq-simple-io_1.8.0-1+b1 . ANY . -m 'coq-ext-lib >= 0.11.7-1+b2' nmu coqprime_8.15-1+b3 . ANY . -m 'Rebuild because of upload of coq- bignums=8.16.0-1+b1 coq=8.16.1-1' dw coqprime_8.15-1+b3 . ANY . -m 'coq-bignums >= 8.16.0-1+b1' dw coqprime_8.15-1+b3 . ANY . -m 'coq >= 8.16.1-1' nmu coquelicot_3.2.0-7+b2 . ANY . -m 'Rebuild because of upload of ssreflect=1.15.0-1+b2 coq=8.16.1-1' dw coquelicot_3.2.0-7+b2 . ANY . -m 'ssreflect >= 1.15.0-1+b2' dw coquelicot_3.2.0-7+b2 . ANY . -m 'coq >= 8.16.1-1' nmu mathcomp-bigenough_1.0.1-8+b2 . ANY . -m 'Rebuild because of upload of ssreflect=1.15.0-1+b2 coq=8.16.1-1' dw mathcomp-bigenough_1.0.1-8+b2 . ANY . -m 'ssreflect >= 1.15.0-1+b2' dw mathcomp-bigenough_1.0.1-8+b2 . ANY . -m 'coq >= 8.16.1-1' nmu mathcomp-finmap_1.5.2-1+b2 . ANY . -m 'Rebuild because of upload of ssreflect=1.15.0-1+b2 coq=8.16.1-1' dw mathcomp-finmap_1.5.2-1+b2 . ANY . -m 'ssreflect >= 1.15.0-1+b2' dw mathcomp-finmap_1.5.2-1+b2 . ANY . -m 'coq >= 8.16.1-1' nmu mathcomp-zify_1.2.0+1.12+8.13-6+b2 . ANY . -m 'Rebuild because of upload of ssreflect=1.15.0-1+b2 coq=8.16.1-1' dw mathcomp-zify_1.2.0+1.12+8.13-6+b2 . ANY . -m 'ssreflect >= 1.15.0- 1+b2' dw mathcomp-zify_1.2.0+1.12+8.13-6+b2 . ANY . -m 'coq >= 8.16.1-1' nmu coq-corn_8.16.0-1+b2 . ANY . -m 'Rebuild because of upload of coq- bignums=8.16.0-1+b1 coq=8.16.1-1 coq-math-classes=8.15.0-3+b2' dw coq-corn_8.16.0-1+b2 . ANY . -m 'coq-bignums >= 8.16.0-1+b1' dw coq-corn_8.16.0-1+b2 . ANY . -m 'coq >= 8.16.1-1' dw coq-corn_8.16.0-1+b2 . ANY . -m 'coq-math-classes >= 8.15.0-3+b2' nmu coq-extructures_0.3.1-2+b2 . ANY . -m 'Rebuild because of upload of ssreflect=1.15.0-1+b2 coq-deriving=0.1.0-1+b3 coq=8.16.1-1' dw coq-extructures_0.3.1-2+b2 . ANY . -m 'ssreflect >= 1.15.0-1+b2' dw coq-extructures_0.3.1-2+b2 . ANY . -m 'coq-deriving >= 0.1.0-1+b3' dw coq-extructures_0.3.1-2+b2 . ANY . -m 'coq >= 8.16.1-1' nmu coq-interval_4.6.0-1+b1 . ANY . -m 'Rebuild because of upload of coquelicot=3.2.0-7+b2 ssreflect=1.15.0-1+b2 coq=8.16.1-1 coq- bignums=8.16.0-1+b1 flocq=4.1.0-2+b2' dw coq-interval_4.6.0-1+b1 . ANY . -m 'coquelicot >= 3.2.0-7+b2' dw coq-interval_4.6.0-1+b1 . ANY . -m 'ssreflect >= 1.15.0-1+b2' dw coq-interval_4.6.0-1+b1 . ANY . -m 'coq >= 8.16.1-1' dw coq-interval_4.6.0-1+b1 . ANY . -m 'coq-bignums >= 8.16.0-1+b1' dw coq-interval_4.6.0-1+b1 . ANY . -m 'flocq >= 4.1.0-2+b2' nmu coq-quickchick_1.6.4-2+b2 . ANY . -m 'Rebuild because of upload of ssreflect=1.15.0-1+b2 coq-simple-io=1.8.0-1+b1 coq=8.16.1-1 coq-ext- lib=0.11.7-1+b2' dw coq-quickchick_1.6.4-2+b2 . ANY . -m 'ssreflect >= 1.15.0-1+b2' dw coq-quickchick_1.6.4-2+b2 . ANY . -m 'coq-simple-io >= 1.8.0-1+b1' dw coq-quickchick_1.6.4-2+b2 . ANY . -m 'coq >= 8.16.1-1' dw coq-quickchick_1.6.4-2+b2 . ANY . -m 'coq-ext-lib >= 0.11.7-1+b2' nmu mathcomp-algebra-tactics_1.0.0-8+b3 . ANY . -m 'Rebuild because of upload of coq-elpi=1.16.0-1+b1 ssreflect=1.15.0-1+b2 mathcomp- zify=1.2.0+1.12+8.13-6+b2 coq=8.16.1-1' dw mathcomp-algebra-tactics_1.0.0-8+b3 . ANY . -m 'coq-elpi >= 1.16.0- 1+b1' dw mathcomp-algebra-tactics_1.0.0-8+b3 . ANY . -m 'ssreflect >= 1.15.0-1+b2' dw mathcomp-algebra-tactics_1.0.0-8+b3 . ANY . -m 'mathcomp-zify >= 1.2.0+1.12+8.13-6+b2' dw mathcomp-algebra-tactics_1.0.0-8+b3 . ANY . -m 'coq >= 8.16.1-1' nmu mathcomp-analysis_0.5.4-3+b3 . ANY . -m 'Rebuild because of upload of ssreflect=1.15.0-1+b2 mathcomp-bigenough=1.0.1-8+b2 coq=8.16.1-1 coq-elpi=1.16.0-1+b1 mathcomp-finmap=1.5.2-1+b2 coq-hierarchy- builder=1.4.0-2+b3' dw mathcomp-analysis_0.5.4-3+b3 . ANY . -m 'ssreflect >= 1.15.0-1+b2' dw mathcomp-analysis_0.5.4-3+b3 . ANY . -m 'mathcomp-bigenough >= 1.0.1-8+b2' dw mathcomp-analysis_0.5.4-3+b3 . ANY . -m 'coq >= 8.16.1-1' dw mathcomp-analysis_0.5.4-3+b3 . ANY . -m 'coq-elpi >= 1.16.0-1+b1' dw mathcomp-analysis_0.5.4-3+b3 . ANY . -m 'mathcomp-finmap >= 1.5.2- 1+b2' dw mathcomp-analysis_0.5.4-3+b3 . ANY . -m 'coq-hierarchy-builder >= 1.4.0-2+b3' nmu mathcomp-multinomials_1.5.5-8+b3 . ANY . -m 'Rebuild because of upload of ssreflect=1.15.0-1+b2 mathcomp-finmap=1.5.2-1+b2 mathcomp- bigenough=1.0.1-8+b2 coq=8.16.1-1' dw mathcomp-multinomials_1.5.5-8+b3 . ANY . -m 'ssreflect >= 1.15.0- 1+b2' dw mathcomp-multinomials_1.5.5-8+b3 . ANY . -m 'mathcomp-finmap >= 1.5.2-1+b2' dw mathcomp-multinomials_1.5.5-8+b3 . ANY . -m 'mathcomp-bigenough >= 1.0.1-8+b2' dw mathcomp-multinomials_1.5.5-8+b3 . ANY . -m 'coq >= 8.16.1-1' nmu mathcomp-real-closed_1.1.3-1+b2 . ANY . -m 'Rebuild because of upload of ssreflect=1.15.0-1+b2 mathcomp-bigenough=1.0.1-8+b2 coq=8.16.1-1' dw mathcomp-real-closed_1.1.3-1+b2 . ANY . -m 'ssreflect >= 1.15.0- 1+b2' dw mathcomp-real-closed_1.1.3-1+b2 . ANY . -m 'mathcomp-bigenough >= 1.0.1-8+b2' dw mathcomp-real-closed_1.1.3-1+b2 . ANY . -m 'coq >= 8.16.1-1' nmu coqeal_1.1.1-2+b1 . ANY . -m 'Rebuild because of upload of mathcomp-multinomials=1.5.5-8+b3 ssreflect=1.15.0-1+b2 coq=8.16.1-1 mathcomp-real-closed=1.1.3-1+b2 coq-bignums=8.16.0-1+b1 paramcoq=1.1.3+coq8.16-2+b1' dw coqeal_1.1.1-2+b1 . ANY . -m 'mathcomp-multinomials >= 1.5.5-8+b3' dw coqeal_1.1.1-2+b1 . ANY . -m 'ssreflect >= 1.15.0-1+b2' dw coqeal_1.1.1-2+b1 . ANY . -m 'coq >= 8.16.1-1' dw coqeal_1.1.1-2+b1 . ANY . -m 'mathcomp-real-closed >= 1.1.3-1+b2' dw coqeal_1.1.1-2+b1 . ANY . -m 'coq-bignums >= 8.16.0-1+b1' dw coqeal_1.1.1-2+b1 . ANY . -m 'paramcoq >= 1.1.3+coq8.16-2+b1' nmu mathcomp-abel_1.2.1-1+b3 . ANY . -m 'Rebuild because of upload of ssreflect=1.15.0-1+b2 coq=8.16.1-1 mathcomp-real-closed=1.1.3-1+b2' dw mathcomp-abel_1.2.1-1+b3 . ANY . -m 'ssreflect >= 1.15.0-1+b2' dw mathcomp-abel_1.2.1-1+b3 . ANY . -m 'coq >= 8.16.1-1' dw mathcomp-abel_1.2.1-1+b3 . ANY . -m 'mathcomp-real-closed >= 1.1.3- 1+b2'
