Bug#1044907: coq-relation-algebra: Fails to build source after successful build
Source: coq-relation-algebra
Version: 1.7.9-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-relation-algebra
> dpkg-buildpackage: info: source version 1.7.9-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,ocaml
> debian/rules override_dh_auto_clean
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> Doesn't work as expected
> make[1]: Leaving directory '/<<PKGBUILDDIR>>'
> dh_ocamlclean
> dh_clean
> dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building coq-relation-algebra using existing ./coq-relation-algebra_1.7.9.orig.tar.gz
> dpkg-source: error: cannot represent change to .nia.cache: binary file contents changed
> dpkg-source: error: add .nia.cache in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to examples/compiler_opts.vo: binary file contents changed
> dpkg-source: error: add examples/compiler_opts.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'examples/compiler_opts.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'examples/compiler_opts.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to examples/imp.vo: binary file contents changed
> dpkg-source: error: add examples/imp.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'examples/imp.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'examples/imp.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to examples/paterson.vo: binary file contents changed
> dpkg-source: error: add examples/paterson.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'examples/paterson.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'examples/paterson.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/common.cmi: binary file contents changed
> dpkg-source: error: add src/common.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/common.cmt: binary file contents changed
> dpkg-source: error: add src/common.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/common.cmti: binary file contents changed
> dpkg-source: error: add src/common.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/common.cmx: binary file contents changed
> dpkg-source: error: add src/common.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/common.o: binary file contents changed
> dpkg-source: error: add src/common.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/fold.cmi: binary file contents changed
> dpkg-source: error: add src/fold.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/fold.cmt: binary file contents changed
> dpkg-source: error: add src/fold.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/fold.cmti: binary file contents changed
> dpkg-source: error: add src/fold.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/fold.cmx: binary file contents changed
> dpkg-source: error: add src/fold.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/fold.o: binary file contents changed
> dpkg-source: error: add src/fold.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/fold_g.cmi: binary file contents changed
> dpkg-source: error: add src/fold_g.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/fold_g.cmt: binary file contents changed
> dpkg-source: error: add src/fold_g.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/fold_g.cmti: binary file contents changed
> dpkg-source: error: add src/fold_g.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/fold_g.cmx: binary file contents changed
> dpkg-source: error: add src/fold_g.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/fold_g.o: binary file contents changed
> dpkg-source: error: add src/fold_g.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/kat_dec.cmi: binary file contents changed
> dpkg-source: error: add src/kat_dec.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/kat_dec.cmt: binary file contents changed
> dpkg-source: error: add src/kat_dec.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/kat_dec.cmti: binary file contents changed
> dpkg-source: error: add src/kat_dec.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/kat_dec.cmx: binary file contents changed
> dpkg-source: error: add src/kat_dec.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/kat_dec.o: binary file contents changed
> dpkg-source: error: add src/kat_dec.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/kat_reification.cmi: binary file contents changed
> dpkg-source: error: add src/kat_reification.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/kat_reification.cmt: binary file contents changed
> dpkg-source: error: add src/kat_reification.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/kat_reification.cmti: binary file contents changed
> dpkg-source: error: add src/kat_reification.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/kat_reification.cmx: binary file contents changed
> dpkg-source: error: add src/kat_reification.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/kat_reification.o: binary file contents changed
> dpkg-source: error: add src/kat_reification.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/kat_reification_g.cmi: binary file contents changed
> dpkg-source: error: add src/kat_reification_g.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/kat_reification_g.cmt: binary file contents changed
> dpkg-source: error: add src/kat_reification_g.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/kat_reification_g.cmti: binary file contents changed
> dpkg-source: error: add src/kat_reification_g.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/kat_reification_g.cmx: binary file contents changed
> dpkg-source: error: add src/kat_reification_g.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/kat_reification_g.o: binary file contents changed
> dpkg-source: error: add src/kat_reification_g.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/mrewrite.cmi: binary file contents changed
> dpkg-source: error: add src/mrewrite.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/mrewrite.cmt: binary file contents changed
> dpkg-source: error: add src/mrewrite.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/mrewrite.cmti: binary file contents changed
> dpkg-source: error: add src/mrewrite.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/mrewrite.cmx: binary file contents changed
> dpkg-source: error: add src/mrewrite.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/mrewrite.o: binary file contents changed
> dpkg-source: error: add src/mrewrite.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/mrewrite_g.cmi: binary file contents changed
> dpkg-source: error: add src/mrewrite_g.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/mrewrite_g.cmt: binary file contents changed
> dpkg-source: error: add src/mrewrite_g.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/mrewrite_g.cmti: binary file contents changed
> dpkg-source: error: add src/mrewrite_g.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/mrewrite_g.cmx: binary file contents changed
> dpkg-source: error: add src/mrewrite_g.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/mrewrite_g.o: binary file contents changed
> dpkg-source: error: add src/mrewrite_g.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/packed_fold.a: binary file contents changed
> dpkg-source: error: add src/packed_fold.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/packed_fold.cmi: binary file contents changed
> dpkg-source: error: add src/packed_fold.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/packed_fold.cmt: binary file contents changed
> dpkg-source: error: add src/packed_fold.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/packed_fold.cmx: binary file contents changed
> dpkg-source: error: add src/packed_fold.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/packed_fold.cmxa: binary file contents changed
> dpkg-source: error: add src/packed_fold.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/packed_fold.cmxs: binary file contents changed
> dpkg-source: error: add src/packed_fold.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/packed_fold.cmxs' will not be represented in diff
> dpkg-source: error: cannot represent change to src/packed_fold.o: binary file contents changed
> dpkg-source: error: add src/packed_fold.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/packed_kat.a: binary file contents changed
> dpkg-source: error: add src/packed_kat.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/packed_kat.cmi: binary file contents changed
> dpkg-source: error: add src/packed_kat.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/packed_kat.cmt: binary file contents changed
> dpkg-source: error: add src/packed_kat.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/packed_kat.cmx: binary file contents changed
> dpkg-source: error: add src/packed_kat.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/packed_kat.cmxa: binary file contents changed
> dpkg-source: error: add src/packed_kat.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/packed_kat.cmxs: binary file contents changed
> dpkg-source: error: add src/packed_kat.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/packed_kat.cmxs' will not be represented in diff
> dpkg-source: error: cannot represent change to src/packed_kat.o: binary file contents changed
> dpkg-source: error: add src/packed_kat.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/packed_mrewrite.a: binary file contents changed
> dpkg-source: error: add src/packed_mrewrite.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/packed_mrewrite.cmi: binary file contents changed
> dpkg-source: error: add src/packed_mrewrite.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/packed_mrewrite.cmt: binary file contents changed
> dpkg-source: error: add src/packed_mrewrite.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/packed_mrewrite.cmx: binary file contents changed
> dpkg-source: error: add src/packed_mrewrite.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/packed_mrewrite.cmxa: binary file contents changed
> dpkg-source: error: add src/packed_mrewrite.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/packed_mrewrite.cmxs: binary file contents changed
> dpkg-source: error: add src/packed_mrewrite.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/packed_mrewrite.cmxs' will not be represented in diff
> dpkg-source: error: cannot represent change to src/packed_mrewrite.o: binary file contents changed
> dpkg-source: error: add src/packed_mrewrite.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/packed_reification.a: binary file contents changed
> dpkg-source: error: add src/packed_reification.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/packed_reification.cmi: binary file contents changed
> dpkg-source: error: add src/packed_reification.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/packed_reification.cmt: binary file contents changed
> dpkg-source: error: add src/packed_reification.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/packed_reification.cmx: binary file contents changed
> dpkg-source: error: add src/packed_reification.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/packed_reification.cmxa: binary file contents changed
> dpkg-source: error: add src/packed_reification.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/packed_reification.cmxs: binary file contents changed
> dpkg-source: error: add src/packed_reification.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/packed_reification.cmxs' will not be represented in diff
> dpkg-source: error: cannot represent change to src/packed_reification.o: binary file contents changed
> dpkg-source: error: add src/packed_reification.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/plugins.a: binary file contents changed
> dpkg-source: error: add src/plugins.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/plugins.cmi: binary file contents changed
> dpkg-source: error: add src/plugins.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/plugins.cmt: binary file contents changed
> dpkg-source: error: add src/plugins.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/plugins.cmx: binary file contents changed
> dpkg-source: error: add src/plugins.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/plugins.cmxa: binary file contents changed
> dpkg-source: error: add src/plugins.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/plugins.cmxs: binary file contents changed
> dpkg-source: error: add src/plugins.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/plugins.cmxs' will not be represented in diff
> dpkg-source: error: cannot represent change to src/plugins.o: binary file contents changed
> dpkg-source: error: add src/plugins.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/reification.cmi: binary file contents changed
> dpkg-source: error: add src/reification.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/reification.cmt: binary file contents changed
> dpkg-source: error: add src/reification.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/reification.cmti: binary file contents changed
> dpkg-source: error: add src/reification.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/reification.cmx: binary file contents changed
> dpkg-source: error: add src/reification.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/reification.o: binary file contents changed
> dpkg-source: error: add src/reification.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/reification_g.cmi: binary file contents changed
> dpkg-source: error: add src/reification_g.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/reification_g.cmt: binary file contents changed
> dpkg-source: error: add src/reification_g.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/reification_g.cmti: binary file contents changed
> dpkg-source: error: add src/reification_g.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/reification_g.cmx: binary file contents changed
> dpkg-source: error: add src/reification_g.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/reification_g.o: binary file contents changed
> dpkg-source: error: add src/reification_g.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/all.vo: binary file contents changed
> dpkg-source: error: add theories/all.vo 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/all.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/all.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/atoms.vo: binary file contents changed
> dpkg-source: error: add theories/atoms.vo 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/atoms.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/atoms.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/bmx.vo: binary file contents changed
> dpkg-source: error: add theories/bmx.vo 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/bmx.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/bmx.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/boolean.vo: binary file contents changed
> dpkg-source: error: add theories/boolean.vo 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/boolean.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/boolean.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/common.vo: binary file contents changed
> dpkg-source: error: add theories/common.vo 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/common.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/common.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/comparisons.vo: binary file contents changed
> dpkg-source: error: add theories/comparisons.vo 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/comparisons.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/comparisons.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/denum.vo: binary file contents changed
> dpkg-source: error: add theories/denum.vo 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/denum.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/denum.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/dfa.vo: binary file contents changed
> dpkg-source: error: add theories/dfa.vo 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/dfa.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/dfa.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/factors.vo: binary file contents changed
> dpkg-source: error: add theories/factors.vo 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/factors.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/factors.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/fhrel.vo: binary file contents changed
> dpkg-source: error: add theories/fhrel.vo 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/fhrel.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/fhrel.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/glang.vo: binary file contents changed
> dpkg-source: error: add theories/glang.vo 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/glang.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/glang.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/gregex.vo: binary file contents changed
> dpkg-source: error: add theories/gregex.vo 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/gregex.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/gregex.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/ka_completeness.vo: binary file contents changed
> dpkg-source: error: add theories/ka_completeness.vo 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/ka_completeness.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/ka_completeness.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/kat.vo: binary file contents changed
> dpkg-source: error: add theories/kat.vo 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/kat.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/kat.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/kat_completeness.vo: binary file contents changed
> dpkg-source: error: add theories/kat_completeness.vo 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/kat_completeness.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/kat_completeness.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/kat_reification.vo: binary file contents changed
> dpkg-source: error: add theories/kat_reification.vo 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/kat_reification.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/kat_reification.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/kat_tac.vo: binary file contents changed
> dpkg-source: error: add theories/kat_tac.vo 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/kat_tac.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/kat_tac.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/kat_untyping.vo: binary file contents changed
> dpkg-source: error: add theories/kat_untyping.vo 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/kat_untyping.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/kat_untyping.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/kleene.vo: binary file contents changed
> dpkg-source: error: add theories/kleene.vo 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/kleene.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/kleene.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/lang.vo: binary file contents changed
> dpkg-source: error: add theories/lang.vo 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/lang.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/lang.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/lattice.vo: binary file contents changed
> dpkg-source: error: add theories/lattice.vo 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/lattice.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/lattice.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/level.vo: binary file contents changed
> dpkg-source: error: add theories/level.vo 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/level.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/level.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/lset.vo: binary file contents changed
> dpkg-source: error: add theories/lset.vo 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/lset.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/lset.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/lsyntax.vo: binary file contents changed
> dpkg-source: error: add theories/lsyntax.vo 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/lsyntax.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/lsyntax.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/matrix.vo: binary file contents changed
> dpkg-source: error: add theories/matrix.vo 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/matrix.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/matrix.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/matrix_ext.vo: binary file contents changed
> dpkg-source: error: add theories/matrix_ext.vo 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/matrix_ext.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/matrix_ext.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/monoid.vo: binary file contents changed
> dpkg-source: error: add theories/monoid.vo 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/monoid.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/monoid.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/move.vo: binary file contents changed
> dpkg-source: error: add theories/move.vo 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/move.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/move.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/nfa.vo: binary file contents changed
> dpkg-source: error: add theories/nfa.vo 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/nfa.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/nfa.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/normalisation.vo: binary file contents changed
> dpkg-source: error: add theories/normalisation.vo 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/normalisation.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/normalisation.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/ordinal.vo: binary file contents changed
> dpkg-source: error: add theories/ordinal.vo 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/ordinal.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/ordinal.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/pair.vo: binary file contents changed
> dpkg-source: error: add theories/pair.vo 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/pair.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/pair.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/positives.vo: binary file contents changed
> dpkg-source: error: add theories/positives.vo 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/positives.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/positives.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/powerfix.vo: binary file contents changed
> dpkg-source: error: add theories/powerfix.vo 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/powerfix.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/powerfix.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/prop.vo: binary file contents changed
> dpkg-source: error: add theories/prop.vo 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/prop.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/prop.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/regex.vo: binary file contents changed
> dpkg-source: error: add theories/regex.vo 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/regex.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/regex.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/rel.vo: binary file contents changed
> dpkg-source: error: add theories/rel.vo 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/rel.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/rel.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/relalg.vo: binary file contents changed
> dpkg-source: error: add theories/relalg.vo 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/relalg.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/relalg.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/rewriting.vo: binary file contents changed
> dpkg-source: error: add theories/rewriting.vo 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/rewriting.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/rewriting.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/rewriting_aac.vo: binary file contents changed
> dpkg-source: error: add theories/rewriting_aac.vo 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/rewriting_aac.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/rewriting_aac.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/rmx.vo: binary file contents changed
> dpkg-source: error: add theories/rmx.vo 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/rmx.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/rmx.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/srel.vo: binary file contents changed
> dpkg-source: error: add theories/srel.vo 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/srel.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/srel.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/sums.vo: binary file contents changed
> dpkg-source: error: add theories/sums.vo 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/sums.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/sums.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/sups.vo: binary file contents changed
> dpkg-source: error: add theories/sups.vo 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/sups.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/sups.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/syntax.vo: binary file contents changed
> dpkg-source: error: add theories/syntax.vo 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/syntax.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/syntax.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/traces.vo: binary file contents changed
> dpkg-source: error: add theories/traces.vo 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/traces.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/traces.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/ugregex.vo: binary file contents changed
> dpkg-source: error: add theories/ugregex.vo 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/ugregex.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/ugregex.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/ugregex_dec.vo: binary file contents changed
> dpkg-source: error: add theories/ugregex_dec.vo 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/ugregex_dec.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/ugregex_dec.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/untyping.vo: binary file contents changed
> dpkg-source: error: add theories/untyping.vo 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/untyping.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/untyping.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-relation-algebra_1.7.9-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: