Bug#1016923: transition: mathcomp-finmap

[julien.puydt@gmail.com]

Package: release.debian.org
Severity: normal
User: release.debian.org@packages.debian.org
Usertags: transition
X-Debbugs-Cc: jpuydt@debian.org

Hi,

I would like to upload src:mathcomp-finmap 1.5.2-1 to unstable ; that
means a few other packages will need a recompilation or they'll be
uninstallable -- I checked just recompiling in the right order is
enough.

My experimental wanna-build script for such cases expresses it as:

 nmu mathcomp-analysis_0.5.2-2 . ANY . -m 'Rebuild due to new mathcomp-
finmap 1.5.2-1'
 dw mathcomp-analysis_0.5.2-2 . ANY . -m 'mathcomp-finmap => 1.5.2-1'
 nmu mathcomp-multinomials_1.5.5-8 . ANY . -m 'Rebuild due to new
mathcomp-finmap 1.5.2-1'
 dw mathcomp-multinomials_1.5.5-8 . ANY . -m 'mathcomp-finmap => 1.5.2-
1'
 nmu coqeal_1.1.1-1 . ANY . -m 'Rebuild due to new mathcomp-finmap
1.5.2-1'
 dw coqeal_1.1.1-1 . ANY . -m 'mathcomp-multinomials => 1.5.5-8+b1'


There's also: https://release.debian.org/transitions/html/coq.html
which might be helpful.

The src:package is signed and ready for dput, just waiting for your
ack.

Cheers,

J.Puydt