Run of lintian-fixes for coq

Try this locally (using the lintian-brush package):

debcheckout coq
cd coq
lintian-brush

Merge these changes:

git pull https://janitor.debian.net/git/coq lintian-fixes/main

Summary

Full worker log Full build log