Package: release.debian.org
Severity: normal
User: release.debian....@packages.debian.org
Usertags: transition
X-Debbugs-CC: debian-ocaml-ma...@lists.debian.org

A new elpi version is out and a few other packages need to be updated.
I checked the whole set of depending packages to update or recompile so
this transition to happen smoothly.

I need a transition slot before I upload anything.

Cheers,

J.Puydt

PS: the relevant transition script is :

 dw coq-elpi_2.3.0-1 . ANY . -m 'elpi >= 2.0.5-1'
 dw coq-hierarchy-builder_1.8.0-1 . ANY . -m 'coq-elpi >= 2.3.0-1'
 dw ssreflect_2.3.0-1 . ANY . -m 'coq-hierarchy-builder >= 1.8.0-1'
 dw coq-deriving_0.2.1-1 . ANY . -m 'ssreflect >= 2.3.0-1'
 dw coq-quickchick_2.0.5-1 . ANY . -m 'ssreflect >= 2.3.0-1'
 nmu coq-reglang_1.2.1-4+b9 . ANY . -m 'Rebuild because of upload of
ssreflect=2.3.0-1'
 dw coq-reglang_1.2.1-4+b9 . ANY . -m 'ssreflect >= 2.3.0-1'
 nmu coq-relation-algebra_1.7.11-1+b2 . ANY . -m 'Rebuild because of
upload of ssreflect=2.3.0-1'
 dw coq-relation-algebra_1.7.11-1+b2 . ANY . -m 'ssreflect >= 2.3.0-1'
 nmu coquelicot_3.4.2-1+b2 . ANY . -m 'Rebuild because of upload of
ssreflect=2.3.0-1'
 dw coquelicot_3.4.2-1+b2 . ANY . -m 'ssreflect >= 2.3.0-1'
 nmu mathcomp-bigenough_1.0.1-14+b8 . ANY . -m 'Rebuild because of
upload of ssreflect=2.3.0-1'
 dw mathcomp-bigenough_1.0.1-14+b8 . ANY . -m 'ssreflect >= 2.3.0-1'
 nmu mathcomp-finmap_2.1.0-3+b2 . ANY . -m 'Rebuild because of upload
of ssreflect=2.3.0-1'
 dw mathcomp-finmap_2.1.0-3+b2 . ANY . -m 'ssreflect >= 2.3.0-1'
 nmu mathcomp-zify_1.5.0+2.0+8.16-4+b2 . ANY . -m 'Rebuild because of
upload of ssreflect=2.3.0-1'
 dw mathcomp-zify_1.5.0+2.0+8.16-4+b2 . ANY . -m 'ssreflect >= 2.3.0-1'
 dw coq-extructures_0.5.0-1 . ANY . -m 'coq-deriving >= 0.2.1-1'
 dw coq-extructures_0.5.0-1 . ANY . -m 'ssreflect >= 2.3.0-1'
 dw mathcomp-multinomials_2.3.0-1 . ANY . -m 'ssreflect >= 2.3.0-1'
 dw mathcomp-multinomials_2.3.0-1 . ANY . -m 'mathcomp-finmap >= 2.1.0-
3+b2'
 dw mathcomp-multinomials_2.3.0-1 . ANY . -m 'mathcomp-bigenough >=
1.0.1-14+b8'
 dw mathcomp-real-closed_2.0.2-1 . ANY . -m 'ssreflect >= 2.3.0-1'
 dw mathcomp-real-closed_2.0.2-1 . ANY . -m 'mathcomp-bigenough >=
1.0.1-14+b8'
 nmu coq-interval_4.11.1-1+b4 . ANY . -m 'Rebuild because of upload of
ssreflect=2.3.0-1 coquelicot=3.4.2-1+b2'
 dw coq-interval_4.11.1-1+b4 . ANY . -m 'ssreflect >= 2.3.0-1'
 dw coq-interval_4.11.1-1+b4 . ANY . -m 'coquelicot >= 3.4.2-1+b2'
 nmu mathcomp-algebra-tactics_1.2.3-4+b9 . ANY . -m 'Rebuild because of
upload of mathcomp-zify=1.5.0+2.0+8.16-4+b2 ssreflect=2.3.0-1 coq-
elpi=2.3.0-1'
 dw mathcomp-algebra-tactics_1.2.3-4+b9 . ANY . -m 'mathcomp-zify >=
1.5.0+2.0+8.16-4+b2'
 dw mathcomp-algebra-tactics_1.2.3-4+b9 . ANY . -m 'ssreflect >= 2.3.0-
1'
 dw mathcomp-algebra-tactics_1.2.3-4+b9 . ANY . -m 'coq-elpi >= 2.3.0-
1'
 nmu mathcomp-analysis_1.7.0-1+b2 . ANY . -m 'Rebuild because of upload
of mathcomp-finmap=2.1.0-3+b2 coq-hierarchy-builder=1.8.0-1
ssreflect=2.3.0-1 mathcomp-bigenough=1.0.1-14+b8 coq-elpi=2.3.0-1'
 dw mathcomp-analysis_1.7.0-1+b2 . ANY . -m 'mathcomp-finmap >= 2.1.0-
3+b2'
 dw mathcomp-analysis_1.7.0-1+b2 . ANY . -m 'coq-hierarchy-builder >=
1.8.0-1'
 dw mathcomp-analysis_1.7.0-1+b2 . ANY . -m 'ssreflect >= 2.3.0-1'
 dw mathcomp-analysis_1.7.0-1+b2 . ANY . -m 'mathcomp-bigenough >=
1.0.1-14+b8'
 dw mathcomp-analysis_1.7.0-1+b2 . ANY . -m 'coq-elpi >= 2.3.0-1'
 dw coqeal_2.0.3-1 . ANY . -m 'ssreflect >= 2.3.0-1'
 dw coqeal_2.0.3-1 . ANY . -m 'mathcomp-real-closed >= 2.0.2-1'

Reply via email to