• Bug#1044867: coq-corn: Fails to build source after successful build (4/

    From Lucas Nussbaum@21:1/5 to All on Sun Aug 13 19:50:18 2023
    [continued from previous message]

    dpkg-source: error: cannot represent change to ode/BanachFixpoint.vo: binary file contents changed
    dpkg-source: error: add ode/BanachFixpoint.vo 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/BanachFixpoint.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'ode/BanachFixpoint.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to ode/FromMetric2.vo: binary file contents changed
    dpkg-source: error: add ode/FromMetric2.vo 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/FromMetric2.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'ode/FromMetric2.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to ode/Picard.vo: binary file contents changed
    dpkg-source: error: add ode/Picard.vo 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/Picard.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'ode/Picard.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to ode/SimpleIntegration.vo: binary file contents changed
    dpkg-source: error: add ode/SimpleIntegration.vo 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/SimpleIntegration.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'ode/SimpleIntegration.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to ode/metric.vo: binary file contents changed
    dpkg-source: error: add ode/metric.vo 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/metric.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'ode/metric.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to order/Lattice.vo: binary file contents changed
    dpkg-source: error: add order/Lattice.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'order/Lattice.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'order/Lattice.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to order/PartialOrder.vo: binary file contents changed
    dpkg-source: error: add order/PartialOrder.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'order/PartialOrder.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'order/PartialOrder.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to order/SemiLattice.vo: binary file contents changed
    dpkg-source: error: add order/SemiLattice.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'order/SemiLattice.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'order/SemiLattice.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to order/TotalOrder.vo: binary file contents changed
    dpkg-source: error: add order/TotalOrder.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'order/TotalOrder.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'order/TotalOrder.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to raster/Raster.vo: binary file contents changed
    dpkg-source: error: add raster/Raster.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'raster/Raster.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'raster/Raster.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/Bridges_LUB.vo: binary file contents changed
    dpkg-source: error: add reals/Bridges_LUB.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/Bridges_LUB.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/Bridges_LUB.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/Bridges_iso.vo: binary file contents changed
    dpkg-source: error: add reals/Bridges_iso.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/Bridges_iso.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/Bridges_iso.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/CMetricFields.vo: binary file contents changed
    dpkg-source: error: add reals/CMetricFields.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/CMetricFields.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/CMetricFields.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/CPoly_Contin.vo: binary file contents changed
    dpkg-source: error: add reals/CPoly_Contin.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/CPoly_Contin.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/CPoly_Contin.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/CReals.vo: binary file contents changed
    dpkg-source: error: add reals/CReals.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/CReals.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/CReals.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/CReals1.vo: binary file contents changed
    dpkg-source: error: add reals/CReals1.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/CReals1.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/CReals1.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/CSumsReals.vo: binary file contents changed
    dpkg-source: error: add reals/CSumsReals.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/CSumsReals.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/CSumsReals.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/CauchySeq.vo: binary file contents changed
    dpkg-source: error: add reals/CauchySeq.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/CauchySeq.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/CauchySeq.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/Cauchy_CReals.vo: binary file contents changed
    dpkg-source: error: add reals/Cauchy_CReals.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/Cauchy_CReals.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/Cauchy_CReals.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/Cesaro.vo: binary file contents changed
    dpkg-source: error: add reals/Cesaro.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/Cesaro.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/Cesaro.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/IVT.vo: binary file contents changed
    dpkg-source: error: add reals/IVT.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/IVT.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/IVT.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/Intervals.vo: binary file contents changed
    dpkg-source: error: add reals/Intervals.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/Intervals.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/Intervals.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/Max_AbsIR.vo: binary file contents changed
    dpkg-source: error: add reals/Max_AbsIR.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/Max_AbsIR.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/Max_AbsIR.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/NRootIR.vo: binary file contents changed
    dpkg-source: error: add reals/NRootIR.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/NRootIR.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/NRootIR.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/OddPolyRootIR.vo: binary file contents changed
    dpkg-source: error: add reals/OddPolyRootIR.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/OddPolyRootIR.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/OddPolyRootIR.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/PosSeq.vo: binary file contents changed
    dpkg-source: error: add reals/PosSeq.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/PosSeq.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/PosSeq.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/Q_dense.vo: binary file contents changed
    dpkg-source: error: add reals/Q_dense.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/Q_dense.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/Q_dense.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/Q_in_CReals.vo: binary file contents changed
    dpkg-source: error: add reals/Q_in_CReals.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/Q_in_CReals.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/Q_in_CReals.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/R_morphism.vo: binary file contents changed
    dpkg-source: error: add reals/R_morphism.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/R_morphism.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/R_morphism.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/RealCount.vo: binary file contents changed
    dpkg-source: error: add reals/RealCount.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/RealCount.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/RealCount.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/RealFuncts.vo: binary file contents changed
    dpkg-source: error: add reals/RealFuncts.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/RealFuncts.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/RealFuncts.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/RealLists.vo: binary file contents changed
    dpkg-source: error: add reals/RealLists.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/RealLists.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/RealLists.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/Series.vo: binary file contents changed
    dpkg-source: error: add reals/Series.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/Series.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/Series.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRAlternatingSum.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRAlternatingSum.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRAlternatingSum.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRAlternatingSum.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRAlternatingSum_alg.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRAlternatingSum_alg.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRAlternatingSum_alg.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRAlternatingSum_alg.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRArith.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRArith.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRArith.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRArith.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRArith_alg.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRArith_alg.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRArith_alg.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRArith_alg.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRFieldOps.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRFieldOps.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRFieldOps.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRFieldOps.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRGeometricSum.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRGeometricSum.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRGeometricSum.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRGeometricSum.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRGroupOps.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRGroupOps.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRGroupOps.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRGroupOps.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRIR.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRIR.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRIR.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRIR.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRabs.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRabs.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRabs.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRabs.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRarctan.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRarctan.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRarctan.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRarctan.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRarctan_small.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRarctan_small.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRarctan_small.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRarctan_small.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRartanh_slow.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRartanh_slow.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRartanh_slow.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRartanh_slow.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRball.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRball.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRball.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRball.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRconst.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRconst.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRconst.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRconst.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRcorrect.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRcorrect.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRcorrect.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRcorrect.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRcos.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRcos.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRcos.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRcos.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRexp.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRexp.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRexp.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRexp.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRln.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRln.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRln.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRln.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRpi.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRpi.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRpi.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRpi.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRpi_fast.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRpi_fast.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRpi_fast.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRpi_fast.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRpi_slow.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRpi_slow.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRpi_slow.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRpi_slow.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRpower.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRpower.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRpower.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRpower.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRroot.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRroot.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRroot.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRroot.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRsign.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRsign.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRsign.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRsign.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRsin.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRsin.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRsin.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRsin.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRstreams.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRstreams.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRstreams.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRstreams.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRsum.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRsum.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRsum.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRsum.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/CRtrans.vo: binary file contents changed
    dpkg-source: error: add reals/fast/CRtrans.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/CRtrans.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/CRtrans.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/Compress.vo: binary file contents changed
    dpkg-source: error: add reals/fast/Compress.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/Compress.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/Compress.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/ContinuousCorrect.vo: binary file contents changed
    dpkg-source: error: add reals/fast/ContinuousCorrect.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/ContinuousCorrect.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/ContinuousCorrect.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/Integration.vo: binary file contents changed
    dpkg-source: error: add reals/fast/Integration.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/Integration.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/Integration.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/Interval.vo: binary file contents changed
    dpkg-source: error: add reals/fast/Interval.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/Interval.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/Interval.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/LazyNat.vo: binary file contents changed
    dpkg-source: error: add reals/fast/LazyNat.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/LazyNat.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/LazyNat.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/ModulusDerivative.vo: binary file contents changed
    dpkg-source: error: add reals/fast/ModulusDerivative.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/ModulusDerivative.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/ModulusDerivative.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/MultivariatePolynomials.vo: binary file contents changed
    dpkg-source: error: add reals/fast/MultivariatePolynomials.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/MultivariatePolynomials.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/MultivariatePolynomials.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/Plot.vo: binary file contents changed
    dpkg-source: error: add reals/fast/Plot.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/Plot.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/Plot.vos' will not be represented in diff
    dpkg-source: error: cannot represent change to reals/fast/PowerBound.vo: binary file contents changed
    dpkg-source: error: add reals/fast/PowerBound.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
    dpkg-source: warning: newly created empty file 'reals/fast/PowerBound.vok' will not be represented in diff
    dpkg-source: warning: newly created empty file 'reals/fast/PowerBound.vos' will not be represented in diff

    [continued in next message]

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