Manpages of coqide in Debian wheezy