Source: coq-quickchick Version: 2.0-2 Severity: minor Tags: trixie sid ftbfs User: [email protected] Usertags: ftbfs-sab-20230813 ftbfs-source-after-build User: [email protected] Usertags: qa-doublebuild
Hi, This package fails to build a source package after a successful build (dpkg-buildpackage ; dpkg-buildpackage -S). This is probably a clear violation of Debian Policy section 4.9 (clean target), but this is filed as severity:minor for now, because a discussion on debian-devel showed that we might want to revisit the requirement of a working 'clean' target. More information about this class of issues, included common problems and solutions, is available at https://wiki.debian.org/qa.debian.org/FTBFS/SourceAfterBuild Relevant part of the build log: > cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env > -us -uc -rfakeroot -S > --------------------------------------------------------------------------------------------------------------------------------- > > dpkg-buildpackage: info: source package coq-quickchick > dpkg-buildpackage: info: source version 2.0-2 > dpkg-buildpackage: info: source distribution unstable > dpkg-buildpackage: info: source changed by Stéphane Glondu > <[email protected]> > 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.
