Dh-coq is a tool to help maintain Coq-related Debian packages. It computes checksums to tighten dependencies between them.

Coq is a proof assistant for higher-order logic.