Manpages of dh-coq in Debian unstable