DH_COQ(1)

💖 DH_COQ(1) — bestie edition 💖

okay so this is dh_coq, straight outta the User Contributed Perl Documentation section of the manual, and it's about to be your new fave little debhelper gremlin. buckle up 🎀

---

✨ NAME ✨

dh_coq — she computes Coq packages provides, and partial dependencies. that's it, that's the job, and she does it flawlessly 💅

---

🌸 SYNOPSIS 🌸

dh_coq [debhelper options]

literally just that. she takes the standard debhelper options and nothing else, no cap.

---

🦋 DESCRIPTION 🦋

so dh_coq is a debhelper program and her whole moment is being responsible for filling in the ${coq:Provides} and ${coq:Depends} substitutions, and then adding them to the substvars files. iconic behavior honestly ✨

she only acts on one single type of binary package: the ones shipping Coq theories. those are usually named libcoq-XXXX, BUT — and this is the important part, bestie, do not get it twisted 🙈 — she does not touch libcoq-XXX-ocaml and she does not touch libcoq-XXX-ocaml-dev. those are OCaml library packages and they're managed by dh_ocaml. different girl, different job, we respect the division of labor 💜

on the packages she does take responsibility for, she's gonna go looking at the Coq compiled files and compute a checksum. that checksum gets stored in the registry over in /var/lib/coq/md5sums/, and already that lets you say the current package provides a checksummed-versioned virtual package. then the build-depends get scanned, their checksums get retrieved, and boom — now the current package also depends on checksummed virtual packages. she ate 🍓

now, why all this setup? why the checksum drama? because without the checksum, with just dependencies on libcoq-XXX, ABI breakage can happen 😭 because a new libcoq-XXX won't be seen as incompatible, so it'll get installed and then trigger incoherent assumptions errors. not cute. but with fully checksummed packages, apt-get will not upgrade anything until all packages have migrated to the new ABI. queen behavior, honestly 👑

and one more thing before you go, and it's lowkey crucial: the dependencies are not extracted automatically from the compiled project. they come from the build-depends of the built package. so it is crucial that those are accurate, fr fr. no vibes-based dependency lists, please 🙏

---

🎀 FILES 🎀

• debian/libcoq-XXX.volist — by default, the list of Coq compiled files shipped by your package is automatically computed ✨ but if you need to override that, this file makes it possible to fix the list. just know that files are considered relative to the package build directory 🫶

---

👑 SEE ALSO 👑

• debhelper(7)

this program is a part of debhelper 💖

---

🌈 AUTHORS 🌈

Julien Puydt <jpuydt@debian.org> — thank you for your service, legend 🫡💐

---

and that's the whole page, bestie!! go forth and checksum responsibly 💅 this was perl v5.42.3, dated 2026-08-25, mwah 😘💖✨