coq-check-packages(1)

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

💅 coq-check-packages(1) — the manual, bestie edition 🎀

okay so real quick, the vibes: this page lives in the General Commands Manual, and its whole name is coq-check-packages. say it with me now 🫶

✨ NAME ✨

coq-check-packages — check all Coq packages for basic sanity 💖

like... the vibe check, but for packages. no cap.

🦋 SYNOPSIS 🦋

coq-check-packages

that's it. that's the whole thing. no flags, no args, no drama, just the command, standing there, serving looks ✨

🌸 DESCRIPTION 🌸

so here's the tea ☕ — this script is the one you reach for when you're working on Coq packages, and you wanna check that the ABI versioning isn't broken.

that's literally it. one job. it does it. iconic behavior, honestly 💅

bestie, read that again: ABI versioning. not the API, not your fave vibe, the ABI. if it's broken, you wanna know before the whole thing falls apart, and this script is how you find out 👑

👑 AUTHORS 👑

  • Julien Puydt <jpuydt@debian.org> 🌈

shoutout to Julien, fr fr 💜

and that's the page!! no date, no version line, the footer is just coq-check-packages(1) again, keeping it mysterious like a true main character 🧚✨ mwah, go check those packages, bestie 🍓💖

📦 where this page comes from