coq-wanna-build(1) | General Commands Manual | coq-wanna-build(1) |
coq-wanna-build - compute dak script for a transition
coq-wanna-build srcpkg1 debversion1 ... srcpkgN debversionN
This script is used after the planning phase of a transition, when it's time to file a transition bug report with a dak script to explain how things will happen: the arguments are the source packages to upload followed by their new Debian version, all space-separated.
It outputs the dak script.
coq-wanna-build coq 3.14-159 ssreflect 2.71-828
Julien Puydt <jpuydt@debian.org>