[continued from previous message]

dpkg-source: warning: newly created empty file 'model/abgroups/Zabgroup.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/abgroups/Zabgroup.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/fields/CRfield.vo: binary file contents changed
dpkg-source: error: add model/fields/CRfield.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/fields/CRfield.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/fields/CRfield.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/fields/Qfield.vo: binary file contents changed
dpkg-source: error: add model/fields/Qfield.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/fields/Qfield.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/fields/Qfield.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/groups/CRgroup.vo: binary file contents changed
dpkg-source: error: add model/groups/CRgroup.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/groups/CRgroup.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/groups/CRgroup.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/groups/QSposgroup.vo: binary file contents changed
dpkg-source: error: add model/groups/QSposgroup.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/groups/QSposgroup.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/groups/QSposgroup.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/groups/Qgroup.vo: binary file contents changed
dpkg-source: error: add model/groups/Qgroup.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/groups/Qgroup.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/groups/Qgroup.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/groups/Qposgroup.vo: binary file contents changed
dpkg-source: error: add model/groups/Qposgroup.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/groups/Qposgroup.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/groups/Qposgroup.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/groups/Zgroup.vo: binary file contents changed
dpkg-source: error: add model/groups/Zgroup.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/groups/Zgroup.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/groups/Zgroup.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/lattice/CRlattice.vo: binary file contents changed
dpkg-source: error: add model/lattice/CRlattice.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/lattice/CRlattice.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/lattice/CRlattice.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/metric2/BoundedFunction.vo: binary file contents changed
dpkg-source: error: add model/metric2/BoundedFunction.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/metric2/BoundedFunction.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/metric2/BoundedFunction.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/metric2/CRmetric.vo: binary file contents changed
dpkg-source: error: add model/metric2/CRmetric.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/metric2/CRmetric.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/metric2/CRmetric.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/metric2/IntegrableFunction.vo: binary file contents changed
dpkg-source: error: add model/metric2/IntegrableFunction.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/metric2/IntegrableFunction.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/metric2/IntegrableFunction.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/metric2/L1metric.vo: binary file contents changed
dpkg-source: error: add model/metric2/L1metric.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/metric2/L1metric.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/metric2/L1metric.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/metric2/LinfDistMonad.vo: binary file contents changed
dpkg-source: error: add model/metric2/LinfDistMonad.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/metric2/LinfDistMonad.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/metric2/LinfDistMonad.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/metric2/LinfMetric.vo: binary file contents changed
dpkg-source: error: add model/metric2/LinfMetric.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/metric2/LinfMetric.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/metric2/LinfMetric.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/metric2/LinfMetricMonad.vo: binary file contents changed
dpkg-source: error: add model/metric2/LinfMetricMonad.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/metric2/LinfMetricMonad.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/metric2/LinfMetricMonad.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/metric2/Qmetric.vo: binary file contents changed
dpkg-source: error: add model/metric2/Qmetric.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/metric2/Qmetric.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/metric2/Qmetric.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/monoids/CRmonoid.vo: binary file contents changed
dpkg-source: error: add model/monoids/CRmonoid.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/monoids/CRmonoid.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/monoids/CRmonoid.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/monoids/Nm_to_cycm.vo: binary file contents changed
dpkg-source: error: add model/monoids/Nm_to_cycm.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/monoids/Nm_to_cycm.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/monoids/Nm_to_cycm.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/monoids/Nm_to_freem.vo: binary file contents changed
dpkg-source: error: add model/monoids/Nm_to_freem.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/monoids/Nm_to_freem.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/monoids/Nm_to_freem.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/monoids/Nmonoid.vo: binary file contents changed
dpkg-source: error: add model/monoids/Nmonoid.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/monoids/Nmonoid.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/monoids/Nmonoid.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/monoids/Nposmonoid.vo: binary file contents changed
dpkg-source: error: add model/monoids/Nposmonoid.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/monoids/Nposmonoid.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/monoids/Nposmonoid.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/monoids/QSposmonoid.vo: binary file contents changed
dpkg-source: error: add model/monoids/QSposmonoid.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/monoids/QSposmonoid.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/monoids/QSposmonoid.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/monoids/Qmonoid.vo: binary file contents changed
dpkg-source: error: add model/monoids/Qmonoid.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/monoids/Qmonoid.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/monoids/Qmonoid.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/monoids/Qposmonoid.vo: binary file contents changed
dpkg-source: error: add model/monoids/Qposmonoid.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/monoids/Qposmonoid.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/monoids/Qposmonoid.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/monoids/Zmonoid.vo: binary file contents changed
dpkg-source: error: add model/monoids/Zmonoid.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/monoids/Zmonoid.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/monoids/Zmonoid.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/monoids/freem_to_Nm.vo: binary file contents changed
dpkg-source: error: add model/monoids/freem_to_Nm.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/monoids/freem_to_Nm.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/monoids/freem_to_Nm.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/ordfields/CRordfield.vo: binary file contents changed
dpkg-source: error: add model/ordfields/CRordfield.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/ordfields/CRordfield.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/ordfields/CRordfield.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/ordfields/Qordfield.vo: binary file contents changed
dpkg-source: error: add model/ordfields/Qordfield.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/ordfields/Qordfield.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/ordfields/Qordfield.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/partialorder/CRpartialorder.vo: binary file contents changed
dpkg-source: error: add model/partialorder/CRpartialorder.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/partialorder/CRpartialorder.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/partialorder/CRpartialorder.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/reals/CRreal.vo: binary file contents changed
dpkg-source: error: add model/reals/CRreal.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/reals/CRreal.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/reals/CRreal.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/reals/Cauchy_IR.vo: binary file contents changed
dpkg-source: error: add model/reals/Cauchy_IR.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/reals/Cauchy_IR.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/reals/Cauchy_IR.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/rings/CRring.vo: binary file contents changed
dpkg-source: error: add model/rings/CRring.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/rings/CRring.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/rings/CRring.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/rings/Qring.vo: binary file contents changed
dpkg-source: error: add model/rings/Qring.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/rings/Qring.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/rings/Qring.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/rings/Zring.vo: binary file contents changed
dpkg-source: error: add model/rings/Zring.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/rings/Zring.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/rings/Zring.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/semigroups/CRsemigroup.vo: binary file contents changed
dpkg-source: error: add model/semigroups/CRsemigroup.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/semigroups/CRsemigroup.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/semigroups/CRsemigroup.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/semigroups/Npossemigroup.vo: binary file contents changed
dpkg-source: error: add model/semigroups/Npossemigroup.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/semigroups/Npossemigroup.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/semigroups/Npossemigroup.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/semigroups/Nsemigroup.vo: binary file contents changed
dpkg-source: error: add model/semigroups/Nsemigroup.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/semigroups/Nsemigroup.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/semigroups/Nsemigroup.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/semigroups/QSpossemigroup.vo: binary file contents changed
dpkg-source: error: add model/semigroups/QSpossemigroup.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/semigroups/QSpossemigroup.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/semigroups/QSpossemigroup.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/semigroups/Qpossemigroup.vo: binary file contents changed
dpkg-source: error: add model/semigroups/Qpossemigroup.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/semigroups/Qpossemigroup.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/semigroups/Qpossemigroup.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/semigroups/Qsemigroup.vo: binary file contents changed
dpkg-source: error: add model/semigroups/Qsemigroup.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/semigroups/Qsemigroup.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/semigroups/Qsemigroup.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/semigroups/Zsemigroup.vo: binary file contents changed
dpkg-source: error: add model/semigroups/Zsemigroup.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/semigroups/Zsemigroup.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/semigroups/Zsemigroup.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/setoids/CRsetoid.vo: binary file contents changed
dpkg-source: error: add model/setoids/CRsetoid.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/setoids/CRsetoid.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/setoids/CRsetoid.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/setoids/Nfinsetoid.vo: binary file contents changed
dpkg-source: error: add model/setoids/Nfinsetoid.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/setoids/Nfinsetoid.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/setoids/Nfinsetoid.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/setoids/Npossetoid.vo: binary file contents changed
dpkg-source: error: add model/setoids/Npossetoid.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/setoids/Npossetoid.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/setoids/Npossetoid.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/setoids/Nsetoid.vo: binary file contents changed
dpkg-source: error: add model/setoids/Nsetoid.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/setoids/Nsetoid.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/setoids/Nsetoid.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/setoids/Qpossetoid.vo: binary file contents changed
dpkg-source: error: add model/setoids/Qpossetoid.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/setoids/Qpossetoid.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/setoids/Qpossetoid.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/setoids/Qsetoid.vo: binary file contents changed
dpkg-source: error: add model/setoids/Qsetoid.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/setoids/Qsetoid.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/setoids/Qsetoid.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/setoids/Zfinsetoid.vo: binary file contents changed
dpkg-source: error: add model/setoids/Zfinsetoid.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/setoids/Zfinsetoid.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/setoids/Zfinsetoid.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/setoids/Zsetoid.vo: binary file contents changed
dpkg-source: error: add model/setoids/Zsetoid.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/setoids/Zsetoid.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/setoids/Zsetoid.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/setoids/decsetoid.vo: binary file contents changed
dpkg-source: error: add model/setoids/decsetoid.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/setoids/decsetoid.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/setoids/decsetoid.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/structures/NNUpperR.vo: binary file contents changed
dpkg-source: error: add model/structures/NNUpperR.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/structures/NNUpperR.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/structures/NNUpperR.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/structures/Npossec.vo: binary file contents changed
dpkg-source: error: add model/structures/Npossec.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/structures/Npossec.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/structures/Npossec.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/structures/Nsec.vo: binary file contents changed
dpkg-source: error: add model/structures/Nsec.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/structures/Nsec.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/structures/Nsec.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/structures/OpenUnit.vo: binary file contents changed
dpkg-source: error: add model/structures/OpenUnit.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/structures/OpenUnit.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/structures/OpenUnit.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/structures/Qinf.vo: binary file contents changed
dpkg-source: error: add model/structures/Qinf.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/structures/Qinf.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/structures/Qinf.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/structures/QnnInf.vo: binary file contents changed
dpkg-source: error: add model/structures/QnnInf.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/structures/QnnInf.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/structures/QnnInf.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/structures/QnonNeg.vo: binary file contents changed
dpkg-source: error: add model/structures/QnonNeg.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/structures/QnonNeg.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/structures/QnonNeg.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/structures/QposInf.vo: binary file contents changed
dpkg-source: error: add model/structures/QposInf.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/structures/QposInf.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/structures/QposInf.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/structures/Qpossec.vo: binary file contents changed
dpkg-source: error: add model/structures/Qpossec.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/structures/Qpossec.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/structures/Qpossec.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/structures/Qsec.vo: binary file contents changed
dpkg-source: error: add model/structures/Qsec.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/structures/Qsec.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/structures/Qsec.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/structures/StepQsec.vo: binary file contents changed
dpkg-source: error: add model/structures/StepQsec.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/structures/StepQsec.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/structures/StepQsec.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/structures/Zsec.vo: binary file contents changed
dpkg-source: error: add model/structures/Zsec.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/structures/Zsec.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/structures/Zsec.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/totalorder/QMinMax.vo: binary file contents changed
dpkg-source: error: add model/totalorder/QMinMax.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/totalorder/QMinMax.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/totalorder/QMinMax.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/totalorder/QposMinMax.vo: binary file contents changed
dpkg-source: error: add model/totalorder/QposMinMax.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/totalorder/QposMinMax.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/totalorder/QposMinMax.vos' will not be represented in diff
dpkg-source: error: cannot represent change to model/totalorder/ZMinMax.vo: binary file contents changed
dpkg-source: error: add model/totalorder/ZMinMax.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'model/totalorder/ZMinMax.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'model/totalorder/ZMinMax.vos' will not be represented in diff
dpkg-source: error: cannot represent change to ode/AbstractIntegration.vo: binary file contents changed
dpkg-source: error: add ode/AbstractIntegration.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'ode/AbstractIntegration.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'ode/AbstractIntegration.vos' will not be represented in diff

[continued in next message]

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