---
name: "coq-wanna-build"
section: "1"
platform: "linux"
package: "debian-coq-tools"
version: "0.14"
release: "Debian 13 (Trixie)"
platforms: ["linux"]
url: "https://new.carta.tech/coq-wanna-build"
---

# coq-wanna-build(1)

compute dak script for a transition

## NAME

coq-wanna-build - compute dak script for a transition

## SYNOPSIS

**coq-wanna-build** srcpkg1 debversion1 ... srcpkgN debversionN

## DESCRIPTION

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.

## EXAMPLES

coq-wanna-build coq 3.14-159 ssreflect 2.71-828

## AUTHORS

Julien Puydt \<jpuydt@debian.org\>