dh_coq(1) on Linux

The text e31fa68a4032, as Debian 12 (Bookworm) shipped it.

computes Coq packages provides, and partial dependencies

dh_coq(1) on Linux now