[continued from previous message]

dpkg-source: error: cannot represent change to iris/si_logic/siprop.vo: binary file contents changed
dpkg-source: error: add iris/si_logic/siprop.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 'iris/si_logic/siprop.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/si_logic/siprop.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_deprecated/base_logic/auth.vo: binary file contents changed
dpkg-source: error: add iris_deprecated/base_logic/auth.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 'iris_deprecated/base_logic/auth.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_deprecated/base_logic/auth.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_deprecated/base_logic/sts.vo: binary file contents changed
dpkg-source: error: add iris_deprecated/base_logic/sts.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 'iris_deprecated/base_logic/sts.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_deprecated/base_logic/sts.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_deprecated/base_logic/viewshifts.vo: binary file contents changed
dpkg-source: error: add iris_deprecated/base_logic/viewshifts.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 'iris_deprecated/base_logic/viewshifts.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_deprecated/base_logic/viewshifts.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_deprecated/program_logic/hoare.vo: binary file contents changed
dpkg-source: error: add iris_deprecated/program_logic/hoare.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 'iris_deprecated/program_logic/hoare.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_deprecated/program_logic/hoare.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/adequacy.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/adequacy.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 'iris_heap_lang/adequacy.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/adequacy.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/class_instances.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/class_instances.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 'iris_heap_lang/class_instances.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/class_instances.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/derived_laws.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/derived_laws.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 'iris_heap_lang/derived_laws.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/derived_laws.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/lang.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/lang.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 'iris_heap_lang/lang.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/lang.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/lib/arith.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/lib/arith.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 'iris_heap_lang/lib/arith.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/lib/arith.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/lib/array.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/lib/array.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 'iris_heap_lang/lib/array.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/lib/array.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/lib/assert.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/lib/assert.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 'iris_heap_lang/lib/assert.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/lib/assert.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/lib/atomic_heap.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/lib/atomic_heap.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 'iris_heap_lang/lib/atomic_heap.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/lib/atomic_heap.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/lib/clairvoyant_coin.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/lib/clairvoyant_coin.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 'iris_heap_lang/lib/clairvoyant_coin.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/lib/clairvoyant_coin.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/lib/counter.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/lib/counter.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 'iris_heap_lang/lib/counter.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/lib/counter.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/lib/diverge.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/lib/diverge.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 'iris_heap_lang/lib/diverge.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/lib/diverge.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/lib/increment.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/lib/increment.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 'iris_heap_lang/lib/increment.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/lib/increment.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/lib/lazy_coin.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/lib/lazy_coin.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 'iris_heap_lang/lib/lazy_coin.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/lib/lazy_coin.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/lib/lock.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/lib/lock.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 'iris_heap_lang/lib/lock.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/lib/lock.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/lib/logatom_lock.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/lib/logatom_lock.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 'iris_heap_lang/lib/logatom_lock.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/lib/logatom_lock.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/lib/nondet_bool.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/lib/nondet_bool.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 'iris_heap_lang/lib/nondet_bool.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/lib/nondet_bool.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/lib/par.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/lib/par.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 'iris_heap_lang/lib/par.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/lib/par.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/lib/spawn.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/lib/spawn.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 'iris_heap_lang/lib/spawn.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/lib/spawn.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/lib/spin_lock.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/lib/spin_lock.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 'iris_heap_lang/lib/spin_lock.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/lib/spin_lock.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/lib/ticket_lock.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/lib/ticket_lock.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 'iris_heap_lang/lib/ticket_lock.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/lib/ticket_lock.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/locations.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/locations.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 'iris_heap_lang/locations.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/locations.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/metatheory.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/metatheory.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 'iris_heap_lang/metatheory.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/metatheory.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/notation.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/notation.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 'iris_heap_lang/notation.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/notation.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/pretty.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/pretty.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 'iris_heap_lang/pretty.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/pretty.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/primitive_laws.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/primitive_laws.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 'iris_heap_lang/primitive_laws.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/primitive_laws.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/proofmode.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/proofmode.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 'iris_heap_lang/proofmode.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/proofmode.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/proph_erasure.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/proph_erasure.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 'iris_heap_lang/proph_erasure.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/proph_erasure.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/tactics.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/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 'iris_heap_lang/tactics.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/tactics.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_heap_lang/total_adequacy.vo: binary file contents changed
dpkg-source: error: add iris_heap_lang/total_adequacy.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 'iris_heap_lang/total_adequacy.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_heap_lang/total_adequacy.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_unstable/algebra/list.vo: binary file contents changed
dpkg-source: error: add iris_unstable/algebra/list.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 'iris_unstable/algebra/list.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_unstable/algebra/list.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_unstable/algebra/monotone.vo: binary file contents changed
dpkg-source: error: add iris_unstable/algebra/monotone.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 'iris_unstable/algebra/monotone.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_unstable/algebra/monotone.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_unstable/base_logic/algebra.vo: binary file contents changed
dpkg-source: error: add iris_unstable/base_logic/algebra.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 'iris_unstable/base_logic/algebra.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_unstable/base_logic/algebra.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_unstable/base_logic/mono_list.vo: binary file contents changed
dpkg-source: error: add iris_unstable/base_logic/mono_list.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 'iris_unstable/base_logic/mono_list.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_unstable/base_logic/mono_list.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris_unstable/heap_lang/interpreter.vo: binary file contents changed
dpkg-source: error: add iris_unstable/heap_lang/interpreter.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 'iris_unstable/heap_lang/interpreter.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris_unstable/heap_lang/interpreter.vos' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/algebra.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/atomic.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/bi.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/bi_ascii_parsing.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/heap_lang.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/heap_lang_interpreter.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/heap_lang_printing.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/heap_lang_printing2.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/heap_lang_proph.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/heapprop.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/ipm_paper.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/iprop.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/iris_notation.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/later_credits_paper.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/list_reverse.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/mosel_paper.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/one_shot.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/one_shot_once.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/proofmode.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/proofmode_ascii.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/proofmode_iris.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/proofmode_monpred.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/proofmode_siprop.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/siprop.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/string_ident.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/telescopes.vo' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/tree_sum.vo' will not be represented in diff
dpkg-source: error: cannot represent change to tex/iris.pdf: binary file contents changed
dpkg-source: error: add tex/iris.pdf in debian/source/include-binaries if you want to store the modified binary in the debian tarball
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-iris_4.0.0-4_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)