[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1044393: marked as done (coq-iris: Fails to build source after successful build)

Your message dated Sat, 23 Dec 2023 11:19:38 +0000
with message-id <E1rH02c-002Q6d-R5@fasolo.debian.org>
and subject line Bug#1044393: fixed in coq-iris 4.1.0-1
has caused the Debian Bug report #1044393,
regarding coq-iris: Fails to build source after successful build
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
1044393: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044393
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
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.

--- End Message ---
--- Begin Message --- 
Source: coq-iris
Source-Version: 4.1.0-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coq-iris, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 1044393@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (supplier of updated coq-iris package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 21 Dec 2023 16:59:31 +0100
Source: coq-iris
Architecture: source
Version: 4.1.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044393
Changes:
 coq-iris (4.1.0-1) unstable; urgency=medium
 .
   * Fix d/rules clean target (Closes: #1044393).
   * New upstream release.
Checksums-Sha1:
 91db32d8f3678f2ac7c30d7f5068a8e9665aa677 2162 coq-iris_4.1.0-1.dsc
 3c6c0b3f999587161cf6494e47743065e3d4af70 749982 coq-iris_4.1.0.orig.tar.gz
 a268d1393c5b248318a7c7c621f63d9d816c1cc0 12072 coq-iris_4.1.0-1.debian.tar.xz
 b03e8cbe12516657cd56ea21cb8d84be435d4354 14470 coq-iris_4.1.0-1_source.buildinfo
Checksums-Sha256:
 02f64bbc2d51f0b8962b3a5b9449cadb032306e03b8ff736c669c244b6f810f9 2162 coq-iris_4.1.0-1.dsc
 af962d128163335ce0af13a92c0b2bb7423e8e8c6356714c16422f96aee9f694 749982 coq-iris_4.1.0.orig.tar.gz
 6b792592de7466b60a1b6651dd0977c2ab046826b3878016a37189559a4ab44b 12072 coq-iris_4.1.0-1.debian.tar.xz
 4a4718e9abd7df3c735ebcaf551b20bf919fb06b3ff88f8f0c432f818584c0f9 14470 coq-iris_4.1.0-1_source.buildinfo
Files:
 213e5fcf260670ee6925b48e74c93c49 2162 ocaml optional coq-iris_4.1.0-1.dsc
 e1fd1bbfb6bb8fc144342e5c7d4222ee 749982 ocaml optional coq-iris_4.1.0.orig.tar.gz
 e9178cbed05ef147852f905efe380c26 12072 ocaml optional coq-iris_4.1.0-1.debian.tar.xz
 de3da8ebe25617287bb42fb636dc0fbb 14470 ocaml optional coq-iris_4.1.0-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEYw4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRS8gP/ijTkMwtfNWtKOWlqOcqS2sQPCuRgLMG
AEgPeVjC7Zt39764qeZcif1d/gKgpZWRyPk/I+4TAxXaPa9ceptkd9B02KYAEEfk
gCYup6XM0qH/3SrA0xxiMNnAnLBJkbSaChXNOXkPty2STmtrV+AAG+xUdXyypB+V
zfLLHqGeA0AdlZyrrzXYZKCgAclhENkGkovTfLwBHBOWQKfwip8fvxjOF6mA2nOf
w3ElCXr9gIODYHDf7zQcA6qjDOlobuB2t+q2yG+KgQPLz20L8sOHm3GIAaf/7gru
LEUpXtGcDZmxaK7bgtE8B58oXlWVhZxOsg5FNDi+Ile3MAFZUDxaKV+Nrau2QUgb
7bA5Mc6rC9jhEAJQ7RDpDpmxGs5kXo9k4PC+/5WLOCUMGIsXOYHe8+pPvcLh8J7G
QC8743SsxApKYR+KhVmPDEMFsdg1+prbbk6WFK3tWOUz+Eu74wa2h8btjW5/nF7r
kKl+U8FeCp6A9bsQkE2/tydUax0+dj9L6YUnh3jhzi7iWSc9HO8MKTHHkN9gjqib
PTN15OAs9FJE6G7dqzdIi5ZhxOV1Hunorvmg6iVDpq06aqenz6SbHDAbvuuWRe2v
QNHrdljEQkOcUnKwZZQIF9mlDiyi256ayFq1xsq+2Q3+5/wCLpP1+SwxJGesgWvx
in+ZzVJjzTqz
=y3/v
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: