Man pages matching name dh_coq in section 1:

dh_coq.1.en

debian 12 / dh-coq