coq-planif-transition(1)

📦
version 0.17 · 2 versions
  • 0.17 · debian trixie, ubuntu noble, ubuntu questing, ubuntu resolute, ubuntu stonking (latest)
  • 0.5 · debian bookworm
, in debian trixie, ubuntu noble, ubuntu questing, ubuntu resolute, ubuntu stonking

💖 coq-planif-transition 💖

okay bestie, gather round — this is coq-planif-transition, a page straight outta the General Commands Manual, and it's about planification of a transition. yes that's the real name. it's giving very "i have a spreadsheet and i'm not afraid to use it" energy and honestly? iconic. 🎀

✨ NAME ✨

coq-planif-transition — planification of a transition, fr fr 🦋

🌸 SYNOPSIS 🌸

coq-planif-transition [--org-mode] srcpkg1 ... srcpkgN

💅 DESCRIPTION 💅

so here's the vibe: this script is your girl for when new versions of Coq packages get released and you need to check that everything is still okay with the rest of the stack. like, nothing broke, nothing caught fire, the whole tower of packages is still standing. 🔥

you're supposed to call it with a space-separated list of packages that have a new version. the result is generally several lines of space-separated package names, and those names are exactly what needs to be rebuilt. and here's the cute part — packages on the same line can be compiled at the same time. parallel besties. periodt. 👑

  • --org-mode — to make this planning of package compilation and testing easier, this option gives an output suitable for insertion in an Emacs org-mode file. 🧚

and if you use sbuild to compile the packages, with sbuild configured with a local repo, you can then put the packages in the repo step by step and check that the new versions don't break anything. slow and steady, main character energy. 🌈

ngl bestie, the whole point is checking that the new versions don't break anything — so don't skip the checking part. that's the assignment. 😭

🍓 EXAMPLES 🍓

coq-planif-transition ssreflect coq-stdpp

like. two packages. space-separated. look at her go. ⭐

👑 AUTHORS 👑

Julien Puydt <jpuydt@debian.org> — thank you for this, we are obsessed 🫶

💜 SEE ALSO 💜

(nothing here, bestie — this page is a one-woman show 💀)

and that's the whole thing! courtesy of the General Commands Manual and the coq-planif-transition(1) page itself — no version or date on the tin, just vibes. slay, stay hydrated, and may your rebuild order always be topologically correct. 💖✨🎀

📦 where this page comes from