Manpages of coq in Debian unstable