Bug#1044703: coq-mtac2: Fails to build source after successful build
Source: coq-mtac2
Version: 1.4+8.17-1
Severity: minor
Tags: trixie sid ftbfs
User: lucas@debian.org
Usertags: ftbfs-sab-20230813 ftbfs-source-after-build
User: debian-qa@lists.debian.org
Usertags: qa-doublebuild
Hi,
This package fails to build a source package after a successful build
(dpkg-buildpackage ; dpkg-buildpackage -S).
This is probably a clear violation of Debian Policy section 4.9 (clean target),
but this is filed as severity:minor for now, because a discussion on
debian-devel showed that we might want to revisit the requirement of a working
'clean' target.
More information about this class of issues, included common problems and
solutions, is available at
https://wiki.debian.org/qa.debian.org/FTBFS/SourceAfterBuild
Relevant part of the build log:
> cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env -us -uc -rfakeroot -S
> ----------------------------------------------------------------------------------------------------------------------------
>
> dpkg-buildpackage: info: source package coq-mtac2
> dpkg-buildpackage: info: source version 1.4+8.17-1
> dpkg-buildpackage: info: source distribution unstable
> dpkg-buildpackage: info: source changed by Julien Puydt <jpuydt@debian.org>
> dpkg-source --before-build .
> debian/rules clean
> dh clean --with coq
> debian/rules override_dh_auto_clean
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> # doesn't work
> make[1]: Leaving directory '/<<PKGBUILDDIR>>'
> dh_clean
> dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building coq-mtac2 using existing ./coq-mtac2_1.4+8.17.orig.tar.gz
> dpkg-source: info: using patch list from debian/patches/series
> dpkg-source: error: cannot represent change to examples/basics_tutorial.vo: binary file contents changed
> dpkg-source: error: add examples/basics_tutorial.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/basics_tutorial.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'examples/basics_tutorial.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to examples/tactics.vo: binary file contents changed
> dpkg-source: error: add examples/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 'examples/tactics.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'examples/tactics.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to examples/tauto.vo: binary file contents changed
> dpkg-source: error: add examples/tauto.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/tauto.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'examples/tauto.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/MetaCoqPlugin.a: binary file contents changed
> dpkg-source: error: add src/MetaCoqPlugin.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/MetaCoqPlugin.cmi: binary file contents changed
> dpkg-source: error: add src/MetaCoqPlugin.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/MetaCoqPlugin.cmt: binary file contents changed
> dpkg-source: error: add src/MetaCoqPlugin.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/MetaCoqPlugin.cmx: binary file contents changed
> dpkg-source: error: add src/MetaCoqPlugin.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/MetaCoqPlugin.cmxa: binary file contents changed
> dpkg-source: error: add src/MetaCoqPlugin.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/MetaCoqPlugin.cmxs: binary file contents changed
> dpkg-source: error: add src/MetaCoqPlugin.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/MetaCoqPlugin.cmxs' will not be represented in diff
> dpkg-source: error: cannot represent change to src/MetaCoqPlugin.o: binary file contents changed
> dpkg-source: error: add src/MetaCoqPlugin.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/constrs.cmi: binary file contents changed
> dpkg-source: error: add src/constrs.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/constrs.cmt: binary file contents changed
> dpkg-source: error: add src/constrs.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/constrs.cmti: binary file contents changed
> dpkg-source: error: add src/constrs.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/constrs.cmx: binary file contents changed
> dpkg-source: error: add src/constrs.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/constrs.o: binary file contents changed
> dpkg-source: error: add src/constrs.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/mConstr.cmi: binary file contents changed
> dpkg-source: error: add src/mConstr.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/mConstr.cmt: binary file contents changed
> dpkg-source: error: add src/mConstr.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/mConstr.cmti: binary file contents changed
> dpkg-source: error: add src/mConstr.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/mConstr.cmx: binary file contents changed
> dpkg-source: error: add src/mConstr.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/mConstr.o: binary file contents changed
> dpkg-source: error: add src/mConstr.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/metaCoqInit.cmi: binary file contents changed
> dpkg-source: error: add src/metaCoqInit.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/metaCoqInit.cmt: binary file contents changed
> dpkg-source: error: add src/metaCoqInit.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/metaCoqInit.cmx: binary file contents changed
> dpkg-source: error: add src/metaCoqInit.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/metaCoqInit.o: binary file contents changed
> dpkg-source: error: add src/metaCoqInit.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/metaCoqInstr.cmi: binary file contents changed
> dpkg-source: error: add src/metaCoqInstr.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/metaCoqInstr.cmti: binary file contents changed
> dpkg-source: error: add src/metaCoqInstr.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/metaCoqInterp.cmi: binary file contents changed
> dpkg-source: error: add src/metaCoqInterp.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/metaCoqInterp.cmt: binary file contents changed
> dpkg-source: error: add src/metaCoqInterp.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/metaCoqInterp.cmti: binary file contents changed
> dpkg-source: error: add src/metaCoqInterp.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/metaCoqInterp.cmx: binary file contents changed
> dpkg-source: error: add src/metaCoqInterp.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/metaCoqInterp.o: binary file contents changed
> dpkg-source: error: add src/metaCoqInterp.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/metaCoqTactic.cmi: binary file contents changed
> dpkg-source: error: add src/metaCoqTactic.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/metaCoqTactic.cmt: binary file contents changed
> dpkg-source: error: add src/metaCoqTactic.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/metaCoqTactic.cmx: binary file contents changed
> dpkg-source: error: add src/metaCoqTactic.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/metaCoqTactic.o: binary file contents changed
> dpkg-source: error: add src/metaCoqTactic.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/mtacNames.cmi: binary file contents changed
> dpkg-source: error: add src/mtacNames.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/mtacNames.cmt: binary file contents changed
> dpkg-source: error: add src/mtacNames.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/mtacNames.cmti: binary file contents changed
> dpkg-source: error: add src/mtacNames.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/mtacNames.cmx: binary file contents changed
> dpkg-source: error: add src/mtacNames.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/mtacNames.o: binary file contents changed
> dpkg-source: error: add src/mtacNames.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/run.cmi: binary file contents changed
> dpkg-source: error: add src/run.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/run.cmt: binary file contents changed
> dpkg-source: error: add src/run.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/run.cmti: binary file contents changed
> dpkg-source: error: add src/run.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/run.cmx: binary file contents changed
> dpkg-source: error: add src/run.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/run.o: binary file contents changed
> dpkg-source: error: add src/run.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 tests/ConstrSelector.vo: binary file contents changed
> dpkg-source: error: add tests/ConstrSelector.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 'tests/ConstrSelector.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/ConstrSelector.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/DepDestruct.vo: binary file contents changed
> dpkg-source: error: add tests/DepDestruct.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 'tests/DepDestruct.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/DepDestruct.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/Exhaustive.vo: binary file contents changed
> dpkg-source: error: add tests/Exhaustive.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 'tests/Exhaustive.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/Exhaustive.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/UnivSanityCheck.vo: binary file contents changed
> dpkg-source: error: add tests/UnivSanityCheck.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 'tests/UnivSanityCheck.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/UnivSanityCheck.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/abs.vo: binary file contents changed
> dpkg-source: error: add tests/abs.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 'tests/abs.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/abs.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/abs_prod.vo: binary file contents changed
> dpkg-source: error: add tests/abs_prod.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 'tests/abs_prod.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/abs_prod.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/binders.vo: binary file contents changed
> dpkg-source: error: add tests/binders.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 'tests/binders.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/binders.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/bug_universes.vo: binary file contents changed
> dpkg-source: error: add tests/bug_universes.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 'tests/bug_universes.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/bug_universes.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/bugs.vo: binary file contents changed
> dpkg-source: error: add tests/bugs.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 'tests/bugs.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/bugs.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/bugs/bug117.vo: binary file contents changed
> dpkg-source: error: add tests/bugs/bug117.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 'tests/bugs/bug117.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/bugs/bug117.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/bugs/bug225.vo: binary file contents changed
> dpkg-source: error: add tests/bugs/bug225.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 'tests/bugs/bug225.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/bugs/bug225.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/bugs/bug288.vo: binary file contents changed
> dpkg-source: error: add tests/bugs/bug288.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 'tests/bugs/bug288.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/bugs/bug288.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/bugs/bug295.vo: binary file contents changed
> dpkg-source: error: add tests/bugs/bug295.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 'tests/bugs/bug295.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/bugs/bug295.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/bugs/bug297.vo: binary file contents changed
> dpkg-source: error: add tests/bugs/bug297.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 'tests/bugs/bug297.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/bugs/bug297.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/bugs/bug299.vo: binary file contents changed
> dpkg-source: error: add tests/bugs/bug299.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 'tests/bugs/bug299.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/bugs/bug299.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/bugs/bug302.vo: binary file contents changed
> dpkg-source: error: add tests/bugs/bug302.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 'tests/bugs/bug302.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/bugs/bug302.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/bugs/bug304.vo: binary file contents changed
> dpkg-source: error: add tests/bugs/bug304.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 'tests/bugs/bug304.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/bugs/bug304.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/cevar.vo: binary file contents changed
> dpkg-source: error: add tests/cevar.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 'tests/cevar.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/cevar.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/comptactics.vo: binary file contents changed
> dpkg-source: error: add tests/comptactics.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 'tests/comptactics.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/comptactics.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/debug_ex.vo: binary file contents changed
> dpkg-source: error: add tests/debug_ex.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 'tests/debug_ex.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/debug_ex.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/decapp.vo: binary file contents changed
> dpkg-source: error: add tests/decapp.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 'tests/decapp.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/decapp.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/declare.vo: binary file contents changed
> dpkg-source: error: add tests/declare.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 'tests/declare.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/declare.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/decompose.vo: binary file contents changed
> dpkg-source: error: add tests/decompose.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 'tests/decompose.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/decompose.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/dependent_let_goals.vo: binary file contents changed
> dpkg-source: error: add tests/dependent_let_goals.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 'tests/dependent_let_goals.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/dependent_let_goals.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/destruct_eq.vo: binary file contents changed
> dpkg-source: error: add tests/destruct_eq.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 'tests/destruct_eq.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/destruct_eq.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/do.vo: binary file contents changed
> dpkg-source: error: add tests/do.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 'tests/do.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/do.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/dummylang.vo: binary file contents changed
> dpkg-source: error: add tests/dummylang.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 'tests/dummylang.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/dummylang.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/exceptions.vo: binary file contents changed
> dpkg-source: error: add tests/exceptions.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 'tests/exceptions.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/exceptions.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/goal_reordering.vo: binary file contents changed
> dpkg-source: error: add tests/goal_reordering.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 'tests/goal_reordering.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/goal_reordering.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/hugo.vo: binary file contents changed
> dpkg-source: error: add tests/hugo.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 'tests/hugo.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/hugo.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/initialization.vo: binary file contents changed
> dpkg-source: error: add tests/initialization.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 'tests/initialization.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/initialization.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/intropatt.vo: binary file contents changed
> dpkg-source: error: add tests/intropatt.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 'tests/intropatt.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/intropatt.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/kind_of_term.vo: binary file contents changed
> dpkg-source: error: add tests/kind_of_term.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 'tests/kind_of_term.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/kind_of_term.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/lift.vo: binary file contents changed
> dpkg-source: error: add tests/lift.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 'tests/lift.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/lift.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/ltac.vo: binary file contents changed
> dpkg-source: error: add tests/ltac.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 'tests/ltac.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/ltac.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/ltac_rewrite.vo: binary file contents changed
> dpkg-source: error: add tests/ltac_rewrite.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 'tests/ltac_rewrite.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/ltac_rewrite.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/match_goal_context.vo: binary file contents changed
> dpkg-source: error: add tests/match_goal_context.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 'tests/match_goal_context.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/match_goal_context.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/mctacticstests.vo: binary file contents changed
> dpkg-source: error: add tests/mctacticstests.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 'tests/mctacticstests.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/mctacticstests.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/min_bug_univpoly.vo: binary file contents changed
> dpkg-source: error: add tests/min_bug_univpoly.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 'tests/min_bug_univpoly.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/min_bug_univpoly.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/min_bug_univpoly2.vo: binary file contents changed
> dpkg-source: error: add tests/min_bug_univpoly2.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 'tests/min_bug_univpoly2.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/min_bug_univpoly2.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/mode.vo: binary file contents changed
> dpkg-source: error: add tests/mode.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 'tests/mode.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/mode.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/mono_list_issue.vo: binary file contents changed
> dpkg-source: error: add tests/mono_list_issue.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 'tests/mono_list_issue.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/mono_list_issue.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/mrun.vo: binary file contents changed
> dpkg-source: error: add tests/mrun.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 'tests/mrun.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/mrun.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/names.vo: binary file contents changed
> dpkg-source: error: add tests/names.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 'tests/names.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/names.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/nu_let.vo: binary file contents changed
> dpkg-source: error: add tests/nu_let.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 'tests/nu_let.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/nu_let.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/pretype.vo: binary file contents changed
> dpkg-source: error: add tests/pretype.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 'tests/pretype.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/pretype.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/reduction.vo: binary file contents changed
> dpkg-source: error: add tests/reduction.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 'tests/reduction.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/reduction.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/reif_jason.vo: binary file contents changed
> dpkg-source: error: add tests/reif_jason.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 'tests/reif_jason.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/reif_jason.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/removetest.vo: binary file contents changed
> dpkg-source: error: add tests/removetest.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 'tests/removetest.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/removetest.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/replace.vo: binary file contents changed
> dpkg-source: error: add tests/replace.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 'tests/replace.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/replace.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/rew_hd_error.vo: binary file contents changed
> dpkg-source: error: add tests/rew_hd_error.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 'tests/rew_hd_error.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/rew_hd_error.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/selectors.vo: binary file contents changed
> dpkg-source: error: add tests/selectors.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 'tests/selectors.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/selectors.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/sf-5/lf/Basics.vo: binary file contents changed
> dpkg-source: error: add tests/sf-5/lf/Basics.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 'tests/sf-5/lf/Basics.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/sf-5/lf/Basics.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/sf-5/lf/Induction.vo: binary file contents changed
> dpkg-source: error: add tests/sf-5/lf/Induction.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 'tests/sf-5/lf/Induction.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/sf-5/lf/Induction.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/sf-5/lf/Lists.vo: binary file contents changed
> dpkg-source: error: add tests/sf-5/lf/Lists.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 'tests/sf-5/lf/Lists.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/sf-5/lf/Lists.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/sf-5/lf/Logic.vo: binary file contents changed
> dpkg-source: error: add tests/sf-5/lf/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 'tests/sf-5/lf/Logic.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/sf-5/lf/Logic.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/sf-5/lf/Poly.vo: binary file contents changed
> dpkg-source: error: add tests/sf-5/lf/Poly.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 'tests/sf-5/lf/Poly.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/sf-5/lf/Poly.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/sf-5/lf/Preface.vo: binary file contents changed
> dpkg-source: error: add tests/sf-5/lf/Preface.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 'tests/sf-5/lf/Preface.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/sf-5/lf/Preface.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/sf-5/lf/Tactics.vo: binary file contents changed
> dpkg-source: error: add tests/sf-5/lf/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 'tests/sf-5/lf/Tactics.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/sf-5/lf/Tactics.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/ssrpattern.vo: binary file contents changed
> dpkg-source: error: add tests/ssrpattern.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 'tests/ssrpattern.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/ssrpattern.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/tactics.vo: binary file contents changed
> dpkg-source: error: add tests/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 'tests/tactics.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/tactics.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_bind.vo: binary file contents changed
> dpkg-source: error: add tests/test_bind.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 'tests/test_bind.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_bind.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_brackets.vo: binary file contents changed
> dpkg-source: error: add tests/test_brackets.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 'tests/test_brackets.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_brackets.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_get_name.vo: binary file contents changed
> dpkg-source: error: add tests/test_get_name.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 'tests/test_get_name.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_get_name.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_get_reference.vo: binary file contents changed
> dpkg-source: error: add tests/test_get_reference.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 'tests/test_get_reference.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_get_reference.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_goal_match.vo: binary file contents changed
> dpkg-source: error: add tests/test_goal_match.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 'tests/test_goal_match.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_goal_match.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_mmatch.vo: binary file contents changed
> dpkg-source: error: add tests/test_mmatch.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 'tests/test_mmatch.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_mmatch.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_mtry.vo: binary file contents changed
> dpkg-source: error: add tests/test_mtry.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 'tests/test_mtry.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_mtry.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_munify.vo: binary file contents changed
> dpkg-source: error: add tests/test_munify.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 'tests/test_munify.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_munify.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_ret.vo: binary file contents changed
> dpkg-source: error: add tests/test_ret.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 'tests/test_ret.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_ret.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/test_unfold_in.vo: binary file contents changed
> dpkg-source: error: add tests/test_unfold_in.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 'tests/test_unfold_in.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/test_unfold_in.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/timers.vo: binary file contents changed
> dpkg-source: error: add tests/timers.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 'tests/timers.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/timers.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/trace.vo: binary file contents changed
> dpkg-source: error: add tests/trace.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 'tests/trace.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/trace.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/ttactics.vo: binary file contents changed
> dpkg-source: error: add tests/ttactics.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 'tests/ttactics.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/ttactics.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/typeclass.vo: binary file contents changed
> dpkg-source: error: add tests/typeclass.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 'tests/typeclass.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/typeclass.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/typed_term_decomposition.vo: binary file contents changed
> dpkg-source: error: add tests/typed_term_decomposition.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 'tests/typed_term_decomposition.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/typed_term_decomposition.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to tests/unification.vo: binary file contents changed
> dpkg-source: error: add tests/unification.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 'tests/unification.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/unification.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Base.vo: binary file contents changed
> dpkg-source: error: add theories/Base.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/Base.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Base.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/DecomposeApp.vo: binary file contents changed
> dpkg-source: error: add theories/DecomposeApp.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/DecomposeApp.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/DecomposeApp.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Mtac2.vo: binary file contents changed
> dpkg-source: error: add theories/Mtac2.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/Mtac2.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Mtac2.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Pattern.vo: binary file contents changed
> dpkg-source: error: add theories/Pattern.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/Pattern.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Pattern.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/ideas/Abstract.vo: binary file contents changed
> dpkg-source: error: add theories/ideas/Abstract.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/ideas/Abstract.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/ideas/Abstract.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/ideas/DepDestruct.vo: binary file contents changed
> dpkg-source: error: add theories/ideas/DepDestruct.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/ideas/DepDestruct.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/ideas/DepDestruct.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/ideas/StaticApply.vo: binary file contents changed
> dpkg-source: error: add theories/ideas/StaticApply.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/ideas/StaticApply.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/ideas/StaticApply.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/ideas/SubgoalsStrict.vo: binary file contents changed
> dpkg-source: error: add theories/ideas/SubgoalsStrict.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/ideas/SubgoalsStrict.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/ideas/SubgoalsStrict.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/ideas/SumRun.vo: binary file contents changed
> dpkg-source: error: add theories/ideas/SumRun.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/ideas/SumRun.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/ideas/SumRun.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/ideas/Transport.vo: binary file contents changed
> dpkg-source: error: add theories/ideas/Transport.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/ideas/Transport.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/ideas/Transport.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/intf/Case.vo: binary file contents changed
> dpkg-source: error: add theories/intf/Case.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/intf/Case.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/intf/Case.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/intf/DeclarationDefs.vo: binary file contents changed
> dpkg-source: error: add theories/intf/DeclarationDefs.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/intf/DeclarationDefs.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/intf/DeclarationDefs.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/intf/Dyn.vo: binary file contents changed
> dpkg-source: error: add theories/intf/Dyn.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/intf/Dyn.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/intf/Dyn.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/intf/Exceptions.vo: binary file contents changed
> dpkg-source: error: add theories/intf/Exceptions.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/intf/Exceptions.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/intf/Exceptions.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/intf/Goals.vo: binary file contents changed
> dpkg-source: error: add theories/intf/Goals.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/intf/Goals.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/intf/Goals.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/intf/Lift.vo: binary file contents changed
> dpkg-source: error: add theories/intf/Lift.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/intf/Lift.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/intf/Lift.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/intf/M.vo: binary file contents changed
> dpkg-source: error: add theories/intf/M.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/intf/M.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/intf/M.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/intf/MTele.vo: binary file contents changed
> dpkg-source: error: add theories/intf/MTele.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/intf/MTele.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/intf/MTele.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/intf/Name.vo: binary file contents changed
> dpkg-source: error: add theories/intf/Name.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/intf/Name.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/intf/Name.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/intf/Reduction.vo: binary file contents changed
> dpkg-source: error: add theories/intf/Reduction.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/intf/Reduction.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/intf/Reduction.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/intf/Sorts.vo: binary file contents changed
> dpkg-source: error: add theories/intf/Sorts.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/intf/Sorts.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/intf/Sorts.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/intf/Tm_kind.vo: binary file contents changed
> dpkg-source: error: add theories/intf/Tm_kind.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/intf/Tm_kind.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/intf/Tm_kind.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/intf/Unification.vo: binary file contents changed
> dpkg-source: error: add theories/intf/Unification.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/intf/Unification.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/intf/Unification.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/lib/Datatypes.vo: binary file contents changed
> dpkg-source: error: add theories/lib/Datatypes.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/lib/Datatypes.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/lib/Datatypes.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/lib/List.vo: binary file contents changed
> dpkg-source: error: add theories/lib/List.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/lib/List.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/lib/List.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/lib/Logic.vo: binary file contents changed
> dpkg-source: error: add theories/lib/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/lib/Logic.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/lib/Logic.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/lib/Specif.vo: binary file contents changed
> dpkg-source: error: add theories/lib/Specif.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/lib/Specif.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/lib/Specif.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/lib/Utils.vo: binary file contents changed
> dpkg-source: error: add theories/lib/Utils.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/lib/Utils.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/lib/Utils.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/meta/Exhaustive.vo: binary file contents changed
> dpkg-source: error: add theories/meta/Exhaustive.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/meta/Exhaustive.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/meta/Exhaustive.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/meta/MFix.vo: binary file contents changed
> dpkg-source: error: add theories/meta/MFix.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/meta/MFix.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/meta/MFix.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/meta/MFixDef.vo: binary file contents changed
> dpkg-source: error: add theories/meta/MFixDef.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/meta/MFixDef.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/meta/MFixDef.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/meta/MTeleMatch.vo: binary file contents changed
> dpkg-source: error: add theories/meta/MTeleMatch.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/meta/MTeleMatch.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/meta/MTeleMatch.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/meta/MTeleMatchDef.vo: binary file contents changed
> dpkg-source: error: add theories/meta/MTeleMatchDef.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/meta/MTeleMatchDef.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/meta/MTeleMatchDef.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/tactics/CompoundTactics.vo: binary file contents changed
> dpkg-source: error: add theories/tactics/CompoundTactics.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theories/tactics/CompoundTactics.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/tactics/CompoundTactics.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/tactics/ConstrSelector.vo: binary file contents changed
> dpkg-source: error: add theories/tactics/ConstrSelector.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theories/tactics/ConstrSelector.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/tactics/ConstrSelector.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/tactics/ImportedTactics.vo: binary file contents changed
> dpkg-source: error: add theories/tactics/ImportedTactics.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theories/tactics/ImportedTactics.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/tactics/ImportedTactics.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/tactics/IntroPatt.vo: binary file contents changed
> dpkg-source: error: add theories/tactics/IntroPatt.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theories/tactics/IntroPatt.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/tactics/IntroPatt.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/tactics/Tactics.vo: binary file contents changed
> dpkg-source: error: add theories/tactics/Tactics.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theories/tactics/Tactics.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/tactics/Tactics.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/tactics/TacticsBase.vo: binary file contents changed
> dpkg-source: error: add theories/tactics/TacticsBase.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theories/tactics/TacticsBase.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/tactics/TacticsBase.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/tactics/Ttactics.vo: binary file contents changed
> dpkg-source: error: add theories/tactics/Ttactics.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theories/tactics/Ttactics.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/tactics/Ttactics.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-mtac2_1.4+8.17-1_unstable.log
If you reassign this bug to another package, please mark it as 'affects'-ing
this package. See https://www.debian.org/Bugs/server-control#affects
If you fail to reproduce this, please provide a build log and diff it with mine
so that we can identify if something relevant changed in the meantime.
Reply to: