Bug#1044750: coq-hammer: Fails to build source after successful build
Source: coq-hammer
Version: 1.3.2+8.17-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-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 <jpuydt@debian.org>
> 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.
Reply to: