[continued from previous message]

dpkg-source: error: add iris/bi/ascii.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/bi/ascii.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/bi/ascii.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/bi/bi.vo: binary file contents changed
dpkg-source: error: add iris/bi/bi.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/bi/bi.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/bi/bi.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/bi/big_op.vo: binary file contents changed
dpkg-source: error: add iris/bi/big_op.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/bi/big_op.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/bi/big_op.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/bi/derived_connectives.vo: binary file contents changed
dpkg-source: error: add iris/bi/derived_connectives.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/bi/derived_connectives.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/bi/derived_connectives.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/bi/derived_laws.vo: binary file contents changed
dpkg-source: error: add iris/bi/derived_laws.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/bi/derived_laws.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/bi/derived_laws.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/bi/derived_laws_later.vo: binary file contents changed
dpkg-source: error: add iris/bi/derived_laws_later.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/bi/derived_laws_later.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/bi/derived_laws_later.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/bi/embedding.vo: binary file contents changed
dpkg-source: error: add iris/bi/embedding.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/bi/embedding.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/bi/embedding.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/bi/extensions.vo: binary file contents changed
dpkg-source: error: add iris/bi/extensions.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/bi/extensions.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/bi/extensions.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/bi/interface.vo: binary file contents changed
dpkg-source: error: add iris/bi/interface.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/bi/interface.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/bi/interface.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/bi/internal_eq.vo: binary file contents changed
dpkg-source: error: add iris/bi/internal_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 'iris/bi/internal_eq.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/bi/internal_eq.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/bi/lib/atomic.vo: binary file contents changed
dpkg-source: error: add iris/bi/lib/atomic.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/bi/lib/atomic.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/bi/lib/atomic.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/bi/lib/core.vo: binary file contents changed
dpkg-source: error: add iris/bi/lib/core.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/bi/lib/core.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/bi/lib/core.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/bi/lib/counterexamples.vo: binary file contents changed
dpkg-source: error: add iris/bi/lib/counterexamples.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/bi/lib/counterexamples.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/bi/lib/counterexamples.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/bi/lib/fixpoint.vo: binary file contents changed
dpkg-source: error: add iris/bi/lib/fixpoint.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/bi/lib/fixpoint.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/bi/lib/fixpoint.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/bi/lib/fractional.vo: binary file contents changed
dpkg-source: error: add iris/bi/lib/fractional.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/bi/lib/fractional.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/bi/lib/fractional.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/bi/lib/laterable.vo: binary file contents changed
dpkg-source: error: add iris/bi/lib/laterable.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/bi/lib/laterable.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/bi/lib/laterable.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/bi/lib/relations.vo: binary file contents changed
dpkg-source: error: add iris/bi/lib/relations.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/bi/lib/relations.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/bi/lib/relations.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/bi/monpred.vo: binary file contents changed
dpkg-source: error: add iris/bi/monpred.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/bi/monpred.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/bi/monpred.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/bi/notation.vo: binary file contents changed
dpkg-source: error: add iris/bi/notation.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/bi/notation.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/bi/notation.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/bi/plainly.vo: binary file contents changed
dpkg-source: error: add iris/bi/plainly.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/bi/plainly.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/bi/plainly.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/bi/telescopes.vo: binary file contents changed
dpkg-source: error: add iris/bi/telescopes.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/bi/telescopes.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/bi/telescopes.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/bi/updates.vo: binary file contents changed
dpkg-source: error: add iris/bi/updates.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/bi/updates.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/bi/updates.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/bi/weakestpre.vo: binary file contents changed
dpkg-source: error: add iris/bi/weakestpre.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/bi/weakestpre.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/bi/weakestpre.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/prelude/options.vo: binary file contents changed
dpkg-source: error: add iris/prelude/options.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/prelude/options.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/prelude/options.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/prelude/prelude.vo: binary file contents changed
dpkg-source: error: add iris/prelude/prelude.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/prelude/prelude.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/prelude/prelude.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/program_logic/adequacy.vo: binary file contents changed
dpkg-source: error: add iris/program_logic/adequacy.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/program_logic/adequacy.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/program_logic/adequacy.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/program_logic/atomic.vo: binary file contents changed
dpkg-source: error: add iris/program_logic/atomic.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/program_logic/atomic.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/program_logic/atomic.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/program_logic/ectx_language.vo: binary file contents changed
dpkg-source: error: add iris/program_logic/ectx_language.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/program_logic/ectx_language.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/program_logic/ectx_language.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/program_logic/ectx_lifting.vo: binary file contents changed
dpkg-source: error: add iris/program_logic/ectx_lifting.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/program_logic/ectx_lifting.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/program_logic/ectx_lifting.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/program_logic/ectxi_language.vo: binary file contents changed
dpkg-source: error: add iris/program_logic/ectxi_language.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/program_logic/ectxi_language.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/program_logic/ectxi_language.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/program_logic/language.vo: binary file contents changed
dpkg-source: error: add iris/program_logic/language.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/program_logic/language.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/program_logic/language.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/program_logic/lifting.vo: binary file contents changed
dpkg-source: error: add iris/program_logic/lifting.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/program_logic/lifting.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/program_logic/lifting.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/program_logic/ownp.vo: binary file contents changed
dpkg-source: error: add iris/program_logic/ownp.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/program_logic/ownp.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/program_logic/ownp.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/program_logic/total_adequacy.vo: binary file contents changed
dpkg-source: error: add iris/program_logic/total_adequacy.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/program_logic/total_adequacy.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/program_logic/total_adequacy.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/program_logic/total_ectx_lifting.vo: binary file contents changed
dpkg-source: error: add iris/program_logic/total_ectx_lifting.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/program_logic/total_ectx_lifting.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/program_logic/total_ectx_lifting.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/program_logic/total_lifting.vo: binary file contents changed
dpkg-source: error: add iris/program_logic/total_lifting.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/program_logic/total_lifting.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/program_logic/total_lifting.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/program_logic/total_weakestpre.vo: binary file contents changed
dpkg-source: error: add iris/program_logic/total_weakestpre.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/program_logic/total_weakestpre.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/program_logic/total_weakestpre.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/program_logic/weakestpre.vo: binary file contents changed
dpkg-source: error: add iris/program_logic/weakestpre.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/program_logic/weakestpre.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/program_logic/weakestpre.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/base.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/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 'iris/proofmode/base.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/base.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/class_instances.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/class_instances.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/proofmode/class_instances.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/class_instances.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/class_instances_embedding.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/class_instances_embedding.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/proofmode/class_instances_embedding.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/class_instances_embedding.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/class_instances_frame.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/class_instances_frame.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/proofmode/class_instances_frame.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/class_instances_frame.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/class_instances_internal_eq.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/class_instances_internal_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 'iris/proofmode/class_instances_internal_eq.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/class_instances_internal_eq.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/class_instances_later.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/class_instances_later.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/proofmode/class_instances_later.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/class_instances_later.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/class_instances_make.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/class_instances_make.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/proofmode/class_instances_make.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/class_instances_make.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/class_instances_plainly.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/class_instances_plainly.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/proofmode/class_instances_plainly.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/class_instances_plainly.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/class_instances_updates.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/class_instances_updates.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/proofmode/class_instances_updates.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/class_instances_updates.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/classes.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/classes.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/proofmode/classes.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/classes.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/classes_make.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/classes_make.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/proofmode/classes_make.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/classes_make.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/coq_tactics.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/coq_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 'iris/proofmode/coq_tactics.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/coq_tactics.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/environments.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/environments.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/proofmode/environments.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/environments.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/ident_name.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/ident_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 'iris/proofmode/ident_name.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/ident_name.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/intro_patterns.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/intro_patterns.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/proofmode/intro_patterns.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/intro_patterns.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/ltac_tactics.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/ltac_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 'iris/proofmode/ltac_tactics.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/ltac_tactics.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/modalities.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/modalities.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/proofmode/modalities.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/modalities.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/modality_instances.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/modality_instances.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/proofmode/modality_instances.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/modality_instances.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/monpred.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/monpred.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/proofmode/monpred.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/monpred.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/notation.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/notation.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/proofmode/notation.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/notation.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/proofmode.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/proofmode.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/proofmode/proofmode.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/proofmode.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/reduction.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/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 'iris/proofmode/reduction.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/reduction.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/sel_patterns.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/sel_patterns.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/proofmode/sel_patterns.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/sel_patterns.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/spec_patterns.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/spec_patterns.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/proofmode/spec_patterns.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/spec_patterns.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/string_ident.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/string_ident.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/proofmode/string_ident.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/string_ident.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/tactics.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/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 'iris/proofmode/tactics.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/tactics.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/proofmode/tokens.vo: binary file contents changed
dpkg-source: error: add iris/proofmode/tokens.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/proofmode/tokens.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/proofmode/tokens.vos' will not be represented in diff
dpkg-source: error: cannot represent change to iris/si_logic/bi.vo: binary file contents changed
dpkg-source: error: add iris/si_logic/bi.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'iris/si_logic/bi.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'iris/si_logic/bi.vos' will not be represented in diff

[continued in next message]

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