Bug#1044251: coq-elpi: Fails to build source after successful build
Source: coq-elpi
Version: 1.17.1-1
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-elpi
> dpkg-buildpackage: info: source version 1.17.1-1
> 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 ocaml,coq
> debian/rules override_dh_auto_clean
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> Clean target is fragile
> 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-elpi using existing ./coq-elpi_1.17.1.orig.tar.gz
> dpkg-source: info: using patch list from debian/patches/series
> dpkg-source: error: cannot represent change to apps/NES/examples/usage_NES.vo: binary file contents changed
> dpkg-source: error: add apps/NES/examples/usage_NES.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/NES/examples/usage_NES.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/NES/examples/usage_NES.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/NES/tests/test_NES.vo: binary file contents changed
> dpkg-source: error: add apps/NES/tests/test_NES.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/NES/tests/test_NES.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/NES/tests/test_NES.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/NES/tests/test_NES_lib.vo: binary file contents changed
> dpkg-source: error: add apps/NES/tests/test_NES_lib.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/NES/tests/test_NES_lib.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/NES/tests/test_NES_lib.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/NES/tests/test_NES_perf.vo: binary file contents changed
> dpkg-source: error: add apps/NES/tests/test_NES_perf.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/NES/tests/test_NES_perf.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/NES/tests/test_NES_perf.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/NES/tests/test_NES_perf_optimal.vo: binary file contents changed
> dpkg-source: error: add apps/NES/tests/test_NES_perf_optimal.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/NES/tests/test_NES_perf_optimal.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/NES/tests/test_NES_perf_optimal.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/NES/tests/test_NES_resolve.vo: binary file contents changed
> dpkg-source: error: add apps/NES/tests/test_NES_resolve.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/NES/tests/test_NES_resolve.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/NES/tests/test_NES_resolve.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/NES/tests/test_module_namespace.vo: binary file contents changed
> dpkg-source: error: add apps/NES/tests/test_module_namespace.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/NES/tests/test_module_namespace.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/NES/tests/test_module_namespace.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/NES/theories/NES.vo: binary file contents changed
> dpkg-source: error: add apps/NES/theories/NES.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/NES/theories/NES.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/NES/theories/NES.vos' will not be represented in diff
> dpkg-source: warning: file coq-elpi-1.17.1/apps/derive/derive.html has no final newline (either original or modified version)
> dpkg-source: warning: file coq-elpi-1.17.1/apps/derive/derive.param1.html has no final newline (either original or modified version)
> dpkg-source: error: cannot represent change to apps/derive/examples/readme.vo: binary file contents changed
> dpkg-source: error: add apps/derive/examples/readme.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/examples/readme.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/examples/readme.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/examples/usage.vo: binary file contents changed
> dpkg-source: error: add apps/derive/examples/usage.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/examples/usage.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/examples/usage.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_bcongr.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_bcongr.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_bcongr.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_bcongr.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_derive.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_derive.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_derive.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_derive.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_derive_stdlib.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_derive_stdlib.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_derive_stdlib.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_derive_stdlib.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_eq.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_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 'apps/derive/tests/test_eq.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_eq.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_eqK.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_eqK.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_eqK.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_eqK.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_eqOK.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_eqOK.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_eqOK.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_eqOK.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_eqType_ast.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_eqType_ast.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_eqType_ast.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_eqType_ast.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_eqb.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_eqb.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_eqb.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_eqb.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_eqbOK.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_eqbOK.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_eqbOK.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_eqbOK.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_eqbcorrect.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_eqbcorrect.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_eqbcorrect.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_eqbcorrect.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_eqcorrect.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_eqcorrect.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_eqcorrect.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_eqcorrect.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_fields.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_fields.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_fields.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_fields.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_idx2inv.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_idx2inv.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_idx2inv.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_idx2inv.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_induction.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_induction.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_induction.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_induction.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_invert.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_invert.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_invert.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_invert.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_isK.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_isK.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_isK.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_isK.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_lens.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_lens.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_lens.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_lens.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_lens_laws.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_lens_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 'apps/derive/tests/test_lens_laws.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_lens_laws.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_map.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_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 'apps/derive/tests/test_map.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_map.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_param1.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_param1.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_param1.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_param1.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_param1_congr.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_param1_congr.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_param1_congr.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_param1_congr.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_param1_functor.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_param1_functor.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_param1_functor.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_param1_functor.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_param1_trivial.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_param1_trivial.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_param1_trivial.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_param1_trivial.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_param2.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_param2.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_param2.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_param2.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_projK.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_projK.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_projK.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_projK.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/tests/test_tag.vo: binary file contents changed
> dpkg-source: error: add apps/derive/tests/test_tag.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_tag.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/tests/test_tag.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/bcongr.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/bcongr.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/bcongr.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/bcongr.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/cast.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/cast.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/cast.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/cast.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/eq.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/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 'apps/derive/theories/derive/eq.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/eq.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/eqK.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/eqK.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/eqK.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/eqK.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/eqOK.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/eqOK.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/eqOK.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/eqOK.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/eqType_ast.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/eqType_ast.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/eqType_ast.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/eqType_ast.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/eqb.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/eqb.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/eqb.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/eqb.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/eqbOK.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/eqbOK.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/eqbOK.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/eqbOK.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/eqb_core_defs.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/eqb_core_defs.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/eqb_core_defs.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/eqb_core_defs.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/eqbcorrect.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/eqbcorrect.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/eqbcorrect.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/eqbcorrect.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/eqcorrect.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/eqcorrect.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/eqcorrect.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/eqcorrect.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/experimental.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/experimental.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/experimental.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/experimental.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/fields.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/fields.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/fields.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/fields.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/idx2inv.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/idx2inv.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/idx2inv.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/idx2inv.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/induction.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/induction.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/induction.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/induction.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/invert.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/invert.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/invert.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/invert.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/isK.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/isK.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/isK.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/isK.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/legacy.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/legacy.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/legacy.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/legacy.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/lens.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/lens.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/lens.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/lens.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/lens_laws.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/lens_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 'apps/derive/theories/derive/lens_laws.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/lens_laws.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/map.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/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 'apps/derive/theories/derive/map.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/map.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/param1.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/param1.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/param1.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/param1.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/param1_congr.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/param1_congr.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/param1_congr.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/param1_congr.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/param1_functor.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/param1_functor.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/param1_functor.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/param1_functor.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/param1_trivial.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/param1_trivial.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/param1_trivial.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/param1_trivial.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/param2.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/param2.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/param2.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/param2.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/projK.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/projK.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/projK.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/projK.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/std.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/std.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/std.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/std.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/derive/theories/derive/tag.vo: binary file contents changed
> dpkg-source: error: add apps/derive/theories/derive/tag.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/tag.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/derive/theories/derive/tag.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/eltac/examples/usage_eltac.vo: binary file contents changed
> dpkg-source: error: add apps/eltac/examples/usage_eltac.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/eltac/examples/usage_eltac.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/eltac/examples/usage_eltac.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/eltac/tests/test_assumption.vo: binary file contents changed
> dpkg-source: error: add apps/eltac/tests/test_assumption.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/eltac/tests/test_assumption.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/eltac/tests/test_assumption.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/eltac/tests/test_case.vo: binary file contents changed
> dpkg-source: error: add apps/eltac/tests/test_case.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/eltac/tests/test_case.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/eltac/tests/test_case.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/eltac/tests/test_clear.vo: binary file contents changed
> dpkg-source: error: add apps/eltac/tests/test_clear.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/eltac/tests/test_clear.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/eltac/tests/test_clear.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/eltac/tests/test_constructor.vo: binary file contents changed
> dpkg-source: error: add apps/eltac/tests/test_constructor.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/eltac/tests/test_constructor.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/eltac/tests/test_constructor.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/eltac/tests/test_cycle.vo: binary file contents changed
> dpkg-source: error: add apps/eltac/tests/test_cycle.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/eltac/tests/test_cycle.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/eltac/tests/test_cycle.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/eltac/tests/test_discriminate.vo: binary file contents changed
> dpkg-source: error: add apps/eltac/tests/test_discriminate.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/eltac/tests/test_discriminate.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/eltac/tests/test_discriminate.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/eltac/tests/test_fail.vo: binary file contents changed
> dpkg-source: error: add apps/eltac/tests/test_fail.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/eltac/tests/test_fail.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/eltac/tests/test_fail.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/eltac/tests/test_generalize.vo: binary file contents changed
> dpkg-source: error: add apps/eltac/tests/test_generalize.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/eltac/tests/test_generalize.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/eltac/tests/test_generalize.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/eltac/tests/test_injection.vo: binary file contents changed
> dpkg-source: error: add apps/eltac/tests/test_injection.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/eltac/tests/test_injection.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/eltac/tests/test_injection.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/eltac/tests/test_intro.vo: binary file contents changed
> dpkg-source: error: add apps/eltac/tests/test_intro.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/eltac/tests/test_intro.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/eltac/tests/test_intro.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/eltac/theories/assumption.vo: binary file contents changed
> dpkg-source: error: add apps/eltac/theories/assumption.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/eltac/theories/assumption.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/eltac/theories/assumption.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/eltac/theories/case.vo: binary file contents changed
> dpkg-source: error: add apps/eltac/theories/case.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/eltac/theories/case.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/eltac/theories/case.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/eltac/theories/clear.vo: binary file contents changed
> dpkg-source: error: add apps/eltac/theories/clear.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/eltac/theories/clear.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/eltac/theories/clear.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/eltac/theories/constructor.vo: binary file contents changed
> dpkg-source: error: add apps/eltac/theories/constructor.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/eltac/theories/constructor.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/eltac/theories/constructor.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/eltac/theories/cycle.vo: binary file contents changed
> dpkg-source: error: add apps/eltac/theories/cycle.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/eltac/theories/cycle.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/eltac/theories/cycle.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/eltac/theories/discriminate.vo: binary file contents changed
> dpkg-source: error: add apps/eltac/theories/discriminate.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/eltac/theories/discriminate.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/eltac/theories/discriminate.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/eltac/theories/fail.vo: binary file contents changed
> dpkg-source: error: add apps/eltac/theories/fail.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/eltac/theories/fail.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/eltac/theories/fail.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/eltac/theories/generalize.vo: binary file contents changed
> dpkg-source: error: add apps/eltac/theories/generalize.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/eltac/theories/generalize.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/eltac/theories/generalize.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/eltac/theories/injection.vo: binary file contents changed
> dpkg-source: error: add apps/eltac/theories/injection.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/eltac/theories/injection.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/eltac/theories/injection.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/eltac/theories/intro.vo: binary file contents changed
> dpkg-source: error: add apps/eltac/theories/intro.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/eltac/theories/intro.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/eltac/theories/intro.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/eltac/theories/tactics.vo: binary file contents changed
> dpkg-source: error: add apps/eltac/theories/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 'apps/eltac/theories/tactics.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/eltac/theories/tactics.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/locker/tests/test_locker.vo: binary file contents changed
> dpkg-source: error: add apps/locker/tests/test_locker.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/locker/tests/test_locker.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/locker/tests/test_locker.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to apps/locker/theories/locker.vo: binary file contents changed
> dpkg-source: error: add apps/locker/theories/locker.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'apps/locker/theories/locker.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'apps/locker/theories/locker.vos' will not be represented in diff
> dpkg-source: warning: file coq-elpi-1.17.1/foo.html has no final newline (either original or modified version)
> dpkg-source: warning: file coq-elpi-1.17.1/foobar.html has no final newline (either original or modified version)
> dpkg-source: error: cannot represent change to src/coq_elpi_HOAS.cmi: binary file contents changed
> dpkg-source: error: add src/coq_elpi_HOAS.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_HOAS.cmo: binary file contents changed
> dpkg-source: error: add src/coq_elpi_HOAS.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_HOAS.cmt: binary file contents changed
> dpkg-source: error: add src/coq_elpi_HOAS.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_HOAS.cmti: binary file contents changed
> dpkg-source: error: add src/coq_elpi_HOAS.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_HOAS.cmx: binary file contents changed
> dpkg-source: error: add src/coq_elpi_HOAS.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_HOAS.o: binary file contents changed
> dpkg-source: error: add src/coq_elpi_HOAS.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_arg_HOAS.cmi: binary file contents changed
> dpkg-source: error: add src/coq_elpi_arg_HOAS.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_arg_HOAS.cmo: binary file contents changed
> dpkg-source: error: add src/coq_elpi_arg_HOAS.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_arg_HOAS.cmt: binary file contents changed
> dpkg-source: error: add src/coq_elpi_arg_HOAS.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_arg_HOAS.cmti: binary file contents changed
> dpkg-source: error: add src/coq_elpi_arg_HOAS.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_arg_HOAS.cmx: binary file contents changed
> dpkg-source: error: add src/coq_elpi_arg_HOAS.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_arg_HOAS.o: binary file contents changed
> dpkg-source: error: add src/coq_elpi_arg_HOAS.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_arg_syntax.cmi: binary file contents changed
> dpkg-source: error: add src/coq_elpi_arg_syntax.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_arg_syntax.cmo: binary file contents changed
> dpkg-source: error: add src/coq_elpi_arg_syntax.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_arg_syntax.cmt: binary file contents changed
> dpkg-source: error: add src/coq_elpi_arg_syntax.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_arg_syntax.cmx: binary file contents changed
> dpkg-source: error: add src/coq_elpi_arg_syntax.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_arg_syntax.o: binary file contents changed
> dpkg-source: error: add src/coq_elpi_arg_syntax.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_builtins.cmi: binary file contents changed
> dpkg-source: error: add src/coq_elpi_builtins.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_builtins.cmo: binary file contents changed
> dpkg-source: error: add src/coq_elpi_builtins.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_builtins.cmt: binary file contents changed
> dpkg-source: error: add src/coq_elpi_builtins.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_builtins.cmti: binary file contents changed
> dpkg-source: error: add src/coq_elpi_builtins.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_builtins.cmx: binary file contents changed
> dpkg-source: error: add src/coq_elpi_builtins.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_builtins.o: binary file contents changed
> dpkg-source: error: add src/coq_elpi_builtins.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_builtins_HOAS.cmi: binary file contents changed
> dpkg-source: error: add src/coq_elpi_builtins_HOAS.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_builtins_HOAS.cmo: binary file contents changed
> dpkg-source: error: add src/coq_elpi_builtins_HOAS.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_builtins_HOAS.cmt: binary file contents changed
> dpkg-source: error: add src/coq_elpi_builtins_HOAS.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_builtins_HOAS.cmx: binary file contents changed
> dpkg-source: error: add src/coq_elpi_builtins_HOAS.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_builtins_HOAS.o: binary file contents changed
> dpkg-source: error: add src/coq_elpi_builtins_HOAS.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_config.cmi: binary file contents changed
> dpkg-source: error: add src/coq_elpi_config.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_config.cmo: binary file contents changed
> dpkg-source: error: add src/coq_elpi_config.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_config.cmt: binary file contents changed
> dpkg-source: error: add src/coq_elpi_config.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_config.cmx: binary file contents changed
> dpkg-source: error: add src/coq_elpi_config.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_config.o: binary file contents changed
> dpkg-source: error: add src/coq_elpi_config.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_glob_quotation.cmi: binary file contents changed
> dpkg-source: error: add src/coq_elpi_glob_quotation.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_glob_quotation.cmo: binary file contents changed
> dpkg-source: error: add src/coq_elpi_glob_quotation.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_glob_quotation.cmt: binary file contents changed
> dpkg-source: error: add src/coq_elpi_glob_quotation.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_glob_quotation.cmti: binary file contents changed
> dpkg-source: error: add src/coq_elpi_glob_quotation.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_glob_quotation.cmx: binary file contents changed
> dpkg-source: error: add src/coq_elpi_glob_quotation.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_glob_quotation.o: binary file contents changed
> dpkg-source: error: add src/coq_elpi_glob_quotation.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_name_quotation.cmi: binary file contents changed
> dpkg-source: error: add src/coq_elpi_name_quotation.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_name_quotation.cmo: binary file contents changed
> dpkg-source: error: add src/coq_elpi_name_quotation.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_name_quotation.cmt: binary file contents changed
> dpkg-source: error: add src/coq_elpi_name_quotation.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_name_quotation.cmx: binary file contents changed
> dpkg-source: error: add src/coq_elpi_name_quotation.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_name_quotation.o: binary file contents changed
> dpkg-source: error: add src/coq_elpi_name_quotation.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_utils.cmi: binary file contents changed
> dpkg-source: error: add src/coq_elpi_utils.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_utils.cmo: binary file contents changed
> dpkg-source: error: add src/coq_elpi_utils.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_utils.cmt: binary file contents changed
> dpkg-source: error: add src/coq_elpi_utils.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_utils.cmti: binary file contents changed
> dpkg-source: error: add src/coq_elpi_utils.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_utils.cmx: binary file contents changed
> dpkg-source: error: add src/coq_elpi_utils.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_utils.o: binary file contents changed
> dpkg-source: error: add src/coq_elpi_utils.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_vernacular.cmi: binary file contents changed
> dpkg-source: error: add src/coq_elpi_vernacular.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_vernacular.cmo: binary file contents changed
> dpkg-source: error: add src/coq_elpi_vernacular.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_vernacular.cmt: binary file contents changed
> dpkg-source: error: add src/coq_elpi_vernacular.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_vernacular.cmti: binary file contents changed
> dpkg-source: error: add src/coq_elpi_vernacular.cmti in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_vernacular.cmx: binary file contents changed
> dpkg-source: error: add src/coq_elpi_vernacular.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_vernacular.o: binary file contents changed
> dpkg-source: error: add src/coq_elpi_vernacular.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_vernacular_syntax.cmi: binary file contents changed
> dpkg-source: error: add src/coq_elpi_vernacular_syntax.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_vernacular_syntax.cmo: binary file contents changed
> dpkg-source: error: add src/coq_elpi_vernacular_syntax.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_vernacular_syntax.cmt: binary file contents changed
> dpkg-source: error: add src/coq_elpi_vernacular_syntax.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_vernacular_syntax.cmx: binary file contents changed
> dpkg-source: error: add src/coq_elpi_vernacular_syntax.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/coq_elpi_vernacular_syntax.o: binary file contents changed
> dpkg-source: error: add src/coq_elpi_vernacular_syntax.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/elpi_plugin.a: binary file contents changed
> dpkg-source: error: add src/elpi_plugin.a in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/elpi_plugin.cma: binary file contents changed
> dpkg-source: error: add src/elpi_plugin.cma in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/elpi_plugin.cmi: binary file contents changed
> dpkg-source: error: add src/elpi_plugin.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/elpi_plugin.cmo: binary file contents changed
> dpkg-source: error: add src/elpi_plugin.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/elpi_plugin.cmt: binary file contents changed
> dpkg-source: error: add src/elpi_plugin.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/elpi_plugin.cmx: binary file contents changed
> dpkg-source: error: add src/elpi_plugin.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/elpi_plugin.cmxa: binary file contents changed
> dpkg-source: error: add src/elpi_plugin.cmxa in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/elpi_plugin.cmxs: binary file contents changed
> dpkg-source: error: add src/elpi_plugin.cmxs in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: executable mode 0755 of 'src/elpi_plugin.cmxs' will not be represented in diff
> dpkg-source: error: cannot represent change to src/elpi_plugin.o: binary file contents changed
> dpkg-source: error: add src/elpi_plugin.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: file coq-elpi-1.17.1/test_typecheck_in_ctx.html has no final newline (either original or modified version)
> dpkg-source: error: cannot represent change to tests/perf_calls.vo: binary file contents changed
> dpkg-source: error: add tests/perf_calls.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/perf_calls.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/perf_calls.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_API.vo: binary file contents changed
> dpkg-source: error: add tests/test_API.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_API.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_API.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_API2.vo: binary file contents changed
> dpkg-source: error: add tests/test_API2.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_API2.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_API2.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_API_TC_CS.vo: binary file contents changed
> dpkg-source: error: add tests/test_API_TC_CS.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_API_TC_CS.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_API_TC_CS.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_API_arguments.vo: binary file contents changed
> dpkg-source: error: add tests/test_API_arguments.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_API_arguments.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_API_arguments.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_API_elaborate.vo: binary file contents changed
> dpkg-source: error: add tests/test_API_elaborate.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_API_elaborate.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_API_elaborate.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_API_env.vo: binary file contents changed
> dpkg-source: error: add tests/test_API_env.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_API_env.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_API_env.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_API_module.vo: binary file contents changed
> dpkg-source: error: add tests/test_API_module.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_API_module.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_API_module.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_API_notations.vo: binary file contents changed
> dpkg-source: error: add tests/test_API_notations.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_API_notations.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_API_notations.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_API_section.vo: binary file contents changed
> dpkg-source: error: add tests/test_API_section.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_API_section.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_API_section.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_API_typecheck.vo: binary file contents changed
> dpkg-source: error: add tests/test_API_typecheck.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_API_typecheck.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_API_typecheck.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_COQ_ELPI_ATTRIBUTES.vo: binary file contents changed
> dpkg-source: error: add tests/test_COQ_ELPI_ATTRIBUTES.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_COQ_ELPI_ATTRIBUTES.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_COQ_ELPI_ATTRIBUTES.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_HOAS.vo: binary file contents changed
> dpkg-source: error: add tests/test_HOAS.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_HOAS.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_HOAS.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_arg_HOAS.vo: binary file contents changed
> dpkg-source: error: add tests/test_arg_HOAS.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_arg_HOAS.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_arg_HOAS.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_cache_async.vo: binary file contents changed
> dpkg-source: error: add tests/test_cache_async.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_cache_async.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_cache_async.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_ctx_cache.vo: binary file contents changed
> dpkg-source: error: add tests/test_ctx_cache.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_ctx_cache.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_ctx_cache.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_elaborator.vo: binary file contents changed
> dpkg-source: error: add tests/test_elaborator.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_elaborator.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_elaborator.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_glob.vo: binary file contents changed
> dpkg-source: error: add tests/test_glob.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_glob.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_glob.vos' will not be represented in diff
> dpkg-source: warning: file coq-elpi-1.17.1/tests/test_glob/elpi.tests.test_glob.html has no final newline (either original or modified version)
> dpkg-source: warning: file coq-elpi-1.17.1/tests/test_glob/index.html has no final newline (either original or modified version)
> dpkg-source: error: cannot represent change to tests/test_libobject_A.vo: binary file contents changed
> dpkg-source: error: add tests/test_libobject_A.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_libobject_A.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_libobject_A.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_libobject_B.vo: binary file contents changed
> dpkg-source: error: add tests/test_libobject_B.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_libobject_B.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_libobject_B.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_libobject_C.vo: binary file contents changed
> dpkg-source: error: add tests/test_libobject_C.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_libobject_C.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_libobject_C.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_ltac.vo: binary file contents changed
> dpkg-source: error: add tests/test_ltac.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_ltac.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_ltac.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_ltac2.vo: binary file contents changed
> dpkg-source: error: add tests/test_ltac2.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_ltac2.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_ltac2.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_ltac3.vo: binary file contents changed
> dpkg-source: error: add tests/test_ltac3.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_ltac3.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_ltac3.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_quotation.vo: binary file contents changed
> dpkg-source: error: add tests/test_quotation.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_quotation.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_quotation.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_require_bad_order.vo: binary file contents changed
> dpkg-source: error: add tests/test_require_bad_order.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_require_bad_order.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_require_bad_order.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_tactic.vo: binary file contents changed
> dpkg-source: error: add tests/test_tactic.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_tactic.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_tactic.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_vernacular1.vo: binary file contents changed
> dpkg-source: error: add tests/test_vernacular1.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_vernacular1.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_vernacular1.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_vernacular2.vo: binary file contents changed
> dpkg-source: error: add tests/test_vernacular2.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'tests/test_vernacular2.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_vernacular2.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/elpi.vo: binary file contents changed
> dpkg-source: error: add theories/elpi.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theories/elpi.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/elpi.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/wip/memoization.vo: binary file contents changed
> dpkg-source: error: add theories/wip/memoization.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theories/wip/memoization.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/wip/memoization.vos' will not be represented in diff
> dpkg-source: error: unrepresentable changes to source
> dpkg-buildpackage: error: dpkg-source -b . subprocess returned exit status 1
>
> E: Command 'cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env -us -uc -rfakeroot -S' failed to run.
The full build log is available from:
http://qa-logs.debian.net/2023/08/13/coq-elpi_1.17.1-1_unstable.log
If you reassign this bug to another package, please mark it as 'affects'-ing
this package. See https://www.debian.org/Bugs/server-control#affects
If you fail to reproduce this, please provide a build log and diff it with mine
so that we can identify if something relevant changed in the meantime.
Reply to: