Bug#1100416: transition: coq-elpi, coq-quickchick, coq-simple-io and coqeal
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-elpi, coq-quickchick, coq-simple-io and
coqeal are out ; they require rebuilding all depending packages (see
below).
I'm waiting for the "go!" signal to upload the new packages.
Cheers,
J.Puydt
PS: running "coq-wanna-build coq-elpi 2.5.0-1 coq-quickchick 2.1.0-1
coqeal 2.1.0-1 coq-simple-io 1.11.0-1"
gives the following transition script:
nmu coq-hierarchy-builder_1.8.1-1+b1 . ANY . -m 'Rebuild because of
upload of coq-elpi=2.5.0-1'
dw coq-hierarchy-builder_1.8.1-1+b1 . ANY . -m 'coq-elpi >= 2.5.0-1'
nmu coq-corn_8.20.0-1+b2 . ANY . -m 'Rebuild because of upload of coq-
elpi=2.5.0-1'
dw coq-corn_8.20.0-1+b2 . ANY . -m 'coq-elpi >= 2.5.0-1'
nmu ssreflect_2.3.0-1+b6 . ANY . -m 'Rebuild because of upload of coq-
hierarchy-builder=1.8.1-1+b1'
dw ssreflect_2.3.0-1+b6 . ANY . -m 'coq-hierarchy-builder >= 1.8.1-
1+b1'
dw coq-quickchick_2.1.0-1 . ANY . -m 'ssreflect >= 2.3.0-1+b6'
dw coq-quickchick_2.1.0-1 . ANY . -m 'coq-simple-io >= 1.11.0-1'
nmu coq-deriving_0.2.1-1+b6 . ANY . -m 'Rebuild because of upload of
ssreflect=2.3.0-1+b6'
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
ssreflect=2.3.0-1+b6'
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 ssreflect=2.3.0-1+b6'
dw coq-relation-algebra_1.7.11-1+b6 . ANY . -m 'ssreflect >= 2.3.0-
1+b6'
nmu coquelicot_3.4.3-1+b2 . ANY . -m 'Rebuild because of upload of
ssreflect=2.3.0-1+b6'
dw coquelicot_3.4.3-1+b2 . ANY . -m 'ssreflect >= 2.3.0-1+b6'
nmu mathcomp-bigenough_1.0.2-1+b2 . ANY . -m 'Rebuild because of
upload of ssreflect=2.3.0-1+b6'
dw mathcomp-bigenough_1.0.2-1+b2 . ANY . -m 'ssreflect >= 2.3.0-1+b6'
nmu mathcomp-finmap_2.1.0-3+b6 . ANY . -m 'Rebuild because of upload
of ssreflect=2.3.0-1+b6'
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 ssreflect=2.3.0-1+b6'
dw mathcomp-zify_1.5.0+2.0+8.16-4+b6 . ANY . -m 'ssreflect >= 2.3.0-
1+b6'
nmu mathcomp-algebra-tactics_1.2.4-1+b3 . ANY . -m 'Rebuild because of
upload of mathcomp-zify=1.5.0+2.0+8.16-4+b6 ssreflect=2.3.0-1+b6 coq-
elpi=2.5.0-1'
dw mathcomp-algebra-tactics_1.2.4-1+b3 . ANY . -m 'mathcomp-zify >=
1.5.0+2.0+8.16-4+b6'
dw mathcomp-algebra-tactics_1.2.4-1+b3 . ANY . -m 'ssreflect >= 2.3.0-
1+b6'
dw mathcomp-algebra-tactics_1.2.4-1+b3 . ANY . -m 'coq-elpi >= 2.5.0-
1'
nmu mathcomp-analysis_1.9.0-1+b1 . ANY . -m 'Rebuild because of upload
of coq-elpi=2.5.0-1 coq-hierarchy-builder=1.8.1-1+b1 ssreflect=2.3.0-
1+b6 mathcomp-finmap=2.1.0-3+b6 mathcomp-bigenough=1.0.2-1+b2'
dw mathcomp-analysis_1.9.0-1+b1 . ANY . -m 'coq-elpi >= 2.5.0-1'
dw mathcomp-analysis_1.9.0-1+b1 . ANY . -m 'coq-hierarchy-builder >=
1.8.1-1+b1'
dw mathcomp-analysis_1.9.0-1+b1 . ANY . -m 'ssreflect >= 2.3.0-1+b6'
dw mathcomp-analysis_1.9.0-1+b1 . ANY . -m 'mathcomp-finmap >= 2.1.0-
3+b6'
dw mathcomp-analysis_1.9.0-1+b1 . ANY . -m 'mathcomp-bigenough >=
1.0.2-1+b2'
nmu coq-extructures_0.5.0-1+b6 . ANY . -m 'Rebuild because of upload
of ssreflect=2.3.0-1+b6 coq-deriving=0.2.1-1+b6'
dw coq-extructures_0.5.0-1+b6 . ANY . -m 'ssreflect >= 2.3.0-1+b6'
dw coq-extructures_0.5.0-1+b6 . ANY . -m 'coq-deriving >= 0.2.1-1+b6'
nmu coq-interval_4.11.1-1+b8 . ANY . -m 'Rebuild because of upload of
ssreflect=2.3.0-1+b6 coquelicot=3.4.3-1+b2'
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+b2'
nmu mathcomp-multinomials_2.3.0-1+b6 . ANY . -m 'Rebuild because of
upload of ssreflect=2.3.0-1+b6 mathcomp-finmap=2.1.0-3+b6 mathcomp-
bigenough=1.0.2-1+b2'
dw mathcomp-multinomials_2.3.0-1+b6 . ANY . -m '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 'mathcomp-bigenough >=
1.0.2-1+b2'
nmu mathcomp-real-closed_2.0.2-1+b6 . ANY . -m 'Rebuild because of
upload of ssreflect=2.3.0-1+b6 mathcomp-bigenough=1.0.2-1+b2'
dw mathcomp-real-closed_2.0.2-1+b6 . ANY . -m 'ssreflect >= 2.3.0-
1+b6'
dw mathcomp-real-closed_2.0.2-1+b6 . ANY . -m 'mathcomp-bigenough >=
1.0.2-1+b2'
dw coqeal_2.1.0-1 . ANY . -m 'ssreflect >= 2.3.0-1+b6'
dw coqeal_2.1.0-1 . ANY . -m 'mathcomp-real-closed >= 2.0.2-1+b6'
Reply to: