Hi, I updated the coq-doc package to get it in sync with the coq packages. Could somebody have a look and upload? Thanks, Hendrik PS. Only posting now, because a wrong spamassassin example config in the Debian wiki prevented me from posting to Debian lists.