Package: release.debian.org Severity: normal User: release.debian....@packages.debian.org Usertags: transition X-Debbugs-Cc: jpu...@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
