Manpages of coq-serapi in Debian unstable