Control: tags -1 confirmed

Hi Julien

On 2022-11-27 12:06:07 +0100, julien.pu...@gmail.com wrote:
> 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.

Please go ahead

Cheers

> 
> 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'
> 

-- 
Sebastian Ramacher

Reply via email to