[continued from previous message]

dpkg-source: error: cannot represent change to reals/fast/RasterQ.vo: binary file contents changed
dpkg-source: error: add reals/fast/RasterQ.vo 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/RasterQ.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'reals/fast/RasterQ.vos' will not be represented in diff
dpkg-source: error: cannot represent change to reals/fast/RasterizeQ.vo: binary file contents changed
dpkg-source: error: add reals/fast/RasterizeQ.vo 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/RasterizeQ.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'reals/fast/RasterizeQ.vos' will not be represented in diff
dpkg-source: error: cannot represent change to reals/fast/uneven_CRplus.vo: binary file contents changed
dpkg-source: error: add reals/fast/uneven_CRplus.vo 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/uneven_CRplus.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'reals/fast/uneven_CRplus.vos' will not be represented in diff
dpkg-source: error: cannot represent change to reals/faster/ACarith.vo: binary file contents changed
dpkg-source: error: add reals/faster/ACarith.vo 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/faster/ACarith.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'reals/faster/ACarith.vos' will not be represented in diff
dpkg-source: error: cannot represent change to reals/faster/AQmetric.vo: binary file contents changed
dpkg-source: error: add reals/faster/AQmetric.vo 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/faster/AQmetric.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'reals/faster/AQmetric.vos' will not be represented in diff
dpkg-source: error: cannot represent change to reals/faster/ARAlternatingSum.vo: binary file contents changed
dpkg-source: error: add reals/faster/ARAlternatingSum.vo 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/faster/ARAlternatingSum.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'reals/faster/ARAlternatingSum.vos' will not be represented in diff
dpkg-source: error: cannot represent change to reals/faster/ARArith.vo: binary file contents changed
dpkg-source: error: add reals/faster/ARArith.vo 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/faster/ARArith.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'reals/faster/ARArith.vos' will not be represented in diff
dpkg-source: error: cannot represent change to reals/faster/ARQ.vo: binary file contents changed
dpkg-source: error: add reals/faster/ARQ.vo 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/faster/ARQ.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'reals/faster/ARQ.vos' will not be represented in diff
dpkg-source: error: cannot represent change to reals/faster/ARSpeedTests.vo: binary file contents changed
dpkg-source: error: add reals/faster/ARSpeedTests.vo 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/faster/ARSpeedTests.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'reals/faster/ARSpeedTests.vos' will not be represented in diff
dpkg-source: error: cannot represent change to reals/faster/ARabs.vo: binary file contents changed
dpkg-source: error: add reals/faster/ARabs.vo 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/faster/ARabs.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'reals/faster/ARabs.vos' will not be represented in diff
dpkg-source: error: cannot represent change to reals/faster/ARarctan.vo: binary file contents changed
dpkg-source: error: add reals/faster/ARarctan.vo 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/faster/ARarctan.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'reals/faster/ARarctan.vos' will not be represented in diff
dpkg-source: error: cannot represent change to reals/faster/ARarctan_small.vo: binary file contents changed
dpkg-source: error: add reals/faster/ARarctan_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/faster/ARarctan_small.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'reals/faster/ARarctan_small.vos' will not be represented in diff
dpkg-source: error: cannot represent change to reals/faster/ARbigD.vo: binary file contents changed
dpkg-source: error: add reals/faster/ARbigD.vo 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/faster/ARbigD.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'reals/faster/ARbigD.vos' will not be represented in diff
dpkg-source: error: cannot represent change to reals/faster/ARbigQ.vo: binary file contents changed
dpkg-source: error: add reals/faster/ARbigQ.vo 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/faster/ARbigQ.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'reals/faster/ARbigQ.vos' will not be represented in diff
dpkg-source: error: cannot represent change to reals/faster/ARcos.vo: binary file contents changed
dpkg-source: error: add reals/faster/ARcos.vo 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/faster/ARcos.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'reals/faster/ARcos.vos' will not be represented in diff
dpkg-source: error: cannot represent change to reals/faster/ARexp.vo: binary file contents changed
dpkg-source: error: add reals/faster/ARexp.vo 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/faster/ARexp.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'reals/faster/ARexp.vos' will not be represented in diff
dpkg-source: error: cannot represent change to reals/faster/ARinterval.vo: binary file contents changed
dpkg-source: error: add reals/faster/ARinterval.vo 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/faster/ARinterval.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'reals/faster/ARinterval.vos' will not be represented in diff
dpkg-source: error: cannot represent change to reals/faster/ARpi.vo: binary file contents changed
dpkg-source: error: add reals/faster/ARpi.vo 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/faster/ARpi.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'reals/faster/ARpi.vos' will not be represented in diff
dpkg-source: error: cannot represent change to reals/faster/ARplot.vo: binary file contents changed
dpkg-source: error: add reals/faster/ARplot.vo 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/faster/ARplot.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'reals/faster/ARplot.vos' will not be represented in diff
dpkg-source: error: cannot represent change to reals/faster/ARroot.vo: binary file contents changed
dpkg-source: error: add reals/faster/ARroot.vo 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/faster/ARroot.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'reals/faster/ARroot.vos' will not be represented in diff
dpkg-source: error: cannot represent change to reals/faster/ARsign.vo: binary file contents changed
dpkg-source: error: add reals/faster/ARsign.vo 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/faster/ARsign.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'reals/faster/ARsign.vos' will not be represented in diff
dpkg-source: error: cannot represent change to reals/faster/ARsin.vo: binary file contents changed
dpkg-source: error: add reals/faster/ARsin.vo 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/faster/ARsin.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'reals/faster/ARsin.vos' will not be represented in diff
dpkg-source: error: cannot represent change to reals/faster/ARtrans.vo: binary file contents changed
dpkg-source: error: add reals/faster/ARtrans.vo 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/faster/ARtrans.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'reals/faster/ARtrans.vos' will not be represented in diff
dpkg-source: error: cannot represent change to reals/faster/ApproximateRationals.vo: binary file contents changed
dpkg-source: error: add reals/faster/ApproximateRationals.vo 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/faster/ApproximateRationals.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'reals/faster/ApproximateRationals.vos' will not be represented in diff
dpkg-source: error: cannot represent change to reals/iso_CReals.vo: binary file contents changed
dpkg-source: error: add reals/iso_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/iso_CReals.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'reals/iso_CReals.vos' will not be represented in diff
dpkg-source: error: cannot represent change to stdlib_omissions/List.vo: binary file contents changed
dpkg-source: error: add stdlib_omissions/List.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'stdlib_omissions/List.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'stdlib_omissions/List.vos' will not be represented in diff
dpkg-source: error: cannot represent change to stdlib_omissions/N.vo: binary file contents changed
dpkg-source: error: add stdlib_omissions/N.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'stdlib_omissions/N.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'stdlib_omissions/N.vos' will not be represented in diff
dpkg-source: error: cannot represent change to stdlib_omissions/P.vo: binary file contents changed
dpkg-source: error: add stdlib_omissions/P.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'stdlib_omissions/P.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'stdlib_omissions/P.vos' will not be represented in diff
dpkg-source: error: cannot represent change to stdlib_omissions/Pair.vo: binary file contents changed
dpkg-source: error: add stdlib_omissions/Pair.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'stdlib_omissions/Pair.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'stdlib_omissions/Pair.vos' will not be represented in diff
dpkg-source: error: cannot represent change to stdlib_omissions/Q.vo: binary file contents changed
dpkg-source: error: add stdlib_omissions/Q.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'stdlib_omissions/Q.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'stdlib_omissions/Q.vos' will not be represented in diff
dpkg-source: error: cannot represent change to stdlib_omissions/Z.vo: binary file contents changed
dpkg-source: error: add stdlib_omissions/Z.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'stdlib_omissions/Z.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'stdlib_omissions/Z.vos' will not be represented in diff
dpkg-source: error: cannot represent change to tactics/AlgReflection.vo: binary file contents changed
dpkg-source: error: add tactics/AlgReflection.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'tactics/AlgReflection.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'tactics/AlgReflection.vos' will not be represented in diff
dpkg-source: error: cannot represent change to tactics/CornTac.vo: binary file contents changed
dpkg-source: error: add tactics/CornTac.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'tactics/CornTac.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'tactics/CornTac.vos' will not be represented in diff
dpkg-source: error: cannot represent change to tactics/DiffTactics1.vo: binary file contents changed
dpkg-source: error: add tactics/DiffTactics1.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'tactics/DiffTactics1.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'tactics/DiffTactics1.vos' will not be represented in diff
dpkg-source: error: cannot represent change to tactics/DiffTactics2.vo: binary file contents changed
dpkg-source: error: add tactics/DiffTactics2.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'tactics/DiffTactics2.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'tactics/DiffTactics2.vos' will not be represented in diff
dpkg-source: error: cannot represent change to tactics/DiffTactics3.vo: binary file contents changed
dpkg-source: error: add tactics/DiffTactics3.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'tactics/DiffTactics3.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'tactics/DiffTactics3.vos' will not be represented in diff
dpkg-source: error: cannot represent change to tactics/FieldReflection.vo: binary file contents changed
dpkg-source: error: add tactics/FieldReflection.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'tactics/FieldReflection.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'tactics/FieldReflection.vos' will not be represented in diff
dpkg-source: error: cannot represent change to tactics/Qauto.vo: binary file contents changed
dpkg-source: error: add tactics/Qauto.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'tactics/Qauto.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'tactics/Qauto.vos' will not be represented in diff
dpkg-source: error: cannot represent change to tactics/Rational.vo: binary file contents changed
dpkg-source: error: add tactics/Rational.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'tactics/Rational.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'tactics/Rational.vos' will not be represented in diff
dpkg-source: error: cannot represent change to tactics/RingReflection.vo: binary file contents changed
dpkg-source: error: add tactics/RingReflection.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'tactics/RingReflection.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'tactics/RingReflection.vos' will not be represented in diff
dpkg-source: error: cannot represent change to tactics/Step.vo: binary file contents changed
dpkg-source: error: add tactics/Step.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'tactics/Step.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'tactics/Step.vos' will not be represented in diff
dpkg-source: error: cannot represent change to tactics/csetoid_rewrite.vo: binary file contents changed
dpkg-source: error: add tactics/csetoid_rewrite.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'tactics/csetoid_rewrite.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'tactics/csetoid_rewrite.vos' will not be represented in diff
dpkg-source: error: cannot represent change to transc/ArTanH.vo: binary file contents changed
dpkg-source: error: add transc/ArTanH.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'transc/ArTanH.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'transc/ArTanH.vos' will not be represented in diff
dpkg-source: error: cannot represent change to transc/Exponential.vo: binary file contents changed
dpkg-source: error: add transc/Exponential.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'transc/Exponential.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'transc/Exponential.vos' will not be represented in diff
dpkg-source: error: cannot represent change to transc/InvTrigonom.vo: binary file contents changed
dpkg-source: error: add transc/InvTrigonom.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'transc/InvTrigonom.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'transc/InvTrigonom.vos' will not be represented in diff
dpkg-source: error: cannot represent change to transc/MoreArcTan.vo: binary file contents changed
dpkg-source: error: add transc/MoreArcTan.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'transc/MoreArcTan.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'transc/MoreArcTan.vos' will not be represented in diff
dpkg-source: error: cannot represent change to transc/Pi.vo: binary file contents changed
dpkg-source: error: add transc/Pi.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'transc/Pi.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'transc/Pi.vos' will not be represented in diff
dpkg-source: error: cannot represent change to transc/PowerSeries.vo: binary file contents changed
dpkg-source: error: add transc/PowerSeries.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'transc/PowerSeries.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'transc/PowerSeries.vos' will not be represented in diff
dpkg-source: error: cannot represent change to transc/RealPowers.vo: binary file contents changed
dpkg-source: error: add transc/RealPowers.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'transc/RealPowers.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'transc/RealPowers.vos' will not be represented in diff
dpkg-source: error: cannot represent change to transc/SinCos.vo: binary file contents changed
dpkg-source: error: add transc/SinCos.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'transc/SinCos.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'transc/SinCos.vos' will not be represented in diff
dpkg-source: error: cannot represent change to transc/TaylorSeries.vo: binary file contents changed
dpkg-source: error: add transc/TaylorSeries.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'transc/TaylorSeries.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'transc/TaylorSeries.vos' will not be represented in diff
dpkg-source: error: cannot represent change to transc/TrigMon.vo: binary file contents changed
dpkg-source: error: add transc/TrigMon.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'transc/TrigMon.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'transc/TrigMon.vos' will not be represented in diff
dpkg-source: error: cannot represent change to transc/Trigonometric.vo: binary file contents changed
dpkg-source: error: add transc/Trigonometric.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'transc/Trigonometric.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'transc/Trigonometric.vos' will not be represented in diff
dpkg-source: error: cannot represent change to util/Container.vo: binary file contents changed
dpkg-source: error: add util/Container.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'util/Container.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'util/Container.vos' will not be represented in diff
dpkg-source: error: cannot represent change to util/Extract.vo: binary file contents changed
dpkg-source: error: add util/Extract.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'util/Extract.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'util/Extract.vos' will not be represented in diff
dpkg-source: error: cannot represent change to util/PointFree.vo: binary file contents changed
dpkg-source: error: add util/PointFree.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'util/PointFree.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'util/PointFree.vos' will not be represented in diff
dpkg-source: error: cannot represent change to util/Qdlog.vo: binary file contents changed
dpkg-source: error: add util/Qdlog.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'util/Qdlog.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'util/Qdlog.vos' will not be represented in diff
dpkg-source: error: cannot represent change to util/Qgcd.vo: binary file contents changed
dpkg-source: error: add util/Qgcd.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'util/Qgcd.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'util/Qgcd.vos' will not be represented in diff
dpkg-source: error: cannot represent change to util/Qsums.vo: binary file contents changed
dpkg-source: error: add util/Qsums.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'util/Qsums.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'util/Qsums.vos' will not be represented in diff
dpkg-source: error: cannot represent change to util/SetoidPermutation.vo: binary file contents changed
dpkg-source: error: add util/SetoidPermutation.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'util/SetoidPermutation.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'util/SetoidPermutation.vos' will not be represented in diff
dpkg-source: error: unrepresentable changes to source
dpkg-buildpackage: error: dpkg-source -b . subprocess returned exit status 1

E: Command 'cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env -us -uc -rfakeroot -S' failed to run.

The full build log is available from: http://qa-logs.debian.net/2023/08/13/coq-corn_8.16.0-3_unstable.log

If you reassign this bug to another package, please mark it as 'affects'-ing this package. See https://www.debian.org/Bugs/server-control#affects

If you fail to reproduce this, please provide a build log and diff it with mine so that we can identify if something relevant changed in the meantime.

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