Bug#1044393: coq-iris: Fails to build source after successful build

[Lucas Nussbaum <lucas@debian.org>]

Source: coq-iris
Version: 4.0.0-4
Severity: minor
Tags: trixie sid ftbfs
User: lucas@debian.org
Usertags: ftbfs-sab-20230813 ftbfs-source-after-build
User: debian-qa@lists.debian.org
Usertags: qa-doublebuild

Hi,

This package fails to build a source package after a successful build
(dpkg-buildpackage ; dpkg-buildpackage -S).

This is probably a clear violation of Debian Policy section 4.9 (clean target),
but this is filed as severity:minor for now, because a discussion on
debian-devel showed that we might want to revisit the requirement of a working
'clean' target.

More information about this class of issues, included common problems and
solutions, is available at
https://wiki.debian.org/qa.debian.org/FTBFS/SourceAfterBuild

Relevant part of the build log:
> cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env -us -uc -rfakeroot -S
> -----------------------------------------------------------------------------------------------------------------------
> 
> dpkg-buildpackage: info: source package coq-iris
> dpkg-buildpackage: info: source version 4.0.0-4
> dpkg-buildpackage: info: source distribution unstable
> dpkg-buildpackage: info: source changed by Julien Puydt <jpuydt@debian.org>
>  dpkg-source --before-build .
>  debian/rules clean
> dh clean --with coq,ocaml
>    debian/rules override_dh_auto_clean
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> # doesn't work like this
> make[1]: Leaving directory '/<<PKGBUILDDIR>>'
>    dh_ocamlclean
>    dh_clean
>  dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building coq-iris using existing ./coq-iris_4.0.0.orig.tar.gz
> dpkg-source: error: cannot represent change to .lia.cache: binary file contents changed
> dpkg-source: error: add .lia.cache in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to iris/algebra/agree.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/agree.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/algebra/agree.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/agree.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/auth.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/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/algebra/auth.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/auth.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/big_op.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/big_op.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/algebra/big_op.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/big_op.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/cmra.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/cmra.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/algebra/cmra.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/cmra.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/cmra_big_op.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/cmra_big_op.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/algebra/cmra_big_op.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/cmra_big_op.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/coPset.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/coPset.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/algebra/coPset.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/coPset.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/cofe_solver.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/cofe_solver.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/algebra/cofe_solver.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/cofe_solver.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/csum.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/csum.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/algebra/csum.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/csum.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/dfrac.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/dfrac.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/algebra/dfrac.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/dfrac.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/dyn_reservation_map.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/dyn_reservation_map.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/algebra/dyn_reservation_map.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/dyn_reservation_map.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/excl.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/excl.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/algebra/excl.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/excl.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/frac.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/frac.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/algebra/frac.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/frac.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/functions.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/functions.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/algebra/functions.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/functions.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/gmap.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/gmap.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/algebra/gmap.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/gmap.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/gmultiset.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/gmultiset.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/algebra/gmultiset.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/gmultiset.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/gset.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/gset.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/algebra/gset.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/gset.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/lib/dfrac_agree.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/lib/dfrac_agree.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/algebra/lib/dfrac_agree.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/lib/dfrac_agree.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/lib/excl_auth.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/lib/excl_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/algebra/lib/excl_auth.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/lib/excl_auth.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/lib/frac_auth.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/lib/frac_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/algebra/lib/frac_auth.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/lib/frac_auth.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/lib/gmap_view.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/lib/gmap_view.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/algebra/lib/gmap_view.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/lib/gmap_view.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/lib/gset_bij.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/lib/gset_bij.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/algebra/lib/gset_bij.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/lib/gset_bij.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/lib/mono_list.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/lib/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/algebra/lib/mono_list.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/lib/mono_list.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/lib/mono_nat.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/lib/mono_nat.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/algebra/lib/mono_nat.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/lib/mono_nat.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/lib/ufrac_auth.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/lib/ufrac_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/algebra/lib/ufrac_auth.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/lib/ufrac_auth.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/list.vo: binary file contents changed
> dpkg-source: error: add iris/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/algebra/list.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/list.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/local_updates.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/local_updates.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/algebra/local_updates.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/local_updates.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/max_prefix_list.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/max_prefix_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/algebra/max_prefix_list.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/max_prefix_list.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/monoid.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/monoid.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/algebra/monoid.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/monoid.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/numbers.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/numbers.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/algebra/numbers.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/numbers.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/ofe.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/ofe.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/algebra/ofe.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/ofe.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/proofmode_classes.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/proofmode_classes.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/algebra/proofmode_classes.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/proofmode_classes.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/reservation_map.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/reservation_map.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/algebra/reservation_map.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/reservation_map.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/sts.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/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/algebra/sts.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/sts.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/ufrac.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/ufrac.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/algebra/ufrac.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/ufrac.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/updates.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/updates.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/algebra/updates.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/updates.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/vector.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/vector.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/algebra/vector.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/vector.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/algebra/view.vo: binary file contents changed
> dpkg-source: error: add iris/algebra/view.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/algebra/view.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/algebra/view.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/base_logic/algebra.vo: binary file contents changed
> dpkg-source: error: add iris/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/base_logic/algebra.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/base_logic/algebra.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/base_logic/base_logic.vo: binary file contents changed
> dpkg-source: error: add iris/base_logic/base_logic.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/base_logic/base_logic.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/base_logic/base_logic.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/base_logic/bi.vo: binary file contents changed
> dpkg-source: error: add iris/base_logic/bi.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/base_logic/bi.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/base_logic/bi.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/base_logic/bupd_alt.vo: binary file contents changed
> dpkg-source: error: add iris/base_logic/bupd_alt.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/base_logic/bupd_alt.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/base_logic/bupd_alt.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/base_logic/derived.vo: binary file contents changed
> dpkg-source: error: add iris/base_logic/derived.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/base_logic/derived.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/base_logic/derived.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/base_logic/lib/boxes.vo: binary file contents changed
> dpkg-source: error: add iris/base_logic/lib/boxes.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/base_logic/lib/boxes.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/base_logic/lib/boxes.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/base_logic/lib/cancelable_invariants.vo: binary file contents changed
> dpkg-source: error: add iris/base_logic/lib/cancelable_invariants.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/base_logic/lib/cancelable_invariants.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/base_logic/lib/cancelable_invariants.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/base_logic/lib/fancy_updates.vo: binary file contents changed
> dpkg-source: error: add iris/base_logic/lib/fancy_updates.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/base_logic/lib/fancy_updates.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/base_logic/lib/fancy_updates.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/base_logic/lib/fancy_updates_from_vs.vo: binary file contents changed
> dpkg-source: error: add iris/base_logic/lib/fancy_updates_from_vs.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/base_logic/lib/fancy_updates_from_vs.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/base_logic/lib/fancy_updates_from_vs.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/base_logic/lib/gen_heap.vo: binary file contents changed
> dpkg-source: error: add iris/base_logic/lib/gen_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/base_logic/lib/gen_heap.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/base_logic/lib/gen_heap.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/base_logic/lib/gen_inv_heap.vo: binary file contents changed
> dpkg-source: error: add iris/base_logic/lib/gen_inv_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/base_logic/lib/gen_inv_heap.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/base_logic/lib/gen_inv_heap.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/base_logic/lib/ghost_map.vo: binary file contents changed
> dpkg-source: error: add iris/base_logic/lib/ghost_map.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/base_logic/lib/ghost_map.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/base_logic/lib/ghost_map.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/base_logic/lib/ghost_var.vo: binary file contents changed
> dpkg-source: error: add iris/base_logic/lib/ghost_var.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/base_logic/lib/ghost_var.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/base_logic/lib/ghost_var.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/base_logic/lib/gset_bij.vo: binary file contents changed
> dpkg-source: error: add iris/base_logic/lib/gset_bij.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/base_logic/lib/gset_bij.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/base_logic/lib/gset_bij.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/base_logic/lib/invariants.vo: binary file contents changed
> dpkg-source: error: add iris/base_logic/lib/invariants.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/base_logic/lib/invariants.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/base_logic/lib/invariants.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/base_logic/lib/iprop.vo: binary file contents changed
> dpkg-source: error: add iris/base_logic/lib/iprop.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/base_logic/lib/iprop.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/base_logic/lib/iprop.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/base_logic/lib/later_credits.vo: binary file contents changed
> dpkg-source: error: add iris/base_logic/lib/later_credits.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/base_logic/lib/later_credits.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/base_logic/lib/later_credits.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/base_logic/lib/mono_nat.vo: binary file contents changed
> dpkg-source: error: add iris/base_logic/lib/mono_nat.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/base_logic/lib/mono_nat.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/base_logic/lib/mono_nat.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/base_logic/lib/na_invariants.vo: binary file contents changed
> dpkg-source: error: add iris/base_logic/lib/na_invariants.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/base_logic/lib/na_invariants.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/base_logic/lib/na_invariants.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/base_logic/lib/own.vo: binary file contents changed
> dpkg-source: error: add iris/base_logic/lib/own.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/base_logic/lib/own.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/base_logic/lib/own.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/base_logic/lib/proph_map.vo: binary file contents changed
> dpkg-source: error: add iris/base_logic/lib/proph_map.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/base_logic/lib/proph_map.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/base_logic/lib/proph_map.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/base_logic/lib/saved_prop.vo: binary file contents changed
> dpkg-source: error: add iris/base_logic/lib/saved_prop.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/base_logic/lib/saved_prop.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/base_logic/lib/saved_prop.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/base_logic/lib/wsat.vo: binary file contents changed
> dpkg-source: error: add iris/base_logic/lib/wsat.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/base_logic/lib/wsat.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/base_logic/lib/wsat.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/base_logic/proofmode.vo: binary file contents changed
> dpkg-source: error: add iris/base_logic/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/base_logic/proofmode.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/base_logic/proofmode.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/base_logic/upred.vo: binary file contents changed
> dpkg-source: error: add iris/base_logic/upred.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/base_logic/upred.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/base_logic/upred.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/bi/ascii.vo: binary file contents changed
> dpkg-source: error: add iris/bi/ascii.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/bi/ascii.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/bi/ascii.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/bi/bi.vo: binary file contents changed
> dpkg-source: error: add iris/bi/bi.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/bi/bi.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/bi/bi.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/bi/big_op.vo: binary file contents changed
> dpkg-source: error: add iris/bi/big_op.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/bi/big_op.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/bi/big_op.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/bi/derived_connectives.vo: binary file contents changed
> dpkg-source: error: add iris/bi/derived_connectives.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/bi/derived_connectives.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/bi/derived_connectives.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/bi/derived_laws.vo: binary file contents changed
> dpkg-source: error: add iris/bi/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/bi/derived_laws.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/bi/derived_laws.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/bi/derived_laws_later.vo: binary file contents changed
> dpkg-source: error: add iris/bi/derived_laws_later.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/bi/derived_laws_later.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/bi/derived_laws_later.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/bi/embedding.vo: binary file contents changed
> dpkg-source: error: add iris/bi/embedding.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/bi/embedding.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/bi/embedding.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/bi/extensions.vo: binary file contents changed
> dpkg-source: error: add iris/bi/extensions.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/bi/extensions.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/bi/extensions.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/bi/interface.vo: binary file contents changed
> dpkg-source: error: add iris/bi/interface.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/bi/interface.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/bi/interface.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/bi/internal_eq.vo: binary file contents changed
> dpkg-source: error: add iris/bi/internal_eq.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/bi/internal_eq.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/bi/internal_eq.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/bi/lib/atomic.vo: binary file contents changed
> dpkg-source: error: add iris/bi/lib/atomic.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/bi/lib/atomic.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/bi/lib/atomic.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/bi/lib/core.vo: binary file contents changed
> dpkg-source: error: add iris/bi/lib/core.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/bi/lib/core.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/bi/lib/core.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/bi/lib/counterexamples.vo: binary file contents changed
> dpkg-source: error: add iris/bi/lib/counterexamples.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/bi/lib/counterexamples.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/bi/lib/counterexamples.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/bi/lib/fixpoint.vo: binary file contents changed
> dpkg-source: error: add iris/bi/lib/fixpoint.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/bi/lib/fixpoint.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/bi/lib/fixpoint.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/bi/lib/fractional.vo: binary file contents changed
> dpkg-source: error: add iris/bi/lib/fractional.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/bi/lib/fractional.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/bi/lib/fractional.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/bi/lib/laterable.vo: binary file contents changed
> dpkg-source: error: add iris/bi/lib/laterable.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/bi/lib/laterable.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/bi/lib/laterable.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/bi/lib/relations.vo: binary file contents changed
> dpkg-source: error: add iris/bi/lib/relations.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/bi/lib/relations.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/bi/lib/relations.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/bi/monpred.vo: binary file contents changed
> dpkg-source: error: add iris/bi/monpred.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/bi/monpred.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/bi/monpred.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/bi/notation.vo: binary file contents changed
> dpkg-source: error: add iris/bi/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/bi/notation.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/bi/notation.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/bi/plainly.vo: binary file contents changed
> dpkg-source: error: add iris/bi/plainly.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/bi/plainly.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/bi/plainly.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/bi/telescopes.vo: binary file contents changed
> dpkg-source: error: add iris/bi/telescopes.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/bi/telescopes.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/bi/telescopes.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/bi/updates.vo: binary file contents changed
> dpkg-source: error: add iris/bi/updates.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/bi/updates.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/bi/updates.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/bi/weakestpre.vo: binary file contents changed
> dpkg-source: error: add iris/bi/weakestpre.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/bi/weakestpre.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/bi/weakestpre.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/prelude/options.vo: binary file contents changed
> dpkg-source: error: add iris/prelude/options.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/prelude/options.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/prelude/options.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/prelude/prelude.vo: binary file contents changed
> dpkg-source: error: add iris/prelude/prelude.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/prelude/prelude.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/prelude/prelude.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/program_logic/adequacy.vo: binary file contents changed
> dpkg-source: error: add iris/program_logic/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/program_logic/adequacy.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/program_logic/adequacy.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/program_logic/atomic.vo: binary file contents changed
> dpkg-source: error: add iris/program_logic/atomic.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/program_logic/atomic.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/program_logic/atomic.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/program_logic/ectx_language.vo: binary file contents changed
> dpkg-source: error: add iris/program_logic/ectx_language.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/program_logic/ectx_language.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/program_logic/ectx_language.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/program_logic/ectx_lifting.vo: binary file contents changed
> dpkg-source: error: add iris/program_logic/ectx_lifting.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/program_logic/ectx_lifting.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/program_logic/ectx_lifting.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/program_logic/ectxi_language.vo: binary file contents changed
> dpkg-source: error: add iris/program_logic/ectxi_language.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/program_logic/ectxi_language.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/program_logic/ectxi_language.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/program_logic/language.vo: binary file contents changed
> dpkg-source: error: add iris/program_logic/language.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/program_logic/language.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/program_logic/language.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/program_logic/lifting.vo: binary file contents changed
> dpkg-source: error: add iris/program_logic/lifting.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/program_logic/lifting.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/program_logic/lifting.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/program_logic/ownp.vo: binary file contents changed
> dpkg-source: error: add iris/program_logic/ownp.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/program_logic/ownp.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/program_logic/ownp.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/program_logic/total_adequacy.vo: binary file contents changed
> dpkg-source: error: add iris/program_logic/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/program_logic/total_adequacy.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/program_logic/total_adequacy.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/program_logic/total_ectx_lifting.vo: binary file contents changed
> dpkg-source: error: add iris/program_logic/total_ectx_lifting.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/program_logic/total_ectx_lifting.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/program_logic/total_ectx_lifting.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/program_logic/total_lifting.vo: binary file contents changed
> dpkg-source: error: add iris/program_logic/total_lifting.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/program_logic/total_lifting.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/program_logic/total_lifting.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/program_logic/total_weakestpre.vo: binary file contents changed
> dpkg-source: error: add iris/program_logic/total_weakestpre.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/program_logic/total_weakestpre.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/program_logic/total_weakestpre.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/program_logic/weakestpre.vo: binary file contents changed
> dpkg-source: error: add iris/program_logic/weakestpre.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/program_logic/weakestpre.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/program_logic/weakestpre.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/base.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/base.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/proofmode/base.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/base.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/class_instances.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/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/proofmode/class_instances.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/class_instances.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/class_instances_embedding.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/class_instances_embedding.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/proofmode/class_instances_embedding.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/class_instances_embedding.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/class_instances_frame.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/class_instances_frame.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/proofmode/class_instances_frame.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/class_instances_frame.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/class_instances_internal_eq.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/class_instances_internal_eq.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/proofmode/class_instances_internal_eq.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/class_instances_internal_eq.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/class_instances_later.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/class_instances_later.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/proofmode/class_instances_later.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/class_instances_later.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/class_instances_make.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/class_instances_make.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/proofmode/class_instances_make.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/class_instances_make.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/class_instances_plainly.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/class_instances_plainly.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/proofmode/class_instances_plainly.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/class_instances_plainly.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/class_instances_updates.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/class_instances_updates.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/proofmode/class_instances_updates.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/class_instances_updates.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/classes.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/classes.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/proofmode/classes.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/classes.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/classes_make.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/classes_make.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/proofmode/classes_make.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/classes_make.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/coq_tactics.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/coq_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/proofmode/coq_tactics.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/coq_tactics.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/environments.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/environments.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/proofmode/environments.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/environments.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/ident_name.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/ident_name.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/proofmode/ident_name.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/ident_name.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/intro_patterns.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/intro_patterns.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/proofmode/intro_patterns.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/intro_patterns.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/ltac_tactics.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/ltac_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/proofmode/ltac_tactics.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/ltac_tactics.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/modalities.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/modalities.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/proofmode/modalities.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/modalities.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/modality_instances.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/modality_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/proofmode/modality_instances.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/modality_instances.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/monpred.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/monpred.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/proofmode/monpred.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/monpred.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/notation.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/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/proofmode/notation.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/notation.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/proofmode.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/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/proofmode/proofmode.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/proofmode.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/reduction.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/reduction.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/proofmode/reduction.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/reduction.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/sel_patterns.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/sel_patterns.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/proofmode/sel_patterns.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/sel_patterns.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/spec_patterns.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/spec_patterns.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/proofmode/spec_patterns.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/spec_patterns.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/string_ident.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/string_ident.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/proofmode/string_ident.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/string_ident.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/tactics.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/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/proofmode/tactics.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/tactics.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/proofmode/tokens.vo: binary file contents changed
> dpkg-source: error: add iris/proofmode/tokens.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/proofmode/tokens.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/proofmode/tokens.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to iris/si_logic/bi.vo: binary file contents changed
> dpkg-source: error: add iris/si_logic/bi.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/bi.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'iris/si_logic/bi.vos' will not be represented in diff
> 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.