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, and updating some of them (see below). I'm waiting for the "go!" signal to upload the new packages. Cheers, J.Puydt PS: the upgrade path: dw flocq_4.2.1-1 . ANY . -m 'coq >= 8.20.1-1' dw coq-elpi_2.4.0-1 . ANY . -m 'coq >= 8.20.1-1' dw coq-elpi_2.4.0-1 . ANY . -m 'elpi >= 2.0.7-1' dw coq-hott_9.0-1 . ANY . -m 'coq >= 8.20.1-1' nmu aac-tactics_8.20.0-1+b4 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1' dw aac-tactics_8.20.0-1+b4 . ANY . -m 'coq >= 8.20.1-1' nmu coq-bignums_9.0.0+coq8.20-1+b9 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1' dw coq-bignums_9.0.0+coq8.20-1+b9 . ANY . -m 'coq >= 8.20.1-1' nmu coq-dpdgraph_1.0+8.20-1+b3 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1' dw coq-dpdgraph_1.0+8.20-1+b3 . ANY . -m 'coq >= 8.20.1-1' nmu coq-ext-lib_0.13.0-1+b4 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1' dw coq-ext-lib_0.13.0-1+b4 . ANY . -m 'coq >= 8.20.1-1' nmu coq-hammer_1.3.2+8.20-1+b4 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1' dw coq-hammer_1.3.2+8.20-1+b4 . ANY . -m 'coq >= 8.20.1-1' nmu coq-libhyps_2.0.8-4+b8 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1' dw coq-libhyps_2.0.8-4+b8 . ANY . -m 'coq >= 8.20.1-1' nmu coq-menhirlib_20240715+ds-1+b6 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1' dw coq-menhirlib_20240715+ds-1+b6 . ANY . -m 'coq >= 8.20.1-1' nmu coq-record-update_0.3.4-4+b4 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1' dw coq-record-update_0.3.4-4+b4 . ANY . -m 'coq >= 8.20.1-1' nmu coq-reduction-effects_0.1.5-5+b8 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1' dw coq-reduction-effects_0.1.5-5+b8 . ANY . -m 'coq >= 8.20.1-1' nmu coq-stdpp_1.11.0-1+b6 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1' dw coq-stdpp_1.11.0-1+b6 . ANY . -m 'coq >= 8.20.1-1' nmu coq-unicoq_1.6-8.20-1+b4 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1' dw coq-unicoq_1.6-8.20-1+b4 . ANY . -m 'coq >= 8.20.1-1' nmu coq-unimath_20240923-2+b4 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1' dw coq-unimath_20240923-2+b4 . ANY . -m 'coq >= 8.20.1-1' nmu ott_0.34+ds-1+b4 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1' dw ott_0.34+ds-1+b4 . ANY . -m 'coq >= 8.20.1-1' nmu paramcoq_1.1.3+coq8.20-1+b4 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1' dw paramcoq_1.1.3+coq8.20-1+b4 . ANY . -m 'coq >= 8.20.1-1' nmu coq-serapi_8.20.0+0.20.0-1+b4 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1' dw coq-serapi_8.20.0+0.20.0-1+b4 . ANY . -m 'coq >= 8.20.1-1' dw coq-hierarchy-builder_1.8.1-1 . ANY . -m 'coq >= 8.20.1-1' dw coq-hierarchy-builder_1.8.1-1 . ANY . -m 'coq-elpi >= 2.4.0-1' nmu coq-equations_1.3.1-8.20-1+b4 . ANY . -m 'Rebuild because of upload of coq-hott=9.0-1 coq=8.20.1-1' dw coq-equations_1.3.1-8.20-1+b4 . ANY . -m 'coq-hott >= 9.0-1' dw coq-equations_1.3.1-8.20-1+b4 . ANY . -m 'coq >= 8.20.1-1' nmu coq-gappa_1.6.0-1+b4 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1 flocq=4.2.1-1' dw coq-gappa_1.6.0-1+b4 . ANY . -m 'coq >= 8.20.1-1' dw coq-gappa_1.6.0-1+b4 . ANY . -m 'flocq >= 4.2.1-1' nmu coq-iris_4.3.0-1+b4 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1 coq-stdpp=1.11.0-1+b6' dw coq-iris_4.3.0-1+b4 . ANY . -m 'coq >= 8.20.1-1' dw coq-iris_4.3.0-1+b4 . ANY . -m 'coq-stdpp >= 1.11.0-1+b6' nmu coq-math-classes_8.19.0-1+b11 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1 coq-bignums=9.0.0+coq8.20-1+b9' dw coq-math-classes_8.19.0-1+b11 . ANY . -m 'coq >= 8.20.1-1' dw coq-math-classes_8.19.0-1+b11 . ANY . -m 'coq-bignums >= 9.0.0+coq8.20-1+b9' nmu coq-mtac2_1.4+8.20-1+b4 . ANY . -m 'Rebuild because of upload of coq-unicoq=1.6-8.20-1+b4 coq=8.20.1-1' dw coq-mtac2_1.4+8.20-1+b4 . ANY . -m 'coq-unicoq >= 1.6-8.20-1+b4' dw coq-mtac2_1.4+8.20-1+b4 . ANY . -m 'coq >= 8.20.1-1' nmu coq-simple-io_1.10.0-1+b6 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1 coq-ext-lib=0.13.0-1+b4' dw coq-simple-io_1.10.0-1+b6 . ANY . -m 'coq >= 8.20.1-1' dw coq-simple-io_1.10.0-1+b6 . ANY . -m 'coq-ext-lib >= 0.13.0-1+b4' nmu coqprime_8.20.1-1+b4 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1 coq-bignums=9.0.0+coq8.20-1+b9' dw coqprime_8.20.1-1+b4 . ANY . -m 'coq >= 8.20.1-1' dw coqprime_8.20.1-1+b4 . ANY . -m 'coq-bignums >= 9.0.0+coq8.20-1+b9' dw coq-corn_8.20.0-1 . ANY . -m 'coq >= 8.20.1-1' dw coq-corn_8.20.0-1 . ANY . -m 'coq-bignums >= 9.0.0+coq8.20-1+b9' dw coq-corn_8.20.0-1 . ANY . -m 'coq-math-classes >= 8.19.0-1+b11' dw coq-corn_8.20.0-1 . ANY . -m 'coq-elpi >= 2.4.0-1' nmu ssreflect_2.3.0-1+b6 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1 coq-hierarchy-builder=1.8.1-1' dw ssreflect_2.3.0-1+b6 . ANY . -m 'coq >= 8.20.1-1' dw ssreflect_2.3.0-1+b6 . ANY . -m 'coq-hierarchy-builder >= 1.8.1-1' dw coquelicot_3.4.3-1 . ANY . -m 'coq >= 8.20.1-1' dw coquelicot_3.4.3-1 . ANY . -m 'ssreflect >= 2.3.0-1+b6' dw mathcomp-bigenough_1.0.2-1 . ANY . -m 'coq >= 8.20.1-1' dw mathcomp-bigenough_1.0.2-1 . ANY . -m 'ssreflect >= 2.3.0-1+b6' nmu coq-deriving_0.2.1-1+b6 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1 ssreflect=2.3.0-1+b6' dw coq-deriving_0.2.1-1+b6 . ANY . -m 'coq >= 8.20.1-1' dw coq-deriving_0.2.1-1+b6 . ANY . -m 'ssreflect >= 2.3.0-1+b6' nmu coq-reglang_1.2.1-4+b13 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1 ssreflect=2.3.0-1+b6' dw coq-reglang_1.2.1-4+b13 . ANY . -m 'coq >= 8.20.1-1' dw coq-reglang_1.2.1-4+b13 . ANY . -m 'ssreflect >= 2.3.0-1+b6' nmu coq-relation-algebra_1.7.11-1+b6 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1 aac-tactics=8.20.0-1+b4 ssreflect=2.3.0-1+b6' dw coq-relation-algebra_1.7.11-1+b6 . ANY . -m 'coq >= 8.20.1-1' dw coq-relation-algebra_1.7.11-1+b6 . ANY . -m 'aac-tactics >= 8.20.0- 1+b4' dw coq-relation-algebra_1.7.11-1+b6 . ANY . -m 'ssreflect >= 2.3.0- 1+b6' nmu mathcomp-finmap_2.1.0-3+b6 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1 ssreflect=2.3.0-1+b6' dw mathcomp-finmap_2.1.0-3+b6 . ANY . -m 'coq >= 8.20.1-1' dw mathcomp-finmap_2.1.0-3+b6 . ANY . -m 'ssreflect >= 2.3.0-1+b6' nmu mathcomp-zify_1.5.0+2.0+8.16-4+b6 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1 ssreflect=2.3.0-1+b6' dw mathcomp-zify_1.5.0+2.0+8.16-4+b6 . ANY . -m 'coq >= 8.20.1-1' dw mathcomp-zify_1.5.0+2.0+8.16-4+b6 . ANY . -m 'ssreflect >= 2.3.0- 1+b6' nmu coq-quickchick_2.0.5-1+b7 . ANY . -m 'Rebuild because of upload of coq-simple-io=1.10.0-1+b6 coq=8.20.1-1 coq-ext-lib=0.13.0-1+b4 ssreflect=2.3.0-1+b6' dw coq-quickchick_2.0.5-1+b7 . ANY . -m 'coq-simple-io >= 1.10.0-1+b6' dw coq-quickchick_2.0.5-1+b7 . ANY . -m 'coq >= 8.20.1-1' dw coq-quickchick_2.0.5-1+b7 . ANY . -m 'coq-ext-lib >= 0.13.0-1+b4' dw coq-quickchick_2.0.5-1+b7 . ANY . -m 'ssreflect >= 2.3.0-1+b6' dw mathcomp-algebra-tactics_1.2.4-1 . ANY . -m 'mathcomp-zify >= 1.5.0+2.0+8.16-4+b6' dw mathcomp-algebra-tactics_1.2.4-1 . ANY . -m 'coq >= 8.20.1-1' dw mathcomp-algebra-tactics_1.2.4-1 . ANY . -m 'ssreflect >= 2.3.0- 1+b6' dw mathcomp-algebra-tactics_1.2.4-1 . ANY . -m 'coq-elpi >= 2.4.0-1' nmu coq-extructures_0.5.0-1+b6 . ANY . -m 'Rebuild because of upload of coq-deriving=0.2.1-1+b6 coq=8.20.1-1 ssreflect=2.3.0-1+b6' 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 'coq >= 8.20.1-1' dw coq-extructures_0.5.0-1+b6 . ANY . -m 'ssreflect >= 2.3.0-1+b6' nmu coq-interval_4.11.1-1+b8 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1 ssreflect=2.3.0-1+b6 coquelicot=3.4.3-1 coq- bignums=9.0.0+coq8.20-1+b9 flocq=4.2.1-1' dw coq-interval_4.11.1-1+b8 . ANY . -m 'coq >= 8.20.1-1' dw coq-interval_4.11.1-1+b8 . ANY . -m 'ssreflect >= 2.3.0-1+b6' dw coq-interval_4.11.1-1+b8 . ANY . -m 'coquelicot >= 3.4.3-1' dw coq-interval_4.11.1-1+b8 . ANY . -m 'coq-bignums >= 9.0.0+coq8.20- 1+b9' dw coq-interval_4.11.1-1+b8 . ANY . -m 'flocq >= 4.2.1-1' nmu mathcomp-analysis_1.8.0-1+b5 . ANY . -m 'Rebuild because of upload of mathcomp-finmap=2.1.0-3+b6 coq=8.20.1-1 ssreflect=2.3.0-1+b6 coq- hierarchy-builder=1.8.1-1 mathcomp-bigenough=1.0.2-1 coq-elpi=2.4.0-1' dw mathcomp-analysis_1.8.0-1+b5 . ANY . -m 'mathcomp-finmap >= 2.1.0- 3+b6' dw mathcomp-analysis_1.8.0-1+b5 . ANY . -m 'coq >= 8.20.1-1' dw mathcomp-analysis_1.8.0-1+b5 . ANY . -m 'ssreflect >= 2.3.0-1+b6' dw mathcomp-analysis_1.8.0-1+b5 . ANY . -m 'coq-hierarchy-builder >= 1.8.1-1' dw mathcomp-analysis_1.8.0-1+b5 . ANY . -m 'mathcomp-bigenough >= 1.0.2-1' dw mathcomp-analysis_1.8.0-1+b5 . ANY . -m 'coq-elpi >= 2.4.0-1' nmu mathcomp-multinomials_2.3.0-1+b6 . ANY . -m 'Rebuild because of upload of mathcomp-finmap=2.1.0-3+b6 coq=8.20.1-1 mathcomp- bigenough=1.0.2-1 ssreflect=2.3.0-1+b6' dw mathcomp-multinomials_2.3.0-1+b6 . ANY . -m 'mathcomp-finmap >= 2.1.0-3+b6' dw mathcomp-multinomials_2.3.0-1+b6 . ANY . -m 'coq >= 8.20.1-1' dw mathcomp-multinomials_2.3.0-1+b6 . ANY . -m 'mathcomp-bigenough >= 1.0.2-1' dw mathcomp-multinomials_2.3.0-1+b6 . ANY . -m 'ssreflect >= 2.3.0- 1+b6' nmu mathcomp-real-closed_2.0.2-1+b6 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1 mathcomp-bigenough=1.0.2-1 ssreflect=2.3.0-1+b6' dw mathcomp-real-closed_2.0.2-1+b6 . ANY . -m 'coq >= 8.20.1-1' dw mathcomp-real-closed_2.0.2-1+b6 . ANY . -m 'mathcomp-bigenough >= 1.0.2-1' dw mathcomp-real-closed_2.0.2-1+b6 . ANY . -m 'ssreflect >= 2.3.0- 1+b6' nmu coqeal_2.0.3-1+b6 . ANY . -m 'Rebuild because of upload of coq=8.20.1-1 mathcomp-real-closed=2.0.2-1+b6 ssreflect=2.3.0-1+b6 paramcoq=1.1.3+coq8.20-1+b4 coq-bignums=9.0.0+coq8.20-1+b9' dw coqeal_2.0.3-1+b6 . ANY . -m 'coq >= 8.20.1-1' dw coqeal_2.0.3-1+b6 . ANY . -m 'mathcomp-real-closed >= 2.0.2-1+b6' dw coqeal_2.0.3-1+b6 . ANY . -m 'ssreflect >= 2.3.0-1+b6' dw coqeal_2.0.3-1+b6 . ANY . -m 'paramcoq >= 1.1.3+coq8.20-1+b4' dw coqeal_2.0.3-1+b6 . ANY . -m 'coq-bignums >= 9.0.0+coq8.20-1+b9'
