Bug#1045073: coq-stdpp: Fails to build source after successful build
Source: coq-stdpp
Version: 1.8.0-4
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-stdpp
> dpkg-buildpackage: info: source version 1.8.0-4
> 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,ocaml
> debian/rules override_dh_auto_clean
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> # doesn't work like this
> make[1]: Leaving directory '/<<PKGBUILDDIR>>'
> dh_ocamlclean
> dh_clean
> dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building coq-stdpp using existing ./coq-stdpp_1.8.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 stdpp/base.vo: binary file contents changed
> dpkg-source: error: add stdpp/base.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/base.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/base.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/binders.vo: binary file contents changed
> dpkg-source: error: add stdpp/binders.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/binders.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/binders.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/boolset.vo: binary file contents changed
> dpkg-source: error: add stdpp/boolset.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/boolset.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/boolset.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/coGset.vo: binary file contents changed
> dpkg-source: error: add stdpp/coGset.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/coGset.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/coGset.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/coPset.vo: binary file contents changed
> dpkg-source: error: add stdpp/coPset.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/coPset.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/coPset.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/countable.vo: binary file contents changed
> dpkg-source: error: add stdpp/countable.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/countable.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/countable.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/decidable.vo: binary file contents changed
> dpkg-source: error: add stdpp/decidable.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/decidable.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/decidable.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/fin.vo: binary file contents changed
> dpkg-source: error: add stdpp/fin.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/fin.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/fin.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/fin_map_dom.vo: binary file contents changed
> dpkg-source: error: add stdpp/fin_map_dom.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/fin_map_dom.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/fin_map_dom.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/fin_maps.vo: binary file contents changed
> dpkg-source: error: add stdpp/fin_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 'stdpp/fin_maps.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/fin_maps.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/fin_sets.vo: binary file contents changed
> dpkg-source: error: add stdpp/fin_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 'stdpp/fin_sets.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/fin_sets.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/finite.vo: binary file contents changed
> dpkg-source: error: add stdpp/finite.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/finite.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/finite.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/functions.vo: binary file contents changed
> dpkg-source: error: add stdpp/functions.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/functions.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/functions.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/gmap.vo: binary file contents changed
> dpkg-source: error: add stdpp/gmap.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/gmap.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/gmap.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/gmultiset.vo: binary file contents changed
> dpkg-source: error: add stdpp/gmultiset.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/gmultiset.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/gmultiset.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/hashset.vo: binary file contents changed
> dpkg-source: error: add stdpp/hashset.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/hashset.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/hashset.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/hlist.vo: binary file contents changed
> dpkg-source: error: add stdpp/hlist.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/hlist.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/hlist.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/infinite.vo: binary file contents changed
> dpkg-source: error: add stdpp/infinite.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/infinite.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/infinite.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/lexico.vo: binary file contents changed
> dpkg-source: error: add stdpp/lexico.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/lexico.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/lexico.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/list.vo: binary file contents changed
> dpkg-source: error: add stdpp/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 'stdpp/list.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/list.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/list_numbers.vo: binary file contents changed
> dpkg-source: error: add stdpp/list_numbers.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/list_numbers.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/list_numbers.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/listset.vo: binary file contents changed
> dpkg-source: error: add stdpp/listset.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/listset.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/listset.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/listset_nodup.vo: binary file contents changed
> dpkg-source: error: add stdpp/listset_nodup.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/listset_nodup.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/listset_nodup.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/mapset.vo: binary file contents changed
> dpkg-source: error: add stdpp/mapset.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/mapset.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/mapset.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/namespaces.vo: binary file contents changed
> dpkg-source: error: add stdpp/namespaces.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/namespaces.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/namespaces.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/nat_cancel.vo: binary file contents changed
> dpkg-source: error: add stdpp/nat_cancel.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/nat_cancel.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/nat_cancel.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/natmap.vo: binary file contents changed
> dpkg-source: error: add stdpp/natmap.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/natmap.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/natmap.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/nmap.vo: binary file contents changed
> dpkg-source: error: add stdpp/nmap.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/nmap.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/nmap.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/numbers.vo: binary file contents changed
> dpkg-source: error: add stdpp/numbers.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/numbers.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/numbers.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/option.vo: binary file contents changed
> dpkg-source: error: add stdpp/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 'stdpp/option.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/option.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/options.vo: binary file contents changed
> dpkg-source: error: add stdpp/options.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/options.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/options.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/orders.vo: binary file contents changed
> dpkg-source: error: add stdpp/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 'stdpp/orders.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/orders.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/pmap.vo: binary file contents changed
> dpkg-source: error: add stdpp/pmap.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/pmap.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/pmap.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/prelude.vo: binary file contents changed
> dpkg-source: error: add stdpp/prelude.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/prelude.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/prelude.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/pretty.vo: binary file contents changed
> dpkg-source: error: add stdpp/pretty.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/pretty.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/pretty.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/proof_irrel.vo: binary file contents changed
> dpkg-source: error: add stdpp/proof_irrel.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/proof_irrel.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/proof_irrel.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/propset.vo: binary file contents changed
> dpkg-source: error: add stdpp/propset.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/propset.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/propset.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/relations.vo: binary file contents changed
> dpkg-source: error: add stdpp/relations.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/relations.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/relations.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/sets.vo: binary file contents changed
> dpkg-source: error: add stdpp/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 'stdpp/sets.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/sets.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/sorting.vo: binary file contents changed
> dpkg-source: error: add stdpp/sorting.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/sorting.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/sorting.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/streams.vo: binary file contents changed
> dpkg-source: error: add stdpp/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 'stdpp/streams.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/streams.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/stringmap.vo: binary file contents changed
> dpkg-source: error: add stdpp/stringmap.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/stringmap.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/stringmap.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/strings.vo: binary file contents changed
> dpkg-source: error: add stdpp/strings.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/strings.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/strings.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/tactics.vo: binary file contents changed
> dpkg-source: error: add stdpp/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 'stdpp/tactics.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/tactics.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/telescopes.vo: binary file contents changed
> dpkg-source: error: add stdpp/telescopes.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/telescopes.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/telescopes.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/vector.vo: binary file contents changed
> dpkg-source: error: add stdpp/vector.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/vector.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/vector.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/well_founded.vo: binary file contents changed
> dpkg-source: error: add stdpp/well_founded.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/well_founded.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/well_founded.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp/zmap.vo: binary file contents changed
> dpkg-source: error: add stdpp/zmap.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp/zmap.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp/zmap.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to stdpp_unstable/bitblast.vo: binary file contents changed
> dpkg-source: error: add stdpp_unstable/bitblast.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file 'stdpp_unstable/bitblast.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'stdpp_unstable/bitblast.vos' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/bitblast.vo' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/eunify.vo' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/fin_maps.vo' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/gmap.vo' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/is_closed_term.vo' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/length.vo' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/list.vo' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/multiset_solver.vo' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/notation.vo' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/numbers.vo' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/pretty.vo' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/proper.vo' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/sets.vo' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/solve_ndisj.vo' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/tactics.vo' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/telescopes.vo' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/typeclasses.vo' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/universes.vo' 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-stdpp_1.8.0-4_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.
Reply to: