Manpages of coqide in Debian experimental