Bug#1044511: marked as done (coq-quickchick: Fails to build source after successful build)

This is a multi-part message in MIME format...

------------=_1785308822-2952854-0
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset="utf-8"

Your message dated Wed, 29 Jul 2026 07:05:22 +0000
with message-id <[email protected]>
and subject line Bug#1044511: fixed in coq-quickchick 2.2.0-2
has caused the Debian Bug report #1044511,
regarding coq-quickchick: Fails to build source after successful build
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)


--=20
1044511: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=3D1044511
Debian Bug Tracking System
Contact [email protected] with problems

------------=_1785308822-2952854-0
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit

Received: (at submit) by bugs.debian.org; 13 Aug 2023 17:15:54 +0000
X-Spam-Checker-Version: SpamAssassin 3.4.6-bugs.debian.org_2005_01_02
	(2021-04-09) on buxtehude.debian.org
X-Spam-Level: 
X-Spam-Status: No, score=-103.2 required=4.0 tests=ATTENDEES_DBSPAM_BODY3,
	ATTENDEES_DBSPAM_BODY7,BAYES_00,DKIMWL_WL_HIGH,DKIM_SIGNED,DKIM_VALID,
	DKIM_VALID_AU,DKIM_VALID_EF,FROMDEVELOPER,MURPHY_DRUGS_REL8,
	PP_MIME_FAKE_ASCII_TEXT,SPF_HELO_NONE,SPF_NONE,UNPARSEABLE_RELAY,
	USER_IN_DKIM_WELCOMELIST,USER_IN_DKIM_WHITELIST autolearn=ham
	autolearn_force=no version=3.4.6-bugs.debian.org_2005_01_02
X-Spam-Bayes: score:0.0000 Tokens: new, 455; hammy, 150; neutral, 250; spammy,
	0. spammytokens: hammytokens:0.000-+--pkgbuilddir,
	0.000-+--PKGBUILDDIR, 0.000-+--Hx-spam-relays-external:sk:stravin,
	0.000-+--H*RT:sk:stravin, 0.000-+--Hx-spam-relays-external:311
Return-path: <[email protected]>
Received: from stravinsky.debian.org ([2001:41b8:202:deb::311:108]:33534)
	from C=NA,ST=NA,L=Ankh Morpork,O=Debian SMTP,OU=Debian SMTP CA,CN=stravinsky.debian.org,[email protected] (verified)
	by buxtehude.debian.org with esmtps (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
	(Exim 4.94.2)
	(envelope-from <[email protected]>)
	id 1qVEh1-003TsP-Rn
	for [email protected]; Sun, 13 Aug 2023 17:15:54 +0000
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debian.org;
	s=smtpauto.stravinsky; h=X-Debian-User:Message-Id:Date:Subject:To:From:
	Reply-To:Cc:MIME-Version:Content-Type:Content-Transfer-Encoding:Content-ID:
	Content-Description:In-Reply-To:References;
	bh=YK7dtGfR8wZmo+RZS2NMnZ/AEMdQoOHFR6IIu70EXPA=; b=dV3f8GZmNUfPb6e9u8PPd/mUeW
	Hljq5BMbuaCYkU+0dTAVo/geWfLWkIskU+MhP+c9F/uuUn3BvJyyO+Aj3B4Fv5NXZIforhz4gzXex
	4E8AIgRpqHe6+sYKlQVNDFfTl/uBxVIb/q6Mqbig/Vwl5GF9UNVsBb/mP0qqL67TY595KFaRj0w0G
	ujPHYoOmZvXlOkRA2zwlrPH1RhLA29E4XU5ACjs0NQuQ0ewJnz1uvi/am6b5xvB56dmDrmI0JpQc4
	0JdBb9hKwZBYAjiwFesE6k7YPmvzPKz38jeilG2OH5DZ77iHcxHu9x4l2sjDmPLXeQzxPh1emKW49
	QABjRxVQ==;
Received: from authenticated user
	by stravinsky.debian.org with esmtpsa (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
	(Exim 4.94.2)
	(envelope-from <[email protected]>)
	id 1qVEgz-001laK-RY
	for [email protected]; Sun, 13 Aug 2023 17:15:52 +0000
From: Lucas Nussbaum <[email protected]>
To: [email protected]
Subject: coq-quickchick: Fails to build source after successful build
Date: Sun, 13 Aug 2023 18:56:51 +0200
Message-Id: <[email protected]>
X-Debian-User: lucas
Delivered-To: [email protected]

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.

------------=_1785308822-2952854-0
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit

Received: (at 1044511-close) by bugs.debian.org; 29 Jul 2026 07:05:25 +0000
X-Spam-Checker-Version: SpamAssassin 4.0.1-bugs.debian.org_2005_01_02
	(2024-03-25) on buxtehude.debian.org
X-Spam-Level: 
X-Spam-Status: No, score=-114.2 required=4.0 tests=ALL_TRUSTED,BAYES_00,
	DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FVGT_m_MULTI_ODD,
	HAS_BUG_NUMBER,MD5_SHA1_SUM,PGPSIGNATURE,SPF_HELO_PASS,SPF_PASS,
	USER_IN_DKIM_WELCOMELIST autolearn=ham autolearn_force=no
	version=4.0.1-bugs.debian.org_2005_01_02
X-Spam-Bayes: score:0.0000 Tokens: new, 118; hammy, 150; neutral, 129; spammy,
	0. spammytokens: hammytokens:0.000-+--HX-Debian:DAK,
	0.000-+--H*rp:D*ftp-master.debian.org, 0.000-+--HX-DAK:process-upload,
	0.000-+--UD:debian.tar.xz, 0.000-+--H*r:sk:fasolo.
Return-path: <[email protected]>
Received: from mailly.debian.org ([2001:41b8:202:deb:6564:a62:52c3:4b72]:42972)
	by buxtehude.debian.org with esmtps (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
	(Exim 4.96)
	(envelope-from <[email protected]>)
	id 1woyM1-00CO26-0w
	for [email protected];
	Wed, 29 Jul 2026 07:05:25 +0000
Received: via submission
	from C=NA,ST=NA,L=Ankh Morpork,O=Debian SMTP,OU=Debian SMTP CA,CN=fasolo.debian.org,[email protected] (verified)
	by mailly.debian.org with esmtps (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
	(Exim 4.96)
	(envelope-from <[email protected]>)
	id 1woyLz-00BWQg-0m
	for [email protected];
	Wed, 29 Jul 2026 07:05:23 +0000
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed;
	d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Content-Type:
	Subject:MIME-Version:To:Reply-To:From:Cc:Content-Transfer-Encoding:Content-ID
	:Content-Description:In-Reply-To:References;
	bh=1C6CsGY4wmqVFWyka7dn7V4sRUq2r7Tqd05Av5gaiYQ=; b=Wf5nlluyneLxRG0qCJB0La/9xR
	wVdCpO/rcQOCilGCQxnuam6FL8bYL3thmgUYnbE9PRCrxtbXpRnmaH5NoGMOxnWC9ibihkbpFHu46
	S6mlMp7BdEJa6zPJXjblYMtD6B4c2G67esIA9MopWDlBkHr0Ld1qbTIosawT/qEzdaY7xqxwytalB
	No6/qbiX0qYN84KCGP6oSAanX9nDtpl/b+Vo8ceN4luJ8bnC/JX5P51AeL22JQ9nFJCIK9SQRSk2b
	zkkZrhhYJLRgRzCZiQErZib7dAFUinSwFb9Xkd3CfNKSfvmhtFIpKGYmoS5sVYMXA0ohg5W6n84Cy
	CyvXFcFA==;
Received: from dak by fasolo.debian.org with local (Exim 4.98.2)
	(envelope-from <[email protected]>)
	id 1woyLy-00000000nPW-1Zyr;
	Wed, 29 Jul 2026 07:05:22 +0000
From: Debian FTP Masters <[email protected]>
Reply-To: Julien Puydt <[email protected]>
To: [email protected]
X-DAK: dak process-upload
X-Debian: DAK
X-Debian-Package: coq-quickchick
Debian: DAK
Debian-Changes: coq-quickchick_2.2.0-2_amd64.changes
Debian-Source: coq-quickchick
Debian-Version: 2.2.0-2
Debian-Architecture: source amd64
Debian-Suite: unstable
Debian-Archive-Action: accept
MIME-Version: 1.0
Subject: Bug#1044511: fixed in coq-quickchick 2.2.0-2
Content-Type: multipart/signed; micalg="pgp-sha256";
 protocol="application/pgp-signature";
 boundary="===============0566211305522218375=="
Message-Id: <[email protected]>
Date: Wed, 29 Jul 2026 07:05:22 +0000

--===============0566211305522218375==
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable

Source: coq-quickchick
Source-Version: 2.2.0-2
Done: Julien Puydt <[email protected]>

We believe that the bug you reported is fixed in the latest version of
coq-quickchick, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Julien Puydt <[email protected]> (supplier of updated coq-quickchick package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 29 Jul 2026 08:36:21 +0200
Source: coq-quickchick
Binary: libcoq-quickchick quickchick
Architecture: source amd64
Version: 2.2.0-2
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <[email protected]>
Changed-By: Julien Puydt <[email protected]>
Description:
 libcoq-quickchick - randomized testing framework for Coq (plugin)
 quickchick - randomized testing framework for Coq (tools)
Closes: 1044511
Changes:
 coq-quickchick (2.2.0-2) unstable; urgency=3Dmedium
 .
   * Fix compilation with recent dune.
   * Fix building source after build (Closes: #1044511).
Checksums-Sha1:
 4de46fc42a18a21b19719e5264f3efb1346126bf 2306 coq-quickchick_2.2.0-2.dsc
 e46d89997171e927d32b7aaf16c414c55fefd103 416735 coq-quickchick_2.2.0.orig.ta=
r.gz
 c89b673a209839ebedc41ca80ad7ffdd39317f2c 3864 coq-quickchick_2.2.0-2.debian.=
tar.xz
 49d709692bb53224a8d21c234dae6a6b3f705fd6 8082 coq-quickchick_2.2.0-2_amd64.b=
uildinfo
 3d6d6075a4ee1b933634696e6c50651d91986825 3499948 libcoq-quickchick_2.2.0-2_a=
md64.deb
 fb0c64502aa22d7b2a164709cc9897709d24174f 501056 quickchick_2.2.0-2_amd64.deb
Checksums-Sha256:
 1053925f243e83a10794e3a8d28086943397bcdfb6aa576fcfd021a2a14e7e3c 2306 coq-qu=
ickchick_2.2.0-2.dsc
 541f2680bf3f774ebdb6e22fe63c276bba340f144a6229d61786be8cf60cb900 416735 coq-=
quickchick_2.2.0.orig.tar.gz
 a8feec28dd6b5831c18b3e965b277f233c8cf70c21bc16000451fbcd2393d380 3864 coq-qu=
ickchick_2.2.0-2.debian.tar.xz
 2676d737da818747a689291b42ae1fa8feceb31170fda542c4f0b4dc4bd36c33 8082 coq-qu=
ickchick_2.2.0-2_amd64.buildinfo
 d730fed71ba8c6ff4b752cba8dcd218ebd582bf007af43a015eae9e270cbf8ab 3499948 lib=
coq-quickchick_2.2.0-2_amd64.deb
 b813c327d21768cca05070c82645abc1f224a081d00f4fb298fb5481f67bbd83 501056 quic=
kchick_2.2.0-2_amd64.deb
Files:
 6ce455085a630715edbdd77a6a12ddab 2306 ocaml optional coq-quickchick_2.2.0-2.=
dsc
 6ce79bf9fc6d4611af7c22ddfbe5f46f 416735 ocaml optional coq-quickchick_2.2.0.=
orig.tar.gz
 fc7290b235865064b630994fe39b585a 3864 ocaml optional coq-quickchick_2.2.0-2.=
debian.tar.xz
 63a21461f23fc60a75b0bbdd1b9dd59c 8082 ocaml optional coq-quickchick_2.2.0-2_=
amd64.buildinfo
 88c459b311802168d0eb341d7a9d02c9 3499948 ocaml optional libcoq-quickchick_2.=
2.0-2_amd64.deb
 fe47c7e13f0652d78f17b7be366ff977 501056 ocaml optional quickchick_2.2.0-2_am=
d64.deb

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmppoQkZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUZoHD/91mfKXleBAjioKCe28f2Un
7cm6tOMaph6x7YgaRrDlWRI6I5s1pRPlhkzUq/OH1Tb31WNLcrPoFI2VXOkI01JR
FZXu+4YV05dpp8ya+6vYOOlqkK0g6nQ4O7PhKSHB2jNCuE/Anmss6NkU9CByZ8ac
3T7TWXazMlzRpv+d9k0lsRgIY4k39TsHuqq4SDnE2r43t2RryhFWjgvqGmOPdTL6
+4vcIx3gT+QCDupePIMdN0fAwagyh5WsotgFkxGO/oVbf4J3IBc9jk/rXldMjHWY
kyHkmyzXYJ5RWpB2gksavkE5jseN7Zmiw9av4oKsnFMR/icT9+ky/AX/t9P1B/nT
i4hv5lTSyre9QY6fSLzCKTshbp20uTT18kC7XIrVh7n+YZIC57HjfKVF/A++ipFP
OR+J9h/SIyjNWRUZJBaXlvdkWARIt+51DGcTKNKw5n8sDjpmjg3H++w5xkdSxlGF
qYF0YWSP0EB0kfzGkmiVcQr8Ub5+hFKeqUGeuWicDORy9aeoEqcZTTMKHTclaNCM
5xXNIFH+S+UobOxnmYWrgWzo2ivApGNIBptKdDUWpG5YBQIG+rbdohjX55HGfWg4
Pr/vKtIS81r1JBmHVB+U1pF0sCvUdocjsiHGzh3iM9rbbvmDE38hhtBztln5kjWG
aeIJVv2edh/826/aUfIB6g=3D=3D
=3D/bd3
-----END PGP SIGNATURE-----


--===============0566211305522218375==
Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCammmMgAKCRCb9qggYcy5
IQ5sAP0amvmR9dXhwcX+OUqdHMqVcAO44zf9z3AY29inHWxl8gEArm/isrVNdyn4
7qI0j08jq89zMYM3vAXLfBerhasZ4wk=
=ikvc
-----END PGP SIGNATURE-----

--===============0566211305522218375==--
------------=_1785308822-2952854-0--