debhelper/dh_coq.1
