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

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

Your message dated Fri, 22 Dec 2023 10:35:20 +0000
with message-id <E1rGcsC-00DSfn-Ii@fasolo.debian.org>
and subject line Bug#1044750: fixed in coq-hammer 1.3.2+8.18-1
has caused the Debian Bug report #1044750,
regarding coq-hammer: 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.)


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

--- End Message ---
--- Begin Message --- 
Source: coq-hammer
Source-Version: 1.3.2+8.18-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coq-hammer, 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 1044750@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-hammer 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:25:22 +0100
Source: coq-hammer
Architecture: source
Version: 1.3.2+8.18-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044750
Changes:
 coq-hammer (1.3.2+8.18-1) unstable; urgency=medium
 .
   * Fix d/rules clean target (Closes: #1044750).
   * New upstream release.
Checksums-Sha1:
 5dd1d69bfe2f0bde76098fa53bcd9475aee3a19a 2112 coq-hammer_1.3.2+8.18-1.dsc
 25f798685b5202f41f770f74e17f0d8e8699cb3c 148820 coq-hammer_1.3.2+8.18.orig.tar.gz
 ec264711b07e253d35faffff96b3bd83aeefa873 2584 coq-hammer_1.3.2+8.18-1.debian.tar.xz
 5557a05ed63bd36af96c924af309b3a4904295fe 7856 coq-hammer_1.3.2+8.18-1_source.buildinfo
Checksums-Sha256:
 bca11e8dbcfb70952bc0beaf7ad3c5e928ad930edf4cc8d597157a906956dc16 2112 coq-hammer_1.3.2+8.18-1.dsc
 4c619b72bed0963436eca485bfceda8448790e8cd128292385a970190c0eed6a 148820 coq-hammer_1.3.2+8.18.orig.tar.gz
 5fc0f856eba5763404958c6b7f0cec6637a6f51ba7411ea1d8a422853c9b7530 2584 coq-hammer_1.3.2+8.18-1.debian.tar.xz
 d8e487aaf62c90579db0687693213a3263b545d246dff554f2cb30d7f21c7c77 7856 coq-hammer_1.3.2+8.18-1_source.buildinfo
Files:
 33900f44cdf0580d42e3705288132c63 2112 ocaml optional coq-hammer_1.3.2+8.18-1.dsc
 58022a87c9d0b8e5a2838733190ecd6d 148820 ocaml optional coq-hammer_1.3.2+8.18.orig.tar.gz
 ba492d539b5d7279278e55e97ec984db 2584 ocaml optional coq-hammer_1.3.2+8.18-1.debian.tar.xz
 f54322ed3271e36e8117fe555449e638 7856 ocaml optional coq-hammer_1.3.2+8.18-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWESvwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR+iwQAIWUPapkIFfnxDXvuqyqWOUIMBoMQjUS
lpW2hGG87tePGIUFSyghIPfqA3cwHvg3xFnT0TbNUbmJ3exrqiFZuWRXHUTO4dUt
QxCcwgIOU7gMKiykgra17hrNRVtofHoIKlMxTSF9y/btsDSN9aICZj9YkRv8CdCS
umfdgb75rf6FM6rZPScrkqglFd9zaOapFSV7oDbBNsB5HqtpyL8uR9BBaW+RO5aX
s37hJh2YhHF8mkkSgC7QPl5xxmiX9Vt7dbgu7PpGxuQFJnppofBRvk9Sc9LxDOHx
wi68so7k7tXbmJq14wOlLIxocVG6O0puPCM3fG4Uw3D34nvRhRbV4QIDpzxSPujy
0y9Gfc1WxfBlvTvsoNmxIfUx0/AOA5fn6yV27DDvTUmfAU84E5OW6574C+2VkWKg
V4tr5cAcBaKfLxDo1b1K80TGXTho+/019KfN88GhR4JhsKQIytN4QRLqr41PaSov
1E7TZWvN2mJfJ3JHrOVfeakt6GiTkydcmFCGvkhOgemSv17xXOkccRlawTIt2SUc
7vrXuPFc6/2i3yk0bV3l5Y6M0p3/s3N7WUbri717ayjafEcDEVLHXcA2Iow/HaPF
R7+h7dJKqGDzBc7btDFVHc5x/jmRgMDCnIqgB0zOCraPyxbpBl2kSXcMmKoAUvrU
9pjJjhtJYlkN
=LgIx
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: