Source: coq-hammer Version: 1.3.2+8.17-1 Severity: minor Tags: trixie sid ftbfs User: [email protected] Usertags: ftbfs-sab-20230813 ftbfs-source-after-build User: [email protected] 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-hammer > dpkg-buildpackage: info: source version 1.3.2+8.17-1 > dpkg-buildpackage: info: source distribution unstable > dpkg-buildpackage: info: source changed by Julien Puydt <[email protected]> > dpkg-source --before-build . > debian/rules clean > dh clean --with coq > debian/rules override_dh_auto_clean > make[1]: Entering directory '/<<PKGBUILDDIR>>' > # doesn't work > make[1]: Leaving directory '/<<PKGBUILDDIR>>' > dh_clean > dpkg-source -b . > dpkg-source: info: using source format '3.0 (quilt)' > dpkg-source: info: building coq-hammer using existing > ./coq-hammer_1.3.2+8.17.orig.tar.gz > dpkg-source: info: using patch list from debian/patches/series > dpkg-source: error: cannot represent change to htimeout: binary file contents > changed > dpkg-source: error: add htimeout in debian/source/include-binaries if you > want to store the modified binary in the debian tarball > dpkg-source: warning: executable mode 0755 of 'htimeout' will not be > represented in diff > dpkg-source: error: cannot represent change to predict: binary file contents > changed > dpkg-source: error: add predict in debian/source/include-binaries if you want > to store the modified binary in the debian tarball > dpkg-source: warning: executable mode 0755 of 'predict' will not be > represented in diff > dpkg-source: error: cannot represent change to src/lib/g_hammer_lib.cmi: > binary file contents changed > dpkg-source: error: add src/lib/g_hammer_lib.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/lib/g_hammer_lib.cmt: > binary file contents changed > dpkg-source: error: add src/lib/g_hammer_lib.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/lib/g_hammer_lib.cmx: > binary file contents changed > dpkg-source: error: add src/lib/g_hammer_lib.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/lib/g_hammer_lib.o: binary > file contents changed > dpkg-source: error: add src/lib/g_hammer_lib.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/lib/hammer_errors.cmi: > binary file contents changed > dpkg-source: error: add src/lib/hammer_errors.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/lib/hammer_errors.cmt: > binary file contents changed > dpkg-source: error: add src/lib/hammer_errors.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/lib/hammer_errors.cmx: > binary file contents changed > dpkg-source: error: add src/lib/hammer_errors.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/lib/hammer_errors.o: > binary file contents changed > dpkg-source: error: add src/lib/hammer_errors.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/lib/hammer_lib.a: binary > file contents changed > dpkg-source: error: add src/lib/hammer_lib.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/lib/hammer_lib.cmi: binary > file contents changed > dpkg-source: error: add src/lib/hammer_lib.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/lib/hammer_lib.cmt: binary > file contents changed > dpkg-source: error: add src/lib/hammer_lib.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/lib/hammer_lib.cmx: binary > file contents changed > dpkg-source: error: add src/lib/hammer_lib.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/lib/hammer_lib.cmxa: > binary file contents changed > dpkg-source: error: add src/lib/hammer_lib.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/lib/hammer_lib.cmxs: > binary file contents changed > dpkg-source: error: add src/lib/hammer_lib.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/lib/hammer_lib.cmxs' will > not be represented in diff > dpkg-source: error: cannot represent change to src/lib/hammer_lib.o: binary > file contents changed > dpkg-source: error: add src/lib/hammer_lib.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/lib/hhlib.cmi: binary file > contents changed > dpkg-source: error: add src/lib/hhlib.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/lib/hhlib.cmt: binary file > contents changed > dpkg-source: error: add src/lib/hhlib.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/lib/hhlib.cmx: binary file > contents changed > dpkg-source: error: add src/lib/hhlib.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/lib/hhlib.o: binary file > contents changed > dpkg-source: error: add src/lib/hhlib.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/lib/hhlpo.cmi: binary file > contents changed > dpkg-source: error: add src/lib/hhlpo.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/lib/hhlpo.cmt: binary file > contents changed > dpkg-source: error: add src/lib/hhlpo.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/lib/hhlpo.cmti: binary > file contents changed > dpkg-source: error: add src/lib/hhlpo.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/lib/hhlpo.cmx: binary file > contents changed > dpkg-source: error: add src/lib/hhlpo.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/lib/hhlpo.o: binary file > contents changed > dpkg-source: error: add src/lib/hhlpo.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/lib/hhpartac.cmi: binary > file contents changed > dpkg-source: error: add src/lib/hhpartac.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/lib/hhpartac.cmt: binary > file contents changed > dpkg-source: error: add src/lib/hhpartac.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/lib/hhpartac.cmx: binary > file contents changed > dpkg-source: error: add src/lib/hhpartac.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/lib/hhpartac.o: binary > file contents changed > dpkg-source: error: add src/lib/hhpartac.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/lib/hhutils.cmi: binary > file contents changed > dpkg-source: error: add src/lib/hhutils.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/lib/hhutils.cmt: binary > file contents changed > dpkg-source: error: add src/lib/hhutils.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/lib/hhutils.cmti: binary > file contents changed > dpkg-source: error: add src/lib/hhutils.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/lib/hhutils.cmx: binary > file contents changed > dpkg-source: error: add src/lib/hhutils.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/lib/hhutils.o: binary file > contents changed > dpkg-source: error: add src/lib/hhutils.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/plugin/coq_convert.cmi: > binary file contents changed > dpkg-source: error: add src/plugin/coq_convert.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/plugin/coq_convert.cmt: > binary file contents changed > dpkg-source: error: add src/plugin/coq_convert.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/plugin/coq_convert.cmti: > binary file contents changed > dpkg-source: error: add src/plugin/coq_convert.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/plugin/coq_convert.cmx: > binary file contents changed > dpkg-source: error: add src/plugin/coq_convert.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/plugin/coq_convert.o: > binary file contents changed > dpkg-source: error: add src/plugin/coq_convert.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/plugin/coq_transl.cmi: > binary file contents changed > dpkg-source: error: add src/plugin/coq_transl.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/plugin/coq_transl.cmt: > binary file contents changed > dpkg-source: error: add src/plugin/coq_transl.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/plugin/coq_transl.cmti: > binary file contents changed > dpkg-source: error: add src/plugin/coq_transl.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/plugin/coq_transl.cmx: > binary file contents changed > dpkg-source: error: add src/plugin/coq_transl.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/plugin/coq_transl.o: > binary file contents changed > dpkg-source: error: add src/plugin/coq_transl.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/plugin/coq_transl_opts.cmi: binary file contents changed > dpkg-source: error: add src/plugin/coq_transl_opts.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/plugin/coq_transl_opts.cmo: binary file contents changed > dpkg-source: error: add src/plugin/coq_transl_opts.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/plugin/coq_transl_opts.cmt: binary file contents changed > dpkg-source: error: add src/plugin/coq_transl_opts.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/plugin/coq_transl_opts.cmx: binary file contents changed > dpkg-source: error: add src/plugin/coq_transl_opts.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/plugin/coq_transl_opts.o: > binary file contents changed > dpkg-source: error: add src/plugin/coq_transl_opts.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/plugin/coq_typing.cmi: > binary file contents changed > dpkg-source: error: add src/plugin/coq_typing.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/plugin/coq_typing.cmt: > binary file contents changed > dpkg-source: error: add src/plugin/coq_typing.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/plugin/coq_typing.cmti: > binary file contents changed > dpkg-source: error: add src/plugin/coq_typing.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/plugin/coq_typing.cmx: > binary file contents changed > dpkg-source: error: add src/plugin/coq_typing.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/plugin/coq_typing.o: > binary file contents changed > dpkg-source: error: add src/plugin/coq_typing.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/plugin/coqterms.cmi: > binary file contents changed > dpkg-source: error: add src/plugin/coqterms.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/plugin/coqterms.cmo: > binary file contents changed > dpkg-source: error: add src/plugin/coqterms.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/plugin/coqterms.cmt: > binary file contents changed > dpkg-source: error: add src/plugin/coqterms.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/plugin/coqterms.cmx: > binary file contents changed > dpkg-source: error: add src/plugin/coqterms.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/plugin/coqterms.o: binary > file contents changed > dpkg-source: error: add src/plugin/coqterms.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/plugin/defhash.cmi: binary > file contents changed > dpkg-source: error: add src/plugin/defhash.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/plugin/defhash.cmt: binary > file contents changed > dpkg-source: error: add src/plugin/defhash.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/plugin/defhash.cmti: > binary file contents changed > dpkg-source: error: add src/plugin/defhash.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/plugin/defhash.cmx: binary > file contents changed > dpkg-source: error: add src/plugin/defhash.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/plugin/defhash.o: binary > file contents changed > dpkg-source: error: add src/plugin/defhash.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/plugin/features.cmi: > binary file contents changed > dpkg-source: error: add src/plugin/features.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/plugin/features.cmt: > binary file contents changed > dpkg-source: error: add src/plugin/features.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/plugin/features.cmti: > binary file contents changed > dpkg-source: error: add src/plugin/features.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/plugin/features.cmx: > binary file contents changed > dpkg-source: error: add src/plugin/features.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/plugin/features.o: binary > file contents changed > dpkg-source: error: add src/plugin/features.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/plugin/g_hammer.cmi: > binary file contents changed > dpkg-source: error: add src/plugin/g_hammer.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/plugin/g_hammer.cmt: > binary file contents changed > dpkg-source: error: add src/plugin/g_hammer.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/plugin/g_hammer.cmx: > binary file contents changed > dpkg-source: error: add src/plugin/g_hammer.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/plugin/g_hammer.o: binary > file contents changed > dpkg-source: error: add src/plugin/g_hammer.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/plugin/hammer_main.cmi: > binary file contents changed > dpkg-source: error: add src/plugin/hammer_main.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/plugin/hammer_main.cmt: > binary file contents changed > dpkg-source: error: add src/plugin/hammer_main.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/plugin/hammer_main.cmx: > binary file contents changed > dpkg-source: error: add src/plugin/hammer_main.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/plugin/hammer_main.o: > binary file contents changed > dpkg-source: error: add src/plugin/hammer_main.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/plugin/hammer_plugin.a: > binary file contents changed > dpkg-source: error: add src/plugin/hammer_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/plugin/hammer_plugin.cmi: > binary file contents changed > dpkg-source: error: add src/plugin/hammer_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/plugin/hammer_plugin.cmt: > binary file contents changed > dpkg-source: error: add src/plugin/hammer_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/plugin/hammer_plugin.cmx: > binary file contents changed > dpkg-source: error: add src/plugin/hammer_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/plugin/hammer_plugin.cmxa: > binary file contents changed > dpkg-source: error: add src/plugin/hammer_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/plugin/hammer_plugin.cmxs: > binary file contents changed > dpkg-source: error: add src/plugin/hammer_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/plugin/hammer_plugin.cmxs' > will not be represented in diff > dpkg-source: error: cannot represent change to src/plugin/hammer_plugin.o: > binary file contents changed > dpkg-source: error: add src/plugin/hammer_plugin.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/plugin/hashing.cmi: binary > file contents changed > dpkg-source: error: add src/plugin/hashing.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/plugin/hashing.cmt: binary > file contents changed > dpkg-source: error: add src/plugin/hashing.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/plugin/hashing.cmti: > binary file contents changed > dpkg-source: error: add src/plugin/hashing.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/plugin/hashing.cmx: binary > file contents changed > dpkg-source: error: add src/plugin/hashing.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/plugin/hashing.o: binary > file contents changed > dpkg-source: error: add src/plugin/hashing.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/plugin/hh_term.cmi: binary > file contents changed > dpkg-source: error: add src/plugin/hh_term.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/plugin/hh_term.cmo: binary > file contents changed > dpkg-source: error: add src/plugin/hh_term.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/plugin/hh_term.cmt: binary > file contents changed > dpkg-source: error: add src/plugin/hh_term.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/plugin/hh_term.cmx: binary > file contents changed > dpkg-source: error: add src/plugin/hh_term.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/plugin/hh_term.o: binary > file contents changed > dpkg-source: error: add src/plugin/hh_term.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/plugin/msg.cmi: binary > file contents changed > dpkg-source: error: add src/plugin/msg.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/plugin/msg.cmt: binary > file contents changed > dpkg-source: error: add src/plugin/msg.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/plugin/msg.cmx: binary > file contents changed > dpkg-source: error: add src/plugin/msg.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/plugin/msg.o: binary file > contents changed > dpkg-source: error: add src/plugin/msg.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/plugin/opt.cmi: binary > file contents changed > dpkg-source: error: add src/plugin/opt.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/plugin/opt.cmt: binary > file contents changed > dpkg-source: error: add src/plugin/opt.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/plugin/opt.cmx: binary > file contents changed > dpkg-source: error: add src/plugin/opt.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/plugin/opt.o: binary file > contents changed > dpkg-source: error: add src/plugin/opt.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/plugin/parallel.cmi: > binary file contents changed > dpkg-source: error: add src/plugin/parallel.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/plugin/parallel.cmt: > binary file contents changed > dpkg-source: error: add src/plugin/parallel.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/plugin/parallel.cmx: > binary file contents changed > dpkg-source: error: add src/plugin/parallel.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/plugin/parallel.o: binary > file contents changed > dpkg-source: error: add src/plugin/parallel.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/plugin/provers.cmi: binary > file contents changed > dpkg-source: error: add src/plugin/provers.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/plugin/provers.cmt: binary > file contents changed > dpkg-source: error: add src/plugin/provers.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/plugin/provers.cmti: > binary file contents changed > dpkg-source: error: add src/plugin/provers.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/plugin/provers.cmx: binary > file contents changed > dpkg-source: error: add src/plugin/provers.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/plugin/provers.o: binary > file contents changed > dpkg-source: error: add src/plugin/provers.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/plugin/timeout.cmi: binary > file contents changed > dpkg-source: error: add src/plugin/timeout.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/plugin/timeout.cmt: binary > file contents changed > dpkg-source: error: add src/plugin/timeout.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/plugin/timeout.cmx: binary > file contents changed > dpkg-source: error: add src/plugin/timeout.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/plugin/timeout.o: binary > file contents changed > dpkg-source: error: add src/plugin/timeout.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/plugin/tptp_out.cmi: > binary file contents changed > dpkg-source: error: add src/plugin/tptp_out.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/plugin/tptp_out.cmt: > binary file contents changed > dpkg-source: error: add src/plugin/tptp_out.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/plugin/tptp_out.cmti: > binary file contents changed > dpkg-source: error: add src/plugin/tptp_out.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/plugin/tptp_out.cmx: > binary file contents changed > dpkg-source: error: add src/plugin/tptp_out.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/plugin/tptp_out.o: binary > file contents changed > dpkg-source: error: add src/plugin/tptp_out.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/tactics/g_hammer_tactics.cmi: binary file contents changed > dpkg-source: error: add src/tactics/g_hammer_tactics.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/tactics/g_hammer_tactics.cmt: binary file contents changed > dpkg-source: error: add src/tactics/g_hammer_tactics.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/tactics/g_hammer_tactics.cmx: binary file contents changed > dpkg-source: error: add src/tactics/g_hammer_tactics.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/tactics/g_hammer_tactics.o: binary file contents changed > dpkg-source: error: add src/tactics/g_hammer_tactics.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/tactics/hammer_tactics.a: > binary file contents changed > dpkg-source: error: add src/tactics/hammer_tactics.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/tactics/hammer_tactics.cmi: binary file contents changed > dpkg-source: error: add src/tactics/hammer_tactics.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/tactics/hammer_tactics.cmt: binary file contents changed > dpkg-source: error: add src/tactics/hammer_tactics.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/tactics/hammer_tactics.cmx: binary file contents changed > dpkg-source: error: add src/tactics/hammer_tactics.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/tactics/hammer_tactics.cmxa: binary file contents changed > dpkg-source: error: add src/tactics/hammer_tactics.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/tactics/hammer_tactics.cmxs: binary file contents changed > dpkg-source: error: add src/tactics/hammer_tactics.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/tactics/hammer_tactics.cmxs' will not be represented in diff > dpkg-source: error: cannot represent change to src/tactics/hammer_tactics.o: > binary file contents changed > dpkg-source: error: add src/tactics/hammer_tactics.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/tactics/sauto.cmi: binary > file contents changed > dpkg-source: error: add src/tactics/sauto.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/tactics/sauto.cmt: binary > file contents changed > dpkg-source: error: add src/tactics/sauto.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/tactics/sauto.cmti: binary > file contents changed > dpkg-source: error: add src/tactics/sauto.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/tactics/sauto.cmx: binary > file contents changed > dpkg-source: error: add src/tactics/sauto.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/tactics/sauto.o: binary > file contents changed > dpkg-source: error: add src/tactics/sauto.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/tactics/tacbest.cmi: > binary file contents changed > dpkg-source: error: add src/tactics/tacbest.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/tactics/tacbest.cmt: > binary file contents changed > dpkg-source: error: add src/tactics/tacbest.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/tactics/tacbest.cmti: > binary file contents changed > dpkg-source: error: add src/tactics/tacbest.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/tactics/tacbest.cmx: > binary file contents changed > dpkg-source: error: add src/tactics/tacbest.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/tactics/tacbest.o: binary > file contents changed > dpkg-source: error: add src/tactics/tacbest.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/tactics/tacopts.cmi: > binary file contents changed > dpkg-source: error: add src/tactics/tacopts.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/tactics/tacopts.cmt: > binary file contents changed > dpkg-source: error: add src/tactics/tacopts.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/tactics/tacopts.cmti: > binary file contents changed > dpkg-source: error: add src/tactics/tacopts.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/tactics/tacopts.cmx: > binary file contents changed > dpkg-source: error: add src/tactics/tacopts.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/tactics/tacopts.o: binary > file contents changed > dpkg-source: error: add src/tactics/tacopts.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/tactics/tactics_main.cmi: > binary file contents changed > dpkg-source: error: add src/tactics/tactics_main.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/tactics/tactics_main.cmt: > binary file contents changed > dpkg-source: error: add src/tactics/tactics_main.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/tactics/tactics_main.cmx: > binary file contents changed > dpkg-source: error: add src/tactics/tactics_main.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/tactics/tactics_main.o: > binary file contents changed > dpkg-source: error: add src/tactics/tactics_main.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 theories/Plugin/Hammer.vo: > binary file contents changed > dpkg-source: error: add theories/Plugin/Hammer.vo 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/Plugin/Hammer.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Plugin/Hammer.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to theories/Tactics/Hints.vo: > binary file contents changed > dpkg-source: error: add theories/Tactics/Hints.vo 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/Tactics/Hints.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Tactics/Hints.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to theories/Tactics/Reconstr.vo: > binary file contents changed > dpkg-source: error: add theories/Tactics/Reconstr.vo 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/Tactics/Reconstr.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'theories/Tactics/Reconstr.vos' will not be represented in diff > dpkg-source: error: cannot represent change to theories/Tactics/Reflect.vo: > binary file contents changed > dpkg-source: error: add theories/Tactics/Reflect.vo 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/Tactics/Reflect.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Tactics/Reflect.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to theories/Tactics/Tactics.vo: > binary file contents changed > dpkg-source: error: add theories/Tactics/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 'theories/Tactics/Tactics.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Tactics/Tactics.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-hammer_1.3.2+8.17-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.
