Bug#1024876: transition: coq 8.16.1
Control: tags -1 confirmed
Hi Julien
On 2022-11-27 12:06:07 +0100, julien.puydt@gmail.com wrote:
> Package: release.debian.org
> Severity: normal
> User: release.debian.org@packages.debian.org
> Usertags: transition
> X-Debbugs-Cc: jpuydt@debian.org
> X-Debbugs-Cc: Debian OCaml Maintainers
> <debian-ocaml-maint@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 to: