coq-wanna-build(1)

📦 version 0.17, in debian bookworm, debian trixie, ubuntu noble, ubuntu questing, ubuntu resolute, ubuntu stonking

💖 coq-wanna-build(1) 💖

okay bestie, so this is a page from the General Commands Manual, and it's about a lil tool called coq-wanna-build. she's a shell script and she's here to help you survive transition planning. let's get into it 🎀

✨ NAME ✨

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

✨ SYNOPSIS ✨

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

✨ DESCRIPTION ✨

so here's the vibe: you run this script after the planning phase of a transition, when it's finally time to file a transition bug report. and that bug report needs a dak script to explain how everything's gonna go down, right? that's literally this.

the arguments? they're the source packages you're gonna upload, followed by their new Debian version. pairs, bestie. source package, then version. all of it space-separated — no commas, no fancy formatting, just vibes and spaces 💅

and then... it outputs the dak script. that's it. that's the whole job. iconic behaviour honestly 👑

✨ EXAMPLES ✨

here's what it looks like in the wild, fr fr:

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

see how it's coq with 3.14-159, then ssreflect with 2.71-828? package, version, package, version. slay ✨

✨ AUTHORS ✨

shoutout to Julien Puydt <jpuydt@debian.org> for making this whole thing happen 🫶 king behaviour, no cap.

and that's the whole page! 💜 tiny but mighty, lowkey one of those tools you don't think about until it's transition time and then you're obsessed. go file that bug report, bestie 🦋

oh also — the footer of the original page just repeats coq-wanna-build(1) with no source, version, or date attached, so like… that's all the sign-off we get 😭 still cute though. bye!! 🎀

📦 where this page comes from