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

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

Your message dated Fri, 22 Dec 2023 10:35:00 +0000
with message-id <E1rGcrs-00DSaZ-Se@fasolo.debian.org>
and subject line Bug#1044251: fixed in coq-elpi 1.19.3-1
has caused the Debian Bug report #1044251,
regarding coq-elpi: 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.)


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

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

We believe that the bug you reported is fixed in the latest version of
coq-elpi, 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 1044251@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-elpi 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 15:23:48 +0100
Source: coq-elpi
Architecture: source
Version: 1.19.3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044251
Changes:
 coq-elpi (1.19.3-1) unstable; urgency=medium
 .
   * Fix d/rules clean target (Closes: #1044251).
   * New upstream release.
   * Drop all patches.
Checksums-Sha1:
 6c3d6349bbf4b18f8e21b4e21cc82c8ac22ed3ca 2030 coq-elpi_1.19.3-1.dsc
 2ebf0d931c8083349901f90234aeaac5e22d616e 571678 coq-elpi_1.19.3.orig.tar.gz
 b667c6758533704f789838a47f40df7ed69d43ee 3108 coq-elpi_1.19.3-1.debian.tar.xz
 5ba00d1e355033584212c31c7f163f599353b307 8324 coq-elpi_1.19.3-1_source.buildinfo
Checksums-Sha256:
 d2b6dd2f43c215e1db9e80e6602a494ee0b8f2ffdc8bd910dfb1bbcbe105731b 2030 coq-elpi_1.19.3-1.dsc
 befad7c58a5b2b60ac805646172016bb9dc9764c92c7dcc2056c3d15a3d8b1b4 571678 coq-elpi_1.19.3.orig.tar.gz
 9773680b529e9ba705f1dc8c9141e5d97b02edf8dc8d0ce44265aaea57375989 3108 coq-elpi_1.19.3-1.debian.tar.xz
 4b7db8431e3efc3756400e54143c897c590a863f9ab42fc5de54ccb07290eca5 8324 coq-elpi_1.19.3-1_source.buildinfo
Files:
 885762b7e7fe945b4bce0bce4ef4aec3 2030 ocaml optional coq-elpi_1.19.3-1.dsc
 17db60a99d07ca13976b794a8205327b 571678 ocaml optional coq-elpi_1.19.3.orig.tar.gz
 be756cf889bd9c549aafd143d66208d3 3108 ocaml optional coq-elpi_1.19.3-1.debian.tar.xz
 eca26f018f36cabe2fd44548441980a1 8324 ocaml optional coq-elpi_1.19.3-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWESpMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRu0MP/jJvPaTwYLVQvgOYCox+8MpiLPj3h59z
hLOxLU4n91FpsvuDkBRHtrwWrnLAynC/cMBMtTP4/SG05CRb4ZS+nE4FnnjrF1Cs
hjFR6p06/N6fNFAVxW001qsND+2xMOU/iNFijer6Ce5HRaWcsN35/UVoqWKiDABL
Ayld6i6UxmPPmxcwbh8E9qOL8vEDeeAQOJ2yuQTaN+wUSQ4sgP/FozXWtMoj9vrZ
r5cJZ/U47ED+NzeqFF8XVTjI1S3QN5U6kM2LmggMRrbQVw2gPDytUSk89PSbIbYt
5Jgaay/A8OzUdowFVdBFFaBRpGcdxONjpXli2STnKajLwqnhu3ubPUQN798VlCgi
9jztRSwXwwuUDMEO7cgEOZjdKzaBeM0wY63WM2/VMfPk9R1ykJD2leCf0t6ZdZ8T
+Z/BWZCkzCe7QyVNwy6iNmNkuqrB0GP4EIsBPJLjs31WJbNvhpTNIt/oiPM+FQEc
TKDf4mjoLgSr8xrqrRv/aopfWL/tbNsN3IeQ815sj3RkMJV7/OPD35O5KtnfmIhn
fFCiwsFS76ieSkMmZpd0l4MY6tlZlV0Vl94kKkAsnqEo1TQBt69ANwh1e2RoT3Bx
i+kZo1DPxKJj3aZuR3z6vbjJCRiLvLY1oJrHuLIAoEaIEa3zNLvuFmIYjGek0hXt
eRg+LsYPRd9x
=0Ud4
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: