XPost: linux.debian.bugs.dist

Source: coq-corn
Version: 8.16.0-3
Severity: minor
Tags: trixie sid ftbfs
User: [email protected]
Usertags: ftbfs-sab-20230813 ftbfs-source-after-build
User: [email protected]
Usertags: qa-doublebuild

Hi,

This package fails to build a source package after a successful build (dpkg-buildpackage ; dpkg-buildpackage -S).

This is probably a clear violation of Debian Policy section 4.9 (clean target), but this is filed as severity:minor for now, because a discussion on debian-devel showed that we might want to revisit the requirement of a working 'clean' target.

More information about this class of issues, included common problems and solutions, is available at https://wiki.debian.org/qa.debian.org/FTBFS/SourceAfterBuild

Relevant part of the build log:

cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env -us -uc -rfakeroot -S
------------------------------------------------------------------------------------------------------------------------

dpkg-buildpackage: info: source package coq-corn
dpkg-buildpackage: info: source version 8.16.0-3
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Julien Puydt <[email protected]>
dpkg-source --before-build .
debian/rules clean
dh clean --with coq
debian/rules override_dh_auto_clean
make[1]: Entering directory '/<<PKGBUILDDIR>>'
# modifies sources!
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_clean
dpkg-source -b .
dpkg-source: info: using source format '3.0 (quilt)'
dpkg-source: info: building coq-corn using existing ./coq-corn_8.16.0.orig.tar.gz
dpkg-source: error: cannot represent change to .lia.cache: binary file contents changed
dpkg-source: error: add .lia.cache in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: error: cannot represent change to algebra/Bernstein.vo: binary file contents changed
dpkg-source: error: add algebra/Bernstein.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/Bernstein.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/Bernstein.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/CAbGroups.vo: binary file contents changed
dpkg-source: error: add algebra/CAbGroups.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/CAbGroups.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/CAbGroups.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/CAbMonoids.vo: binary file contents changed
dpkg-source: error: add algebra/CAbMonoids.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/CAbMonoids.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/CAbMonoids.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/CFields.vo: binary file contents changed
dpkg-source: error: add algebra/CFields.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/CFields.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/CFields.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/CGroups.vo: binary file contents changed
dpkg-source: error: add algebra/CGroups.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/CGroups.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/CGroups.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/CMonoids.vo: binary file contents changed
dpkg-source: error: add algebra/CMonoids.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/CMonoids.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/CMonoids.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/COrdAbs.vo: binary file contents changed
dpkg-source: error: add algebra/COrdAbs.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/COrdAbs.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/COrdAbs.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/COrdCauchy.vo: binary file contents changed
dpkg-source: error: add algebra/COrdCauchy.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/COrdCauchy.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/COrdCauchy.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/COrdFields.vo: binary file contents changed
dpkg-source: error: add algebra/COrdFields.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/COrdFields.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/COrdFields.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/COrdFields2.vo: binary file contents changed
dpkg-source: error: add algebra/COrdFields2.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/COrdFields2.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/COrdFields2.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/CPoly_ApZero.vo: binary file contents changed
dpkg-source: error: add algebra/CPoly_ApZero.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/CPoly_ApZero.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/CPoly_ApZero.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/CPoly_Degree.vo: binary file contents changed
dpkg-source: error: add algebra/CPoly_Degree.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/CPoly_Degree.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/CPoly_Degree.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/CPoly_Newton.vo: binary file contents changed
dpkg-source: error: add algebra/CPoly_Newton.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/CPoly_Newton.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/CPoly_Newton.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/CPoly_NthCoeff.vo: binary file contents changed
dpkg-source: error: add algebra/CPoly_NthCoeff.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/CPoly_NthCoeff.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/CPoly_NthCoeff.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/CPolynomials.vo: binary file contents changed
dpkg-source: error: add algebra/CPolynomials.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/CPolynomials.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/CPolynomials.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/CRing_Homomorphisms.vo: binary file contents changed
dpkg-source: error: add algebra/CRing_Homomorphisms.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/CRing_Homomorphisms.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/CRing_Homomorphisms.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/CRing_as_Ring.vo: binary file contents changed
dpkg-source: error: add algebra/CRing_as_Ring.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/CRing_as_Ring.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/CRing_as_Ring.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/CRings.vo: binary file contents changed
dpkg-source: error: add algebra/CRings.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/CRings.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/CRings.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/CSemiGroups.vo: binary file contents changed
dpkg-source: error: add algebra/CSemiGroups.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/CSemiGroups.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/CSemiGroups.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/CSetoidFun.vo: binary file contents changed
dpkg-source: error: add algebra/CSetoidFun.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/CSetoidFun.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/CSetoidFun.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/CSetoidInc.vo: binary file contents changed
dpkg-source: error: add algebra/CSetoidInc.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/CSetoidInc.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/CSetoidInc.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/CSetoids.vo: binary file contents changed
dpkg-source: error: add algebra/CSetoids.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/CSetoids.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/CSetoids.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/CSums.vo: binary file contents changed
dpkg-source: error: add algebra/CSums.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/CSums.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/CSums.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/Cauchy_COF.vo: binary file contents changed
dpkg-source: error: add algebra/Cauchy_COF.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/Cauchy_COF.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/Cauchy_COF.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/CornScope.vo: binary file contents changed
dpkg-source: error: add algebra/CornScope.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/CornScope.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/CornScope.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/Expon.vo: binary file contents changed
dpkg-source: error: add algebra/Expon.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/Expon.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/Expon.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/OperationClasses.vo: binary file contents changed
dpkg-source: error: add algebra/OperationClasses.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/OperationClasses.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/OperationClasses.vos' will not be represented in diff
dpkg-source: error: cannot represent change to algebra/RSetoid.vo: binary file contents changed
dpkg-source: error: add algebra/RSetoid.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'algebra/RSetoid.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'algebra/RSetoid.vos' will not be represented in diff
dpkg-source: error: cannot represent change to classes/Qclasses.vo: binary file contents changed
dpkg-source: error: add classes/Qclasses.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'classes/Qclasses.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'classes/Qclasses.vos' will not be represented in diff
dpkg-source: error: cannot represent change to classes/Qposclasses.vo: binary file contents changed
dpkg-source: error: add classes/Qposclasses.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'classes/Qposclasses.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'classes/Qposclasses.vos' will not be represented in diff
dpkg-source: error: cannot represent change to complex/AbsCC.vo: binary file contents changed
dpkg-source: error: add complex/AbsCC.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'complex/AbsCC.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'complex/AbsCC.vos' will not be represented in diff
dpkg-source: error: cannot represent change to complex/CComplex.vo: binary file contents changed
dpkg-source: error: add complex/CComplex.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'complex/CComplex.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'complex/CComplex.vos' will not be represented in diff
dpkg-source: error: cannot represent change to complex/Complex_Exponential.vo: binary file contents changed
dpkg-source: error: add complex/Complex_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 'complex/Complex_Exponential.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'complex/Complex_Exponential.vos' will not be represented in diff
dpkg-source: error: cannot represent change to complex/NRootCC.vo: binary file contents changed
dpkg-source: error: add complex/NRootCC.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'complex/NRootCC.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'complex/NRootCC.vos' will not be represented in diff
dpkg-source: error: cannot represent change to coq_reals/Rreals.vo: binary file contents changed
dpkg-source: error: add coq_reals/Rreals.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'coq_reals/Rreals.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'coq_reals/Rreals.vos' will not be represented in diff
dpkg-source: error: cannot represent change to coq_reals/Rreals_iso.vo: binary file contents changed
dpkg-source: error: add coq_reals/Rreals_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 'coq_reals/Rreals_iso.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'coq_reals/Rreals_iso.vos' will not be represented in diff
dpkg-source: error: cannot represent change to coq_reals/Rsign.vo: binary file contents changed
dpkg-source: error: add coq_reals/Rsign.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'coq_reals/Rsign.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'coq_reals/Rsign.vos' will not be represented in diff
dpkg-source: error: cannot represent change to fta/CC_Props.vo: binary file contents changed
dpkg-source: error: add fta/CC_Props.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'fta/CC_Props.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'fta/CC_Props.vos' will not be represented in diff
dpkg-source: error: cannot represent change to fta/CPoly_Contin1.vo: binary file contents changed
dpkg-source: error: add fta/CPoly_Contin1.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'fta/CPoly_Contin1.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'fta/CPoly_Contin1.vos' will not be represented in diff
dpkg-source: error: cannot represent change to fta/CPoly_Rev.vo: binary file contents changed
dpkg-source: error: add fta/CPoly_Rev.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'fta/CPoly_Rev.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'fta/CPoly_Rev.vos' will not be represented in diff
dpkg-source: error: cannot represent change to fta/CPoly_Shift.vo: binary file contents changed
dpkg-source: error: add fta/CPoly_Shift.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'fta/CPoly_Shift.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'fta/CPoly_Shift.vos' will not be represented in diff
dpkg-source: error: cannot represent change to fta/FTA.vo: binary file contents changed
dpkg-source: error: add fta/FTA.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'fta/FTA.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'fta/FTA.vos' will not be represented in diff
dpkg-source: error: cannot represent change to fta/FTAreg.vo: binary file contents changed
dpkg-source: error: add fta/FTAreg.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'fta/FTAreg.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'fta/FTAreg.vos' will not be represented in diff
dpkg-source: error: cannot represent change to fta/KeyLemma.vo: binary file contents changed
dpkg-source: error: add fta/KeyLemma.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'fta/KeyLemma.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'fta/KeyLemma.vos' will not be represented in diff
dpkg-source: error: cannot represent change to fta/KneserLemma.vo: binary file contents changed
dpkg-source: error: add fta/KneserLemma.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'fta/KneserLemma.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'fta/KneserLemma.vos' will not be represented in diff
dpkg-source: error: cannot represent change to fta/MainLemma.vo: binary file contents changed
dpkg-source: error: add fta/MainLemma.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'fta/MainLemma.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'fta/MainLemma.vos' will not be represented in diff
dpkg-source: error: cannot represent change to ftc/COrdLemmas.vo: binary file contents changed
dpkg-source: error: add ftc/COrdLemmas.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'ftc/COrdLemmas.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'ftc/COrdLemmas.vos' will not be represented in diff
dpkg-source: error: cannot represent change to ftc/CalculusTheorems.vo: binary file contents changed
dpkg-source: error: add ftc/CalculusTheorems.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'ftc/CalculusTheorems.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'ftc/CalculusTheorems.vos' will not be represented in diff
dpkg-source: error: cannot represent change to ftc/Composition.vo: binary file contents changed
dpkg-source: error: add ftc/Composition.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'ftc/Composition.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'ftc/Composition.vos' will not be represented in diff
dpkg-source: error: cannot represent change to ftc/Continuity.vo: binary file contents changed
dpkg-source: error: add ftc/Continuity.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'ftc/Continuity.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'ftc/Continuity.vos' will not be represented in diff
dpkg-source: error: cannot represent change to ftc/Derivative.vo: binary file contents changed
dpkg-source: error: add ftc/Derivative.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'ftc/Derivative.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'ftc/Derivative.vos' will not be represented in diff
dpkg-source: error: cannot represent change to ftc/DerivativeOps.vo: binary file contents changed
dpkg-source: error: add ftc/DerivativeOps.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'ftc/DerivativeOps.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'ftc/DerivativeOps.vos' will not be represented in diff
dpkg-source: error: cannot represent change to ftc/Differentiability.vo: binary file contents changed
dpkg-source: error: add ftc/Differentiability.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'ftc/Differentiability.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'ftc/Differentiability.vos' will not be represented in diff
dpkg-source: error: cannot represent change to ftc/FTC.vo: binary file contents changed
dpkg-source: error: add ftc/FTC.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'ftc/FTC.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'ftc/FTC.vos' will not be represented in diff
dpkg-source: error: cannot represent change to ftc/FunctSequence.vo: binary file contents changed
dpkg-source: error: add ftc/FunctSequence.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'ftc/FunctSequence.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'ftc/FunctSequence.vos' will not be represented in diff
dpkg-source: error: cannot represent change to ftc/FunctSeries.vo: binary file contents changed
dpkg-source: error: add ftc/FunctSeries.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'ftc/FunctSeries.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'ftc/FunctSeries.vos' will not be represented in diff
dpkg-source: error: cannot represent change to ftc/FunctSums.vo: binary file contents changed
dpkg-source: error: add ftc/FunctSums.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'ftc/FunctSums.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'ftc/FunctSums.vos' will not be represented in diff
dpkg-source: error: cannot represent change to ftc/Integral.vo: binary file contents changed
dpkg-source: error: add ftc/Integral.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'ftc/Integral.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'ftc/Integral.vos' will not be represented in diff
dpkg-source: error: cannot represent change to ftc/IntegrationRules.vo: binary file contents changed
dpkg-source: error: add ftc/IntegrationRules.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'ftc/IntegrationRules.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'ftc/IntegrationRules.vos' will not be represented in diff
dpkg-source: error: cannot represent change to ftc/IntervalFunct.vo: binary file contents changed
dpkg-source: error: add ftc/IntervalFunct.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'ftc/IntervalFunct.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'ftc/IntervalFunct.vos' will not be represented in diff
dpkg-source: error: cannot represent change to ftc/MoreFunSeries.vo: binary file contents changed
dpkg-source: error: add ftc/MoreFunSeries.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'ftc/MoreFunSeries.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'ftc/MoreFunSeries.vos' will not be represented in diff
dpkg-source: error: cannot represent change to ftc/MoreFunctions.vo: binary file contents changed
dpkg-source: error: add ftc/MoreFunctions.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'ftc/MoreFunctions.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'ftc/MoreFunctions.vos' will not be represented in diff
dpkg-source: error: cannot represent change to ftc/MoreIntegrals.vo: binary file contents changed
dpkg-source: error: add ftc/MoreIntegrals.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'ftc/MoreIntegrals.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'ftc/MoreIntegrals.vos' will not be represented in diff
dpkg-source: error: cannot represent change to ftc/MoreIntervals.vo: binary file contents changed
dpkg-source: error: add ftc/MoreIntervals.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'ftc/MoreIntervals.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'ftc/MoreIntervals.vos' will not be represented in diff
dpkg-source: error: cannot represent change to ftc/NthDerivative.vo: binary file contents changed
dpkg-source: error: add ftc/NthDerivative.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'ftc/NthDerivative.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'ftc/NthDerivative.vos' will not be represented in diff
dpkg-source: error: cannot represent change to ftc/PartFunEquality.vo: binary file contents changed
dpkg-source: error: add ftc/PartFunEquality.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'ftc/PartFunEquality.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'ftc/PartFunEquality.vos' will not be represented in diff
dpkg-source: error: cannot represent change to ftc/PartInterval.vo: binary file contents changed
dpkg-source: error: add ftc/PartInterval.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball

[continued in next message]

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