Source: coq-relation-algebra Version: 1.7.9-1 Severity: minor Tags: trixie sid ftbfs User: [email protected] Usertags: ftbfs-sab-20230813 ftbfs-source-after-build User: [email protected] Usertags: qa-doublebuild
Hi, This package fails to build a source package after a successful build (dpkg-buildpackage ; dpkg-buildpackage -S). This is probably a clear violation of Debian Policy section 4.9 (clean target), but this is filed as severity:minor for now, because a discussion on debian-devel showed that we might want to revisit the requirement of a working 'clean' target. More information about this class of issues, included common problems and solutions, is available at https://wiki.debian.org/qa.debian.org/FTBFS/SourceAfterBuild Relevant part of the build log: > cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env > -us -uc -rfakeroot -S > ----------------------------------------------------------------------------------------------------------------------------------------------- > > dpkg-buildpackage: info: source package coq-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 <[email protected]> > 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.
