[continued from previous message]

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

[continued in next message]

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)