Source: coq-equations Version: 1.3-8.17-1 Severity: minor Tags: trixie sid ftbfs User: [email protected] Usertags: ftbfs-sab-20230813 ftbfs-source-after-build User: [email protected] Usertags: qa-doublebuild
Hi, This package fails to build a source package after a successful build (dpkg-buildpackage ; dpkg-buildpackage -S). This is probably a clear violation of Debian Policy section 4.9 (clean target), but this is filed as severity:minor for now, because a discussion on debian-devel showed that we might want to revisit the requirement of a working 'clean' target. More information about this class of issues, included common problems and solutions, is available at https://wiki.debian.org/qa.debian.org/FTBFS/SourceAfterBuild Relevant part of the build log: > cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env > -us -uc -rfakeroot -S > ------------------------------------------------------------------------------------------------------------------------------------ > > dpkg-buildpackage: info: source package coq-equations > dpkg-buildpackage: info: source version 1.3-8.17-1 > dpkg-buildpackage: info: source distribution unstable > dpkg-buildpackage: info: source changed by Julien Puydt <[email protected]> > dpkg-source --before-build . > debian/rules clean > dh clean --with coq,ocaml > debian/rules override_dh_auto_clean > make[1]: Entering directory '/<<PKGBUILDDIR>>' > # doesn't work > 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-equations using existing > ./coq-equations_1.3-8.17.orig.tar.gz > dpkg-source: error: cannot represent change to src/context_map.cmi: binary > file contents changed > dpkg-source: error: add src/context_map.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/context_map.cmt: binary > file contents changed > dpkg-source: error: add src/context_map.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/context_map.cmti: binary > file contents changed > dpkg-source: error: add src/context_map.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/context_map.cmx: binary > file contents changed > dpkg-source: error: add src/context_map.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/context_map.o: binary file > contents changed > dpkg-source: error: add src/context_map.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/covering.cmi: binary file > contents changed > dpkg-source: error: add src/covering.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/covering.cmt: binary file > contents changed > dpkg-source: error: add src/covering.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/covering.cmti: binary file > contents changed > dpkg-source: error: add src/covering.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/covering.cmx: binary file > contents changed > dpkg-source: error: add src/covering.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/covering.o: binary file > contents changed > dpkg-source: error: add src/covering.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/depelim.cmi: binary file > contents changed > dpkg-source: error: add src/depelim.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/depelim.cmt: binary file > contents changed > dpkg-source: error: add src/depelim.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/depelim.cmti: binary file > contents changed > dpkg-source: error: add src/depelim.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/depelim.cmx: binary file > contents changed > dpkg-source: error: add src/depelim.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/depelim.o: binary file > contents changed > dpkg-source: error: add src/depelim.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/ederive.cmi: binary file > contents changed > dpkg-source: error: add src/ederive.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/ederive.cmt: binary file > contents changed > dpkg-source: error: add src/ederive.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/ederive.cmti: binary file > contents changed > dpkg-source: error: add src/ederive.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/ederive.cmx: binary file > contents changed > dpkg-source: error: add src/ederive.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/ederive.o: binary file > contents changed > dpkg-source: error: add src/ederive.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/eqdec.cmi: binary file > contents changed > dpkg-source: error: add src/eqdec.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/eqdec.cmt: binary file > contents changed > dpkg-source: error: add src/eqdec.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/eqdec.cmti: binary file > contents changed > dpkg-source: error: add src/eqdec.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/eqdec.cmx: binary file > contents changed > dpkg-source: error: add src/eqdec.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/eqdec.o: binary file > contents changed > dpkg-source: error: add src/eqdec.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/equations.cmi: binary file > contents changed > dpkg-source: error: add src/equations.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/equations.cmt: binary file > contents changed > dpkg-source: error: add src/equations.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/equations.cmti: binary > file contents changed > dpkg-source: error: add src/equations.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/equations.cmx: binary file > contents changed > dpkg-source: error: add src/equations.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/equations.o: binary file > contents changed > dpkg-source: error: add src/equations.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/equations_common.cmi: > binary file contents changed > dpkg-source: error: add src/equations_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/equations_common.cmt: > binary file contents changed > dpkg-source: error: add src/equations_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/equations_common.cmti: > binary file contents changed > dpkg-source: error: add src/equations_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/equations_common.cmx: > binary file contents changed > dpkg-source: error: add src/equations_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/equations_common.o: binary > file contents changed > dpkg-source: error: add src/equations_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/equations_plugin.a: binary > file contents changed > dpkg-source: error: add src/equations_plugin.a in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to src/equations_plugin.cmxa: > binary file contents changed > dpkg-source: error: add src/equations_plugin.cmxa in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to src/equations_plugin.cmxs: > binary file contents changed > dpkg-source: error: add src/equations_plugin.cmxs in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: executable mode 0755 of 'src/equations_plugin.cmxs' > will not be represented in diff > dpkg-source: error: cannot represent change to src/extra_tactics.cmi: binary > file contents changed > dpkg-source: error: add src/extra_tactics.cmi in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to src/extra_tactics.cmt: binary > file contents changed > dpkg-source: error: add src/extra_tactics.cmt in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to src/extra_tactics.cmti: binary > file contents changed > dpkg-source: error: add src/extra_tactics.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/extra_tactics.cmx: binary > file contents changed > dpkg-source: error: add src/extra_tactics.cmx in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to src/extra_tactics.o: binary > file contents changed > dpkg-source: error: add src/extra_tactics.o in debian/source/include-binaries > if you want to store the modified binary in the debian tarball > dpkg-source: error: cannot represent change to src/g_equations.cmi: binary > file contents changed > dpkg-source: error: add src/g_equations.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/g_equations.cmt: binary > file contents changed > dpkg-source: error: add src/g_equations.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/g_equations.cmx: binary > file contents changed > dpkg-source: error: add src/g_equations.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/g_equations.o: binary file > contents changed > dpkg-source: error: add src/g_equations.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/noconf.cmi: binary file > contents changed > dpkg-source: error: add src/noconf.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/noconf.cmt: binary file > contents changed > dpkg-source: error: add src/noconf.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/noconf.cmti: binary file > contents changed > dpkg-source: error: add src/noconf.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/noconf.cmx: binary file > contents changed > dpkg-source: error: add src/noconf.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/noconf.o: binary file > contents changed > dpkg-source: error: add src/noconf.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/noconf_hom.cmi: binary > file contents changed > dpkg-source: error: add src/noconf_hom.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/noconf_hom.cmt: binary > file contents changed > dpkg-source: error: add src/noconf_hom.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/noconf_hom.cmti: binary > file contents changed > dpkg-source: error: add src/noconf_hom.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/noconf_hom.cmx: binary > file contents changed > dpkg-source: error: add src/noconf_hom.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/noconf_hom.o: binary file > contents changed > dpkg-source: error: add src/noconf_hom.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/principles.cmi: binary > file contents changed > dpkg-source: error: add src/principles.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/principles.cmt: binary > file contents changed > dpkg-source: error: add src/principles.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/principles.cmti: binary > file contents changed > dpkg-source: error: add src/principles.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/principles.cmx: binary > file contents changed > dpkg-source: error: add src/principles.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/principles.o: binary file > contents changed > dpkg-source: error: add src/principles.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/principles_proofs.cmi: > binary file contents changed > dpkg-source: error: add src/principles_proofs.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/principles_proofs.cmt: > binary file contents changed > dpkg-source: error: add src/principles_proofs.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/principles_proofs.cmti: > binary file contents changed > dpkg-source: error: add src/principles_proofs.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/principles_proofs.cmx: > binary file contents changed > dpkg-source: error: add src/principles_proofs.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/principles_proofs.o: > binary file contents changed > dpkg-source: error: add src/principles_proofs.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/sigma_types.cmi: binary > file contents changed > dpkg-source: error: add src/sigma_types.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/sigma_types.cmt: binary > file contents changed > dpkg-source: error: add src/sigma_types.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/sigma_types.cmti: binary > file contents changed > dpkg-source: error: add src/sigma_types.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/sigma_types.cmx: binary > file contents changed > dpkg-source: error: add src/sigma_types.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/sigma_types.o: binary file > contents changed > dpkg-source: error: add src/sigma_types.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/simplify.cmi: binary file > contents changed > dpkg-source: error: add src/simplify.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/simplify.cmt: binary file > contents changed > dpkg-source: error: add src/simplify.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/simplify.cmti: binary file > contents changed > dpkg-source: error: add src/simplify.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/simplify.cmx: binary file > contents changed > dpkg-source: error: add src/simplify.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/simplify.o: binary file > contents changed > dpkg-source: error: add src/simplify.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/splitting.cmi: binary file > contents changed > dpkg-source: error: add src/splitting.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/splitting.cmt: binary file > contents changed > dpkg-source: error: add src/splitting.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/splitting.cmti: binary > file contents changed > dpkg-source: error: add src/splitting.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/splitting.cmx: binary file > contents changed > dpkg-source: error: add src/splitting.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/splitting.o: binary file > contents changed > dpkg-source: error: add src/splitting.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/subterm.cmi: binary file > contents changed > dpkg-source: error: add src/subterm.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/subterm.cmt: binary file > contents changed > dpkg-source: error: add src/subterm.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/subterm.cmti: binary file > contents changed > dpkg-source: error: add src/subterm.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/subterm.cmx: binary file > contents changed > dpkg-source: error: add src/subterm.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/subterm.o: binary file > contents changed > dpkg-source: error: add src/subterm.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/syntax.cmi: binary file > contents changed > dpkg-source: error: add src/syntax.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/syntax.cmt: binary file > contents changed > dpkg-source: error: add src/syntax.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/syntax.cmti: binary file > contents changed > dpkg-source: error: add src/syntax.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/syntax.cmx: binary file > contents changed > dpkg-source: error: add src/syntax.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/syntax.o: binary file > contents changed > dpkg-source: error: add src/syntax.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 test-suite/BasicsHoTT.vo: > binary file contents changed > dpkg-source: error: add test-suite/BasicsHoTT.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 'test-suite/BasicsHoTT.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'test-suite/BasicsHoTT.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to test-suite/issues/issue389.vo: > binary file contents changed > dpkg-source: error: add test-suite/issues/issue389.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 > 'test-suite/issues/issue389.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'test-suite/issues/issue389.vos' will not be represented in diff > dpkg-source: error: cannot represent change to theories/CoreTactics.vo: > binary file contents changed > dpkg-source: error: add theories/CoreTactics.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/CoreTactics.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/CoreTactics.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to theories/HoTT/All.vo: binary > file contents changed > dpkg-source: error: add theories/HoTT/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/HoTT/All.vok' will > not be represented in diff > dpkg-source: warning: newly created empty file 'theories/HoTT/All.vos' will > not be represented in diff > dpkg-source: error: cannot represent change to theories/HoTT/Classes.vo: > binary file contents changed > dpkg-source: error: add theories/HoTT/Classes.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/HoTT/Classes.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/HoTT/Classes.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to theories/HoTT/Constants.vo: > binary file contents changed > dpkg-source: error: add theories/HoTT/Constants.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/HoTT/Constants.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/HoTT/Constants.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to theories/HoTT/DepElim.vo: > binary file contents changed > dpkg-source: error: add theories/HoTT/DepElim.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/HoTT/DepElim.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/HoTT/DepElim.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to theories/HoTT/EqDec.vo: binary > file contents changed > dpkg-source: error: add theories/HoTT/EqDec.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/HoTT/EqDec.vok' will > not be represented in diff > dpkg-source: warning: newly created empty file 'theories/HoTT/EqDec.vos' will > not be represented in diff > dpkg-source: error: cannot represent change to > theories/HoTT/EqDecInstances.vo: binary file contents changed > dpkg-source: error: add theories/HoTT/EqDecInstances.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/HoTT/EqDecInstances.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'theories/HoTT/EqDecInstances.vos' will not be represented in diff > dpkg-source: error: cannot represent change to > theories/HoTT/FunctionalInduction.vo: binary file contents changed > dpkg-source: error: add theories/HoTT/FunctionalInduction.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/HoTT/FunctionalInduction.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'theories/HoTT/FunctionalInduction.vos' will not be represented in diff > dpkg-source: error: cannot represent change to theories/HoTT/Loader.vo: > binary file contents changed > dpkg-source: error: add theories/HoTT/Loader.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/HoTT/Loader.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/HoTT/Loader.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to theories/HoTT/Logic.vo: binary > file contents changed > dpkg-source: error: add theories/HoTT/Logic.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/HoTT/Logic.vok' will > not be represented in diff > dpkg-source: warning: newly created empty file 'theories/HoTT/Logic.vos' will > not be represented in diff > dpkg-source: error: cannot represent change to theories/HoTT/NoConfusion.vo: > binary file contents changed > dpkg-source: error: add theories/HoTT/NoConfusion.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/HoTT/NoConfusion.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'theories/HoTT/NoConfusion.vos' will not be represented in diff > dpkg-source: error: cannot represent change to theories/HoTT/Relation.vo: > binary file contents changed > dpkg-source: error: add theories/HoTT/Relation.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/HoTT/Relation.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/HoTT/Relation.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to > theories/HoTT/Relation_Properties.vo: binary file contents changed > dpkg-source: error: add theories/HoTT/Relation_Properties.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/HoTT/Relation_Properties.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'theories/HoTT/Relation_Properties.vos' will not be represented in diff > dpkg-source: error: cannot represent change to theories/HoTT/Subterm.vo: > binary file contents changed > dpkg-source: error: add theories/HoTT/Subterm.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/HoTT/Subterm.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/HoTT/Subterm.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to theories/HoTT/Tactics.vo: > binary file contents changed > dpkg-source: error: add theories/HoTT/Tactics.vo in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: newly created empty file 'theories/HoTT/Tactics.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/HoTT/Tactics.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to theories/HoTT/Telescopes.vo: > binary file contents changed > dpkg-source: error: add theories/HoTT/Telescopes.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/HoTT/Telescopes.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/HoTT/Telescopes.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to theories/HoTT/WellFounded.vo: > binary file contents changed > dpkg-source: error: add theories/HoTT/WellFounded.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/HoTT/WellFounded.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'theories/HoTT/WellFounded.vos' will not be represented in diff > dpkg-source: error: cannot represent change to > theories/HoTT/WellFoundedInstances.vo: binary file contents changed > dpkg-source: error: add theories/HoTT/WellFoundedInstances.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/HoTT/WellFoundedInstances.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'theories/HoTT/WellFoundedInstances.vos' will not be represented in diff > dpkg-source: error: cannot represent change to theories/Init.vo: binary file > contents changed > dpkg-source: error: add theories/Init.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/Init.vok' will not > be represented in diff > dpkg-source: warning: newly created empty file 'theories/Init.vos' will not > be represented in diff > dpkg-source: error: cannot represent change to theories/Prop/Classes.vo: > binary file contents changed > dpkg-source: error: add theories/Prop/Classes.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/Classes.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Prop/Classes.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to theories/Prop/Constants.vo: > binary file contents changed > dpkg-source: error: add theories/Prop/Constants.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/Constants.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Prop/Constants.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to theories/Prop/DepElim.vo: > binary file contents changed > dpkg-source: error: add theories/Prop/DepElim.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/DepElim.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Prop/DepElim.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to theories/Prop/EqDec.vo: binary > file contents changed > dpkg-source: error: add theories/Prop/EqDec.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/EqDec.vok' will > not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Prop/EqDec.vos' will > not be represented in diff > dpkg-source: error: cannot represent change to > theories/Prop/EqDecInstances.vo: binary file contents changed > dpkg-source: error: add theories/Prop/EqDecInstances.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/EqDecInstances.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'theories/Prop/EqDecInstances.vos' will not be represented in diff > dpkg-source: error: cannot represent change to theories/Prop/Equations.vo: > binary file contents changed > dpkg-source: error: add theories/Prop/Equations.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/Equations.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Prop/Equations.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to > theories/Prop/FunctionalInduction.vo: binary file contents changed > dpkg-source: error: add theories/Prop/FunctionalInduction.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/FunctionalInduction.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'theories/Prop/FunctionalInduction.vos' will not be represented in diff > dpkg-source: error: cannot represent change to theories/Prop/Loader.vo: > binary file contents changed > dpkg-source: error: add theories/Prop/Loader.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/Loader.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Prop/Loader.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to theories/Prop/Logic.vo: binary > file contents changed > dpkg-source: error: add theories/Prop/Logic.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/Logic.vok' will > not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Prop/Logic.vos' will > not be represented in diff > dpkg-source: error: cannot represent change to theories/Prop/NoConfusion.vo: > binary file contents changed > dpkg-source: error: add theories/Prop/NoConfusion.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/NoConfusion.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'theories/Prop/NoConfusion.vos' will not be represented in diff > dpkg-source: error: cannot represent change to > theories/Prop/NoConfusion_UIP.vo: binary file contents changed > dpkg-source: error: add theories/Prop/NoConfusion_UIP.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/NoConfusion_UIP.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'theories/Prop/NoConfusion_UIP.vos' will not be represented in diff > dpkg-source: error: cannot represent change to theories/Prop/NoCycle.vo: > binary file contents changed > dpkg-source: error: add theories/Prop/NoCycle.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/NoCycle.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Prop/NoCycle.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to > theories/Prop/OpaqueEquations.vo: binary file contents changed > dpkg-source: error: add theories/Prop/OpaqueEquations.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/OpaqueEquations.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'theories/Prop/OpaqueEquations.vos' will not be represented in diff > dpkg-source: error: cannot represent change to theories/Prop/Subterm.vo: > binary file contents changed > dpkg-source: error: add theories/Prop/Subterm.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/Subterm.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Prop/Subterm.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to theories/Prop/Tactics.vo: > binary file contents changed > dpkg-source: error: add theories/Prop/Tactics.vo in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: newly created empty file 'theories/Prop/Tactics.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Prop/Tactics.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to theories/Prop/Telescopes.vo: > binary file contents changed > dpkg-source: error: add theories/Prop/Telescopes.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/Telescopes.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Prop/Telescopes.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to > theories/Prop/TransparentEquations.vo: binary file contents changed > dpkg-source: error: add theories/Prop/TransparentEquations.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/TransparentEquations.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'theories/Prop/TransparentEquations.vos' will not be represented in diff > dpkg-source: error: cannot represent change to theories/Signature.vo: binary > file contents changed > dpkg-source: error: add theories/Signature.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/Signature.vok' will > not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Signature.vos' will > not be represented in diff > dpkg-source: error: cannot represent change to theories/Type/All.vo: binary > file contents changed > dpkg-source: error: add theories/Type/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/Type/All.vok' will > not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Type/All.vos' will > not be represented in diff > dpkg-source: error: cannot represent change to theories/Type/Classes.vo: > binary file contents changed > dpkg-source: error: add theories/Type/Classes.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/Type/Classes.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Type/Classes.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to theories/Type/Constants.vo: > binary file contents changed > dpkg-source: error: add theories/Type/Constants.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/Type/Constants.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Type/Constants.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to theories/Type/DepElim.vo: > binary file contents changed > dpkg-source: error: add theories/Type/DepElim.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/Type/DepElim.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Type/DepElim.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to theories/Type/EqDec.vo: binary > file contents changed > dpkg-source: error: add theories/Type/EqDec.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/Type/EqDec.vok' will > not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Type/EqDec.vos' will > not be represented in diff > dpkg-source: error: cannot represent change to > theories/Type/EqDecInstances.vo: binary file contents changed > dpkg-source: error: add theories/Type/EqDecInstances.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/Type/EqDecInstances.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'theories/Type/EqDecInstances.vos' will not be represented in diff > dpkg-source: error: cannot represent change to > theories/Type/FunctionalExtensionality.vo: binary file contents changed > dpkg-source: error: add theories/Type/FunctionalExtensionality.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/Type/FunctionalExtensionality.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'theories/Type/FunctionalExtensionality.vos' will not be represented in diff > dpkg-source: error: cannot represent change to > theories/Type/FunctionalInduction.vo: binary file contents changed > dpkg-source: error: add theories/Type/FunctionalInduction.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/Type/FunctionalInduction.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'theories/Type/FunctionalInduction.vos' will not be represented in diff > dpkg-source: error: cannot represent change to theories/Type/Loader.vo: > binary file contents changed > dpkg-source: error: add theories/Type/Loader.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/Type/Loader.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Type/Loader.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to theories/Type/Logic.vo: binary > file contents changed > dpkg-source: error: add theories/Type/Logic.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/Type/Logic.vok' will > not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Type/Logic.vos' will > not be represented in diff > dpkg-source: error: cannot represent change to theories/Type/NoConfusion.vo: > binary file contents changed > dpkg-source: error: add theories/Type/NoConfusion.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/Type/NoConfusion.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'theories/Type/NoConfusion.vos' will not be represented in diff > dpkg-source: error: cannot represent change to theories/Type/Relation.vo: > binary file contents changed > dpkg-source: error: add theories/Type/Relation.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/Type/Relation.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Type/Relation.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to > theories/Type/Relation_Properties.vo: binary file contents changed > dpkg-source: error: add theories/Type/Relation_Properties.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/Type/Relation_Properties.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'theories/Type/Relation_Properties.vos' will not be represented in diff > dpkg-source: error: cannot represent change to theories/Type/Subterm.vo: > binary file contents changed > dpkg-source: error: add theories/Type/Subterm.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/Type/Subterm.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Type/Subterm.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to theories/Type/Tactics.vo: > binary file contents changed > dpkg-source: error: add theories/Type/Tactics.vo in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: newly created empty file 'theories/Type/Tactics.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Type/Tactics.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to theories/Type/Telescopes.vo: > binary file contents changed > dpkg-source: error: add theories/Type/Telescopes.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/Type/Telescopes.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'theories/Type/Telescopes.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to theories/Type/WellFounded.vo: > binary file contents changed > dpkg-source: error: add theories/Type/WellFounded.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/Type/WellFounded.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'theories/Type/WellFounded.vos' will not be represented in diff > dpkg-source: error: cannot represent change to > theories/Type/WellFoundedInstances.vo: binary file contents changed > dpkg-source: error: add theories/Type/WellFoundedInstances.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/Type/WellFoundedInstances.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'theories/Type/WellFoundedInstances.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-equations_1.3-8.17-1_unstable.log If you reassign this bug to another package, please mark it as 'affects'-ing this package. See https://www.debian.org/Bugs/server-control#affects If you fail to reproduce this, please provide a build log and diff it with mine so that we can identify if something relevant changed in the meantime.
