Bug#1044511: coq-quickchick: Fails to build source after successful build
Source: coq-quickchick
Version: 2.0-2
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-quickchick
> dpkg-buildpackage: info: source version 2.0-2
> dpkg-buildpackage: info: source distribution unstable
> dpkg-buildpackage: info: source changed by Stéphane Glondu <glondu@debian.org>
> dpkg-source --before-build .
> debian/rules clean
> dh clean --with coq
> dh_auto_clean
> make -j8 clean
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> make[2]: Entering directory '/<<PKGBUILDDIR>>'
> CLEAN
> make[2]: Leaving directory '/<<PKGBUILDDIR>>'
> # This might not work on macs
> find . -name '*.vo' -print -delete
> ./QuickChickInterface.vo
> ./DocumentationCheck.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/MutateCheck.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Test.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/QuickChick.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Generators.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/CoArbitrary.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Mutation.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/CheckerProofs.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/SemChecker.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/DependentClasses.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/State.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/ExtractionQC.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/LazyList.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/GenProofs.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Enumerators.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Typeclasses.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Show.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Decidability.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/TacticsUtil.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/StringOT.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Checker.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Nat_util.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Instances.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/RandomQC.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/RoseTrees.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/EnumProofs.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Classes.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Producer.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Tactics.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/ShowFacts.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Proofs.vo
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Sets.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/MutateCheck.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Test.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/QuickChick.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Generators.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/CoArbitrary.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Mutation.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/CheckerProofs.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/SemChecker.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/DependentClasses.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/State.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/ExtractionQC.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/LazyList.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/GenProofs.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Enumerators.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Typeclasses.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Show.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Decidability.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/TacticsUtil.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/StringOT.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Checker.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Nat_util.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Instances.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/RandomQC.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/RoseTrees.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/EnumProofs.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Classes.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Producer.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Tactics.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/ShowFacts.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Proofs.vo
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Sets.vo
> find . -name '*.glob' -print -delete
> ./DocumentationCheck.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/CoArbitrary.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/LazyList.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Test.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Decidability.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Sets.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Tactics.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/DependentClasses.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/CheckerProofs.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/RoseTrees.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Producer.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Enumerators.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/State.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Typeclasses.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/QuickChick.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Proofs.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/EnumProofs.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Generators.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Nat_util.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/MutateCheck.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/TacticsUtil.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Checker.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Mutation.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Classes.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/StringOT.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/ExtractionQC.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Show.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/ShowFacts.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/Instances.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/SemChecker.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/GenProofs.glob
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/RandomQC.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/CoArbitrary.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/LazyList.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Test.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Decidability.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Sets.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Tactics.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/DependentClasses.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/CheckerProofs.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/RoseTrees.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Producer.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Enumerators.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/State.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Typeclasses.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/QuickChick.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Proofs.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/EnumProofs.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Generators.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Nat_util.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/MutateCheck.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/TacticsUtil.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Checker.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Mutation.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Classes.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/StringOT.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/ExtractionQC.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Show.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/ShowFacts.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/Instances.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/SemChecker.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/GenProofs.glob
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/RandomQC.glob
> ./QuickChickInterface.glob
> find . -name *.d -print -delete
> find . -name *.o -print -delete
> find . -name *.cmi -print -delete
> ./debian/tmp/usr/lib/ocaml/coq-quickchick/quickchick_plugin.cmi
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq-quickchick/quickchick_plugin.cmi
> find . -name *.cmx -print -delete
> ./debian/tmp/usr/lib/ocaml/coq-quickchick/quickchick_plugin.cmx
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq-quickchick/quickchick_plugin.cmx
> find . -name *.cmxs -print -delete
> ./debian/tmp/usr/lib/ocaml/coq-quickchick/quickchick_plugin.cmxs
> ./debian/tmp/usr/lib/ocaml/coq/user-contrib/QuickChick/quickchick_plugin.cmxs
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq-quickchick/quickchick_plugin.cmxs
> ./debian/libcoq-quickchick/usr/lib/ocaml/coq/user-contrib/QuickChick/quickchick_plugin.cmxs
> find . -name *.cmo -print -delete
> find . -name *.bak -print -delete
> find . -name *~ -print -delete
> find . -name *.conflicts -print -delete
> find . -name *.output -print -delete
> find . -name *.aux -print -delete
> ./.QuickChickInterface.aux
> ./src/.Generators.aux
> ./src/.SemChecker.aux
> ./src/.ExtractionQC.aux
> ./src/.Enumerators.aux
> ./src/.QuickChick.aux
> ./src/.GenProofs.aux
> ./src/.ShowFacts.aux
> ./src/.DependentClasses.aux
> ./src/.Producer.aux
> ./src/.Decidability.aux
> ./src/.MutateCheck.aux
> ./src/.TacticsUtil.aux
> ./src/.Instances.aux
> ./src/.StringOT.aux
> ./src/.CheckerProofs.aux
> ./src/.Proofs.aux
> ./src/.Tactics.aux
> ./src/.Classes.aux
> ./src/.LazyList.aux
> ./src/.State.aux
> ./src/.Sets.aux
> ./src/.Typeclasses.aux
> ./src/.RandomQC.aux
> ./src/.Mutation.aux
> ./src/.EnumProofs.aux
> ./src/.Show.aux
> ./src/.Test.aux
> ./src/.Checker.aux
> ./src/.RoseTrees.aux
> ./src/.Nat_util.aux
> ./src/.CoArbitrary.aux
> ./.DocumentationCheck.aux
> rm -f Makefile.coq Makefile.coq.conf
> rm -f plugin/depDriver.ml plugin/genericLib.ml plugin/tactic_quickchick.mlg plugin/weightmap.mlg src/ExtractionQC.v src/QuickChick.v _CoqProject
> make[1]: Leaving directory '/<<PKGBUILDDIR>>'
> dh_clean
> dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building coq-quickchick using existing ./coq-quickchick_2.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: warning: newly created empty file 'DocumentationCheck.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'DocumentationCheck.vos' will not be represented in diff
> dpkg-source: warning: newly created empty file 'QuickChickInterface.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'QuickChickInterface.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-quickchick_2.0-2_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: