Manpages of libcoq-ocaml-dev in Debian testing