Run of lintian-fixes for coq

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

debcheckout coq
cd coq
lintian-brush
25079
25080
25081
25082
25083
25084
25085
25086
25087
25088
25089
25090
25091
25092
25093
find debian/tmp -name '.coq-native' -printf '%P\n' \
  >> debian/coq-theories.install
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   debian/rules override_dh_install
make[1]: Entering directory '/<<PKGBUILDDIR>>'
chmod +x debian/coq.install
dh_install
Can't exec "/<<PKGBUILDDIR>>/debian/coq.install": No such file or directory at /usr/share/perl5/Debian/Debhelper/Dh_Lib.pm line 1392.
dh_install: cannot run debian/coq.install: No such file or directory
make[1]: *** [debian/rules:108: override_dh_install] Error 255
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
make: *** [debian/rules:47: binary] Error 2
dpkg-buildpackage: error: fakeroot debian/rules binary subprocess returned exit status 2
--------------------------------------------------------------------------------
Build finished at 2019-08-21T05:44:20Z

Summary

Full worker log Full build log