Bug#1024876: transition: coq 8.16.1

To: submit@bugs.debian.org
Subject: Bug#1024876: transition: coq 8.16.1
From: julien.puydt@gmail.com
Date: Sun, 27 Nov 2022 12:06:07 +0100
Message-id: <[🔎] 2ef0bb505a18a239f80c13d029f06534ac6cba49.camel@gmail.com>
Reply-to: julien.puydt@gmail.com, 1024876@bugs.debian.org
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.

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'
Reply to:
Follow-Ups:
- Processed: Re: Bug#1024876: transition: coq 8.16.1
  - From: "Debian Bug Tracking System" <owner@bugs.debian.org>
- Bug#1024876: transition: coq 8.16.1
  - From: Sebastian Ramacher <sramacher@debian.org>
Prev by Date: Re: Help understanding why a package isn't migrating
Next by Date: Bug#1018945: marked as done (transition: libbpf)
Previous by thread: Bug#1024850: bullseye-pu: package spf-engine/2.9.2-1
Next by thread: Processed: Re: Bug#1024876: transition: coq 8.16.1
Index(es):
- Date
- Thread