[continued from previous message]

dpkg-source: warning: newly created empty file 'theories/tactics/CompoundTactics.vos' will not be represented in diff
dpkg-source: error: cannot represent change to theories/tactics/ConstrSelector.vo: binary file contents changed
dpkg-source: error: add theories/tactics/ConstrSelector.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'theories/tactics/ConstrSelector.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'theories/tactics/ConstrSelector.vos' will not be represented in diff
dpkg-source: error: cannot represent change to theories/tactics/ImportedTactics.vo: binary file contents changed
dpkg-source: error: add theories/tactics/ImportedTactics.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'theories/tactics/ImportedTactics.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'theories/tactics/ImportedTactics.vos' will not be represented in diff
dpkg-source: error: cannot represent change to theories/tactics/IntroPatt.vo: binary file contents changed
dpkg-source: error: add theories/tactics/IntroPatt.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'theories/tactics/IntroPatt.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'theories/tactics/IntroPatt.vos' will not be represented in diff
dpkg-source: error: cannot represent change to theories/tactics/Tactics.vo: binary file contents changed
dpkg-source: error: add theories/tactics/Tactics.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'theories/tactics/Tactics.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'theories/tactics/Tactics.vos' will not be represented in diff
dpkg-source: error: cannot represent change to theories/tactics/TacticsBase.vo: binary file contents changed
dpkg-source: error: add theories/tactics/TacticsBase.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'theories/tactics/TacticsBase.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'theories/tactics/TacticsBase.vos' will not be represented in diff
dpkg-source: error: cannot represent change to theories/tactics/Ttactics.vo: binary file contents changed
dpkg-source: error: add theories/tactics/Ttactics.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'theories/tactics/Ttactics.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'theories/tactics/Ttactics.vos' will not be represented in diff
dpkg-source: error: unrepresentable changes to source
dpkg-buildpackage: error: dpkg-source -b . subprocess returned exit status 1

E: Command 'cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env -us -uc -rfakeroot -S' failed to run.

The full build log is available from: http://qa-logs.debian.net/2023/08/13/coq-mtac2_1.4+8.17-1_unstable.log

If you reassign this bug to another package, please mark it as 'affects'-ing this package. See https://www.debian.org/Bugs/server-control#affects

If you fail to reproduce this, please provide a build log and diff it with mine so that we can identify if something relevant changed in the meantime.

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)