Bug#1044914: coq-math-classes: Fails to build source after successful build

[Lucas Nussbaum <lucas@debian.org>]

Source: coq-math-classes
Version: 8.17.0-1
Severity: minor
Tags: trixie sid ftbfs
User: lucas@debian.org
Usertags: ftbfs-sab-20230813 ftbfs-source-after-build
User: debian-qa@lists.debian.org
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-math-classes
> dpkg-buildpackage: info: source version 8.17.0-1
> dpkg-buildpackage: info: source distribution unstable
> dpkg-buildpackage: info: source changed by Julien Puydt <jpuydt@debian.org>
>  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-math-classes using existing ./coq-math-classes_8.17.0.orig.tar.gz
> dpkg-source: info: using patch list from debian/patches/series
> 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 categories/JMcat.vo: binary file contents changed
> dpkg-source: error: add categories/JMcat.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'categories/JMcat.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'categories/JMcat.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to categories/algebras.vo: binary file contents changed
> dpkg-source: error: add categories/algebras.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'categories/algebras.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'categories/algebras.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to categories/categories.vo: binary file contents changed
> dpkg-source: error: add categories/categories.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'categories/categories.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'categories/categories.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to categories/dual.vo: binary file contents changed
> dpkg-source: error: add categories/dual.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'categories/dual.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'categories/dual.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to categories/empty.vo: binary file contents changed
> dpkg-source: error: add categories/empty.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'categories/empty.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'categories/empty.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to categories/functors.vo: binary file contents changed
> dpkg-source: error: add categories/functors.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'categories/functors.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'categories/functors.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to categories/orders.vo: binary file contents changed
> dpkg-source: error: add categories/orders.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'categories/orders.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'categories/orders.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to categories/product.vo: binary file contents changed
> dpkg-source: error: add categories/product.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'categories/product.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'categories/product.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to categories/setoids.vo: binary file contents changed
> dpkg-source: error: add categories/setoids.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'categories/setoids.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'categories/setoids.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to categories/unit.vo: binary file contents changed
> dpkg-source: error: add categories/unit.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'categories/unit.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'categories/unit.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to categories/varieties.vo: binary file contents changed
> dpkg-source: error: add categories/varieties.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'categories/varieties.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'categories/varieties.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to functors/constant.vo: binary file contents changed
> dpkg-source: error: add functors/constant.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'functors/constant.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'functors/constant.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/NType_naturals.vo: binary file contents changed
> dpkg-source: error: add implementations/NType_naturals.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'implementations/NType_naturals.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/NType_naturals.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/QType_rationals.vo: binary file contents changed
> dpkg-source: error: add implementations/QType_rationals.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'implementations/QType_rationals.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/QType_rationals.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/ZType_integers.vo: binary file contents changed
> dpkg-source: error: add implementations/ZType_integers.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'implementations/ZType_integers.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/ZType_integers.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/bool.vo: binary file contents changed
> dpkg-source: error: add implementations/bool.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'implementations/bool.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/bool.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/dyadics.vo: binary file contents changed
> dpkg-source: error: add implementations/dyadics.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'implementations/dyadics.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/dyadics.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/fast_integers.vo: binary file contents changed
> dpkg-source: error: add implementations/fast_integers.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'implementations/fast_integers.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/fast_integers.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/fast_naturals.vo: binary file contents changed
> dpkg-source: error: add implementations/fast_naturals.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'implementations/fast_naturals.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/fast_naturals.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/fast_rationals.vo: binary file contents changed
> dpkg-source: error: add implementations/fast_rationals.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'implementations/fast_rationals.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/fast_rationals.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/field_of_fractions.vo: binary file contents changed
> dpkg-source: error: add implementations/field_of_fractions.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'implementations/field_of_fractions.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/field_of_fractions.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/intfrac_rationals.vo: binary file contents changed
> dpkg-source: error: add implementations/intfrac_rationals.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'implementations/intfrac_rationals.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/intfrac_rationals.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/list.vo: binary file contents changed
> dpkg-source: error: add implementations/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 'implementations/list.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/list.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/list_finite_set.vo: binary file contents changed
> dpkg-source: error: add implementations/list_finite_set.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'implementations/list_finite_set.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/list_finite_set.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/modular_ring.vo: binary file contents changed
> dpkg-source: error: add implementations/modular_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 'implementations/modular_ring.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/modular_ring.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/mset_finite_set.vo: binary file contents changed
> dpkg-source: error: add implementations/mset_finite_set.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'implementations/mset_finite_set.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/mset_finite_set.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/natpair_integers.vo: binary file contents changed
> dpkg-source: error: add implementations/natpair_integers.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'implementations/natpair_integers.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/natpair_integers.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/ne_list.vo: binary file contents changed
> dpkg-source: error: add implementations/ne_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 'implementations/ne_list.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/ne_list.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/nonneg_integers_naturals.vo: binary file contents changed
> dpkg-source: error: add implementations/nonneg_integers_naturals.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'implementations/nonneg_integers_naturals.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/nonneg_integers_naturals.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/nonneg_semiring_elements.vo: binary file contents changed
> dpkg-source: error: add implementations/nonneg_semiring_elements.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'implementations/nonneg_semiring_elements.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/nonneg_semiring_elements.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/nonzero_field_elements.vo: binary file contents changed
> dpkg-source: error: add implementations/nonzero_field_elements.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'implementations/nonzero_field_elements.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/nonzero_field_elements.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/option.vo: binary file contents changed
> dpkg-source: error: add implementations/option.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'implementations/option.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/option.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/peano_naturals.vo: binary file contents changed
> dpkg-source: error: add implementations/peano_naturals.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'implementations/peano_naturals.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/peano_naturals.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/polynomials.vo: binary file contents changed
> dpkg-source: error: add implementations/polynomials.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'implementations/polynomials.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/polynomials.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/positive_semiring_elements.vo: binary file contents changed
> dpkg-source: error: add implementations/positive_semiring_elements.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'implementations/positive_semiring_elements.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/positive_semiring_elements.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/semiring_pairs.vo: binary file contents changed
> dpkg-source: error: add implementations/semiring_pairs.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'implementations/semiring_pairs.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/semiring_pairs.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/stdlib_binary_integers.vo: binary file contents changed
> dpkg-source: error: add implementations/stdlib_binary_integers.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'implementations/stdlib_binary_integers.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/stdlib_binary_integers.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/stdlib_binary_naturals.vo: binary file contents changed
> dpkg-source: error: add implementations/stdlib_binary_naturals.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'implementations/stdlib_binary_naturals.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/stdlib_binary_naturals.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to implementations/stdlib_rationals.vo: binary file contents changed
> dpkg-source: error: add implementations/stdlib_rationals.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'implementations/stdlib_rationals.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'implementations/stdlib_rationals.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to interfaces/abstract_algebra.vo: binary file contents changed
> dpkg-source: error: add interfaces/abstract_algebra.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'interfaces/abstract_algebra.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'interfaces/abstract_algebra.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to interfaces/additional_operations.vo: binary file contents changed
> dpkg-source: error: add interfaces/additional_operations.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'interfaces/additional_operations.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'interfaces/additional_operations.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to interfaces/canonical_names.vo: binary file contents changed
> dpkg-source: error: add interfaces/canonical_names.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'interfaces/canonical_names.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'interfaces/canonical_names.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to interfaces/finite_sets.vo: binary file contents changed
> dpkg-source: error: add interfaces/finite_sets.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'interfaces/finite_sets.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'interfaces/finite_sets.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to interfaces/functors.vo: binary file contents changed
> dpkg-source: error: add interfaces/functors.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'interfaces/functors.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'interfaces/functors.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to interfaces/integers.vo: binary file contents changed
> dpkg-source: error: add interfaces/integers.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'interfaces/integers.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'interfaces/integers.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to interfaces/monads.vo: binary file contents changed
> dpkg-source: error: add interfaces/monads.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'interfaces/monads.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'interfaces/monads.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to interfaces/naturals.vo: binary file contents changed
> dpkg-source: error: add interfaces/naturals.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'interfaces/naturals.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'interfaces/naturals.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to interfaces/orders.vo: binary file contents changed
> dpkg-source: error: add interfaces/orders.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'interfaces/orders.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'interfaces/orders.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to interfaces/rationals.vo: binary file contents changed
> dpkg-source: error: add interfaces/rationals.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'interfaces/rationals.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'interfaces/rationals.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to interfaces/sequences.vo: binary file contents changed
> dpkg-source: error: add interfaces/sequences.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'interfaces/sequences.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'interfaces/sequences.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to interfaces/ua_basic.vo: binary file contents changed
> dpkg-source: error: add interfaces/ua_basic.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'interfaces/ua_basic.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'interfaces/ua_basic.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to interfaces/universal_algebra.vo: binary file contents changed
> dpkg-source: error: add interfaces/universal_algebra.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'interfaces/universal_algebra.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'interfaces/universal_algebra.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to interfaces/vectorspace.vo: binary file contents changed
> dpkg-source: error: add interfaces/vectorspace.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'interfaces/vectorspace.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'interfaces/vectorspace.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to misc/JMrelation.vo: binary file contents changed
> dpkg-source: error: add misc/JMrelation.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'misc/JMrelation.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'misc/JMrelation.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to misc/decision.vo: binary file contents changed
> dpkg-source: error: add misc/decision.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'misc/decision.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'misc/decision.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to misc/propholds.vo: binary file contents changed
> dpkg-source: error: add misc/propholds.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'misc/propholds.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'misc/propholds.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to misc/setoid_tactics.vo: binary file contents changed
> dpkg-source: error: add misc/setoid_tactics.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'misc/setoid_tactics.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'misc/setoid_tactics.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to misc/stdlib_hints.vo: binary file contents changed
> dpkg-source: error: add misc/stdlib_hints.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'misc/stdlib_hints.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'misc/stdlib_hints.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to misc/util.vo: binary file contents changed
> dpkg-source: error: add misc/util.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'misc/util.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'misc/util.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to misc/workaround_tactics.vo: binary file contents changed
> dpkg-source: error: add misc/workaround_tactics.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'misc/workaround_tactics.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'misc/workaround_tactics.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to misc/workarounds.vo: binary file contents changed
> dpkg-source: error: add misc/workarounds.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'misc/workarounds.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'misc/workarounds.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to orders/dec_fields.vo: binary file contents changed
> dpkg-source: error: add orders/dec_fields.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'orders/dec_fields.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'orders/dec_fields.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to orders/integers.vo: binary file contents changed
> dpkg-source: error: add orders/integers.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'orders/integers.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'orders/integers.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to orders/lattices.vo: binary file contents changed
> dpkg-source: error: add orders/lattices.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'orders/lattices.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'orders/lattices.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to orders/maps.vo: binary file contents changed
> dpkg-source: error: add orders/maps.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'orders/maps.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'orders/maps.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to orders/minmax.vo: binary file contents changed
> dpkg-source: error: add orders/minmax.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'orders/minmax.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'orders/minmax.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to orders/nat_int.vo: binary file contents changed
> dpkg-source: error: add orders/nat_int.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'orders/nat_int.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'orders/nat_int.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to orders/naturals.vo: binary file contents changed
> dpkg-source: error: add orders/naturals.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'orders/naturals.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'orders/naturals.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to orders/orders.vo: binary file contents changed
> dpkg-source: error: add orders/orders.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'orders/orders.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'orders/orders.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to orders/rationals.vo: binary file contents changed
> dpkg-source: error: add orders/rationals.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'orders/rationals.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'orders/rationals.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to orders/rings.vo: binary file contents changed
> dpkg-source: error: add orders/rings.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'orders/rings.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'orders/rings.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to orders/semirings.vo: binary file contents changed
> dpkg-source: error: add orders/semirings.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'orders/semirings.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'orders/semirings.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to quote/classquote.vo: binary file contents changed
> dpkg-source: error: add quote/classquote.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'quote/classquote.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'quote/classquote.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/CoqStreams.vo: binary file contents changed
> dpkg-source: error: add theory/CoqStreams.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/CoqStreams.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/CoqStreams.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/abs.vo: binary file contents changed
> dpkg-source: error: add theory/abs.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/abs.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/abs.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/adjunctions.vo: binary file contents changed
> dpkg-source: error: add theory/adjunctions.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/adjunctions.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/adjunctions.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/categories.vo: binary file contents changed
> dpkg-source: error: add theory/categories.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/categories.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/categories.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/cut_minus.vo: binary file contents changed
> dpkg-source: error: add theory/cut_minus.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/cut_minus.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/cut_minus.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/dec_fields.vo: binary file contents changed
> dpkg-source: error: add theory/dec_fields.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/dec_fields.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/dec_fields.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/fields.vo: binary file contents changed
> dpkg-source: error: add theory/fields.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/fields.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/fields.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/finite_sets.vo: binary file contents changed
> dpkg-source: error: add theory/finite_sets.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/finite_sets.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/finite_sets.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/forget_algebra.vo: binary file contents changed
> dpkg-source: error: add theory/forget_algebra.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/forget_algebra.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/forget_algebra.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/forget_variety.vo: binary file contents changed
> dpkg-source: error: add theory/forget_variety.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/forget_variety.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/forget_variety.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/functors.vo: binary file contents changed
> dpkg-source: error: add theory/functors.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/functors.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/functors.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/groups.vo: binary file contents changed
> dpkg-source: error: add theory/groups.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/groups.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/groups.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/hom_functor.vo: binary file contents changed
> dpkg-source: error: add theory/hom_functor.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/hom_functor.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/hom_functor.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/int_abs.vo: binary file contents changed
> dpkg-source: error: add theory/int_abs.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/int_abs.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/int_abs.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/int_pow.vo: binary file contents changed
> dpkg-source: error: add theory/int_pow.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/int_pow.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/int_pow.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/int_to_nat.vo: binary file contents changed
> dpkg-source: error: add theory/int_to_nat.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/int_to_nat.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/int_to_nat.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/integers.vo: binary file contents changed
> dpkg-source: error: add theory/integers.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/integers.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/integers.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/jections.vo: binary file contents changed
> dpkg-source: error: add theory/jections.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/jections.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/jections.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/lattices.vo: binary file contents changed
> dpkg-source: error: add theory/lattices.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/lattices.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/lattices.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/monads.vo: binary file contents changed
> dpkg-source: error: add theory/monads.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/monads.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/monads.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/monoid_normalization.vo: binary file contents changed
> dpkg-source: error: add theory/monoid_normalization.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/monoid_normalization.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/monoid_normalization.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/nat_distance.vo: binary file contents changed
> dpkg-source: error: add theory/nat_distance.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/nat_distance.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/nat_distance.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/nat_pow.vo: binary file contents changed
> dpkg-source: error: add theory/nat_pow.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/nat_pow.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/nat_pow.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/naturals.vo: binary file contents changed
> dpkg-source: error: add theory/naturals.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/naturals.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/naturals.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/products.vo: binary file contents changed
> dpkg-source: error: add theory/products.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/products.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/products.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/quote_monoid.vo: binary file contents changed
> dpkg-source: error: add theory/quote_monoid.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/quote_monoid.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/quote_monoid.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/rationals.vo: binary file contents changed
> dpkg-source: error: add theory/rationals.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/rationals.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/rationals.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/ring_congruence.vo: binary file contents changed
> dpkg-source: error: add theory/ring_congruence.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/ring_congruence.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/ring_congruence.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/ring_ideals.vo: binary file contents changed
> dpkg-source: error: add theory/ring_ideals.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/ring_ideals.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/ring_ideals.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/rings.vo: binary file contents changed
> dpkg-source: error: add theory/rings.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/rings.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/rings.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/sequences.vo: binary file contents changed
> dpkg-source: error: add theory/sequences.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/sequences.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/sequences.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/series.vo: binary file contents changed
> dpkg-source: error: add theory/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 'theory/series.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/series.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/setoids.vo: binary file contents changed
> dpkg-source: error: add theory/setoids.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/setoids.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/setoids.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/shiftl.vo: binary file contents changed
> dpkg-source: error: add theory/shiftl.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/shiftl.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/shiftl.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/streams.vo: binary file contents changed
> dpkg-source: error: add theory/streams.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/streams.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/streams.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/strong_setoids.vo: binary file contents changed
> dpkg-source: error: add theory/strong_setoids.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/strong_setoids.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/strong_setoids.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/ua_congruence.vo: binary file contents changed
> dpkg-source: error: add theory/ua_congruence.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/ua_congruence.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/ua_congruence.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/ua_homomorphisms.vo: binary file contents changed
> dpkg-source: error: add theory/ua_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 'theory/ua_homomorphisms.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/ua_homomorphisms.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/ua_mapped_operations.vo: binary file contents changed
> dpkg-source: error: add theory/ua_mapped_operations.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/ua_mapped_operations.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/ua_mapped_operations.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/ua_packed.vo: binary file contents changed
> dpkg-source: error: add theory/ua_packed.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/ua_packed.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/ua_packed.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/ua_products.vo: binary file contents changed
> dpkg-source: error: add theory/ua_products.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/ua_products.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/ua_products.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/ua_subalgebra.vo: binary file contents changed
> dpkg-source: error: add theory/ua_subalgebra.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/ua_subalgebra.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/ua_subalgebra.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/ua_subalgebraT.vo: binary file contents changed
> dpkg-source: error: add theory/ua_subalgebraT.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/ua_subalgebraT.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/ua_subalgebraT.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/ua_subvariety.vo: binary file contents changed
> dpkg-source: error: add theory/ua_subvariety.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/ua_subvariety.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/ua_subvariety.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/ua_term_monad.vo: binary file contents changed
> dpkg-source: error: add theory/ua_term_monad.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/ua_term_monad.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/ua_term_monad.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/ua_transference.vo: binary file contents changed
> dpkg-source: error: add theory/ua_transference.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'theory/ua_transference.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/ua_transference.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to varieties/abgroup.vo: binary file contents changed
> dpkg-source: error: add varieties/abgroup.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'varieties/abgroup.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'varieties/abgroup.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to varieties/closed_terms.vo: binary file contents changed
> dpkg-source: error: add varieties/closed_terms.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'varieties/closed_terms.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'varieties/closed_terms.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to varieties/empty.vo: binary file contents changed
> dpkg-source: error: add varieties/empty.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'varieties/empty.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'varieties/empty.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to varieties/groups.vo: binary file contents changed
> dpkg-source: error: add varieties/groups.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'varieties/groups.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'varieties/groups.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to varieties/monoids.vo: binary file contents changed
> dpkg-source: error: add varieties/monoids.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'varieties/monoids.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'varieties/monoids.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to varieties/open_terms.vo: binary file contents changed
> dpkg-source: error: add varieties/open_terms.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'varieties/open_terms.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'varieties/open_terms.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to varieties/rings.vo: binary file contents changed
> dpkg-source: error: add varieties/rings.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'varieties/rings.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'varieties/rings.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to varieties/semigroups.vo: binary file contents changed
> dpkg-source: error: add varieties/semigroups.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'varieties/semigroups.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'varieties/semigroups.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to varieties/semirings.vo: binary file contents changed
> dpkg-source: error: add varieties/semirings.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'varieties/semirings.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'varieties/semirings.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to varieties/setoids.vo: binary file contents changed
> dpkg-source: error: add varieties/setoids.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'varieties/setoids.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'varieties/setoids.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-math-classes_8.17.0-1_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.