DOKK / manpages / debian 12 / debian-coq-tools / coq-wanna-build.1.en
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>