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

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

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

Your message dated Wed, 29 Jul 2026 11:20:52 +0000
with message-id <[email protected]>
and subject line Bug#1045076: fixed in coq-interval 4.11.4-2
has caused the Debian Bug report #1045076,
regarding coq-interval: 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
1045076: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=3D1045076
Debian Bug Tracking System
Contact [email protected] with problems

------------=_1785324182-3105418-0
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit

Received: (at submit) by bugs.debian.org; 13 Aug 2023 18:14:59 +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=-102.2 required=4.0 tests=ATTENDEES_DBSPAM_BODY3,
	ATTENDEES_DBSPAM_BODY7,BAYES_00,DIGITS_LETTERS,DKIMWL_WL_HIGH,
	DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FROMDEVELOPER,
	MURPHY_DRUGS_REL8,SPF_HELO_NONE,SPF_NONE,UNPARSEABLE_RELAY,
	USER_IN_DKIM_WELCOMELIST,USER_IN_DKIM_WHITELIST autolearn=no
	autolearn_force=no version=3.4.6-bugs.debian.org_2005_01_02
X-Spam-Bayes: score:0.0000 Tokens: new, 546; hammy, 150; neutral, 285; 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]:36612)
	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 1qVFcC-003fnA-JK
	for [email protected]; Sun, 13 Aug 2023 18:14:59 +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=mktCqkD90YMHrdUPyd2AAzw48jVTVssLya+64k5RyZQ=; b=vhHKdyvG70E19O0kY+nwrcimNg
	50ywicIvusZYjId8ay+xTJ8Kz4Zxc547+kNPOK5KhxoDWSn+1zJy82dEyodVqIno3jp/pzmTaaNIF
	tSeIPFPyOUDJ3FqbzkfXTJ6nP9QmTAxN9VQf2iRk6ic2GpBsuRToHz/DzMSvlSFTQXJMs6QweQBy6
	6iQK32MgPgjYzL5rEe9JtpIXMuEddmYzUxT/8R1P2hKQKVgsBBQjNzxah01n3NNTu+heNsZ+dfRCm
	9T86IUjGaOmzOKDaYTm7GaQT8vwfMtWESGlEy9D/K5/UxVR4JecPUa20lqbSBaWKgIOryv9+0rf6T
	0N/hjztQ==;
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 1qVFcA-001oKS-Et
	for [email protected]; Sun, 13 Aug 2023 18:14:57 +0000
From: Lucas Nussbaum <[email protected]>
To: [email protected]
Subject: coq-interval: 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-interval
Version: 4.8.0-1
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-interval
> dpkg-buildpackage: info: source version 4.8.0-1
> dpkg-buildpackage: info: source distribution unstable
> dpkg-buildpackage: info: source changed by Julien Puydt <[email protected]>
>  dpkg-source --before-build .
>  debian/rules clean
> dh clean --with coq,ocaml
>    dh_autoreconf_clean
>    dh_ocamlclean
>    dh_clean
>  dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building coq-interval using existing ./coq-interval_4.8.0.orig.tar.bz2
> 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: executable mode 0755 of 'config.status' will not be represented in diff
> dpkg-source: error: cannot represent change to remake: binary file contents changed
> dpkg-source: error: add remake in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: executable mode 0755 of 'remake' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Eval/Eval.vo: binary file contents changed
> dpkg-source: error: add src/Eval/Eval.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 'src/Eval/Eval.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Eval/Eval.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Eval/Prog.vo: binary file contents changed
> dpkg-source: error: add src/Eval/Prog.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 'src/Eval/Prog.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Eval/Prog.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Eval/Reify.vo: binary file contents changed
> dpkg-source: error: add src/Eval/Reify.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 'src/Eval/Reify.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Eval/Reify.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Eval/Tree.vo: binary file contents changed
> dpkg-source: error: add src/Eval/Tree.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 'src/Eval/Tree.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Eval/Tree.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Float/Basic.vo: binary file contents changed
> dpkg-source: error: add src/Float/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 'src/Float/Basic.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Float/Basic.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Float/Generic.vo: binary file contents changed
> dpkg-source: error: add src/Float/Generic.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 'src/Float/Generic.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Float/Generic.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Float/Generic_ops.vo: binary file contents changed
> dpkg-source: error: add src/Float/Generic_ops.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 'src/Float/Generic_ops.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Float/Generic_ops.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Float/Generic_proof.vo: binary file contents changed
> dpkg-source: error: add src/Float/Generic_proof.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 'src/Float/Generic_proof.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Float/Generic_proof.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Float/Primitive_ops.vo: binary file contents changed
> dpkg-source: error: add src/Float/Primitive_ops.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 'src/Float/Primitive_ops.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Float/Primitive_ops.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Float/Sig.vo: binary file contents changed
> dpkg-source: error: add src/Float/Sig.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 'src/Float/Sig.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Float/Sig.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Float/Specific_bigint.vo: binary file contents changed
> dpkg-source: error: add src/Float/Specific_bigint.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 'src/Float/Specific_bigint.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Float/Specific_bigint.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Float/Specific_ops.vo: binary file contents changed
> dpkg-source: error: add src/Float/Specific_ops.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 'src/Float/Specific_ops.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Float/Specific_ops.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Float/Specific_sig.vo: binary file contents changed
> dpkg-source: error: add src/Float/Specific_sig.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 'src/Float/Specific_sig.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Float/Specific_sig.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Float/Specific_stdz.vo: binary file contents changed
> dpkg-source: error: add src/Float/Specific_stdz.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 'src/Float/Specific_stdz.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Float/Specific_stdz.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Integral/Bertrand.vo: binary file contents changed
> dpkg-source: error: add src/Integral/Bertrand.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 'src/Integral/Bertrand.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Integral/Bertrand.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Integral/Integral.vo: binary file contents changed
> dpkg-source: error: add src/Integral/Integral.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 'src/Integral/Integral.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Integral/Integral.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Integral/Priority.vo: binary file contents changed
> dpkg-source: error: add src/Integral/Priority.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 'src/Integral/Priority.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Integral/Priority.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Integral/Refine.vo: binary file contents changed
> dpkg-source: error: add src/Integral/Refine.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 'src/Integral/Refine.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Integral/Refine.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Interval/Float.vo: binary file contents changed
> dpkg-source: error: add src/Interval/Float.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 'src/Interval/Float.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Interval/Float.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Interval/Float_full.vo: binary file contents changed
> dpkg-source: error: add src/Interval/Float_full.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 'src/Interval/Float_full.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Interval/Float_full.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Interval/Float_full_primfloat.vo: binary file contents changed
> dpkg-source: error: add src/Interval/Float_full_primfloat.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 'src/Interval/Float_full_primfloat.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Interval/Float_full_primfloat.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Interval/Interval.vo: binary file contents changed
> dpkg-source: error: add src/Interval/Interval.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 'src/Interval/Interval.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Interval/Interval.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Interval/Interval_compl.vo: binary file contents changed
> dpkg-source: error: add src/Interval/Interval_compl.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 'src/Interval/Interval_compl.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Interval/Interval_compl.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Interval/Transcend.vo: binary file contents changed
> dpkg-source: error: add src/Interval/Transcend.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 'src/Interval/Transcend.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Interval/Transcend.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Interval/Univariate_sig.vo: binary file contents changed
> dpkg-source: error: add src/Interval/Univariate_sig.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 'src/Interval/Univariate_sig.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Interval/Univariate_sig.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Language/Lang_expr.vo: binary file contents changed
> dpkg-source: error: add src/Language/Lang_expr.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 'src/Language/Lang_expr.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Language/Lang_expr.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Language/Lang_simpl.vo: binary file contents changed
> dpkg-source: error: add src/Language/Lang_simpl.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 'src/Language/Lang_simpl.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Language/Lang_simpl.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Language/Lang_tac.vo: binary file contents changed
> dpkg-source: error: add src/Language/Lang_tac.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 'src/Language/Lang_tac.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Language/Lang_tac.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Missing/Coquelicot.vo: binary file contents changed
> dpkg-source: error: add src/Missing/Coquelicot.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 'src/Missing/Coquelicot.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Missing/Coquelicot.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Missing/Int63Compat.vo: binary file contents changed
> dpkg-source: error: add src/Missing/Int63Compat.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 'src/Missing/Int63Compat.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Missing/Int63Compat.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Missing/Int63Copy.vo: binary file contents changed
> dpkg-source: error: add src/Missing/Int63Copy.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 'src/Missing/Int63Copy.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Missing/Int63Copy.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Missing/MathComp.vo: binary file contents changed
> dpkg-source: error: add src/Missing/MathComp.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 'src/Missing/MathComp.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Missing/MathComp.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Missing/MathComp1.vo: binary file contents changed
> dpkg-source: error: add src/Missing/MathComp1.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 'src/Missing/MathComp1.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Missing/MathComp1.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Missing/MathComp1or2.vo: binary file contents changed
> dpkg-source: error: add src/Missing/MathComp1or2.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 'src/Missing/MathComp1or2.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Missing/MathComp1or2.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Missing/Stdlib.vo: binary file contents changed
> dpkg-source: error: add src/Missing/Stdlib.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 'src/Missing/Stdlib.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Missing/Stdlib.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Plot.vo: binary file contents changed
> dpkg-source: error: add src/Plot.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 'src/Plot.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Plot.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Plot/interval_plot.cmi: binary file contents changed
> dpkg-source: error: add src/Plot/interval_plot.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/Plot/interval_plot.cmo: binary file contents changed
> dpkg-source: error: add src/Plot/interval_plot.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/Plot/interval_plot.cmx: binary file contents changed
> dpkg-source: error: add src/Plot/interval_plot.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/Plot/interval_plot.cmxs: binary file contents changed
> dpkg-source: error: add src/Plot/interval_plot.cmxs in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: executable mode 0755 of 'src/Plot/interval_plot.cmxs' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Plot/interval_plot.o: binary file contents changed
> dpkg-source: error: add src/Plot/interval_plot.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/Poly/Basic_rec.vo: binary file contents changed
> dpkg-source: error: add src/Poly/Basic_rec.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 'src/Poly/Basic_rec.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Poly/Basic_rec.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Poly/Bound.vo: binary file contents changed
> dpkg-source: error: add src/Poly/Bound.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 'src/Poly/Bound.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Poly/Bound.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Poly/Bound_quad.vo: binary file contents changed
> dpkg-source: error: add src/Poly/Bound_quad.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 'src/Poly/Bound_quad.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Poly/Bound_quad.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Poly/Datatypes.vo: binary file contents changed
> dpkg-source: error: add src/Poly/Datatypes.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 'src/Poly/Datatypes.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Poly/Datatypes.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Poly/Taylor_model.vo: binary file contents changed
> dpkg-source: error: add src/Poly/Taylor_model.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 'src/Poly/Taylor_model.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Poly/Taylor_model.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Poly/Taylor_model_sharp.vo: binary file contents changed
> dpkg-source: error: add src/Poly/Taylor_model_sharp.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 'src/Poly/Taylor_model_sharp.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Poly/Taylor_model_sharp.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Poly/Taylor_poly.vo: binary file contents changed
> dpkg-source: error: add src/Poly/Taylor_poly.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 'src/Poly/Taylor_poly.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Poly/Taylor_poly.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Real/Taylor.vo: binary file contents changed
> dpkg-source: error: add src/Real/Taylor.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 'src/Real/Taylor.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Real/Taylor.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Real/Xreal.vo: binary file contents changed
> dpkg-source: error: add src/Real/Xreal.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 'src/Real/Xreal.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Real/Xreal.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Real/Xreal_derive.vo: binary file contents changed
> dpkg-source: error: add src/Real/Xreal_derive.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 'src/Real/Xreal_derive.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Real/Xreal_derive.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Tactic.vo: binary file contents changed
> dpkg-source: error: add src/Tactic.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 'src/Tactic.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Tactic.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Tactic_float.vo: binary file contents changed
> dpkg-source: error: add src/Tactic_float.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 'src/Tactic_float.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Tactic_float.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Tactics/Integral_helper.vo: binary file contents changed
> dpkg-source: error: add src/Tactics/Integral_helper.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 'src/Tactics/Integral_helper.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Tactics/Integral_helper.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Tactics/Interval_helper.vo: binary file contents changed
> dpkg-source: error: add src/Tactics/Interval_helper.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 'src/Tactics/Interval_helper.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Tactics/Interval_helper.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Tactics/Plot_helper.vo: binary file contents changed
> dpkg-source: error: add src/Tactics/Plot_helper.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 'src/Tactics/Plot_helper.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Tactics/Plot_helper.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Tactics/Root_helper.vo: binary file contents changed
> dpkg-source: error: add src/Tactics/Root_helper.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 'src/Tactics/Root_helper.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Tactics/Root_helper.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-interval_4.8.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.

------------=_1785324182-3105418-0
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit

Received: (at 1045076-close) by bugs.debian.org; 29 Jul 2026 11:20:55 +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, 105; hammy, 150; neutral, 122; 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]:38096)
	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 1wp2LH-00D1W1-0h
	for [email protected];
	Wed, 29 Jul 2026 11:20:55 +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 1wp2LF-00Bhuf-2v
	for [email protected];
	Wed, 29 Jul 2026 11:20:53 +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=BNLqhh5Ictxk/woqTwae66qSUS9nkiazTMvH/yNbVUw=; b=S6zHlCkBVeTNHKY9SYUC8YgvIp
	MYpLd8KUB1swKeybqZgPf+w1HKR/YDlKZk9RLibANwAp/yAA8LljTMbEt4i+kxzxKNCALWLxLgoY4
	lrgYQTmDzUcOrS/GhQG2YwDHc+PmzTa+GAlmTWsbt/f+nR/bHhhl2WQqYs1o6ZUUV7kJBgNnEOM1i
	Z+DMcNMh5zOTUiD62u/ceOChB3fj/mowxQSV0Q+g5aA0KcwTQWc9sqecgTLLFBmWhMfx7qLy0jtKb
	eA6JbiFHDRNJTMdOsOfTygSH2e5PwOwB8EDlKcmcDfGXrOOfSXs+ywLpVENoMQUh1VuUlwqpr9q+E
	UQekPa0Q==;
Received: from dak by fasolo.debian.org with local (Exim 4.98.2)
	(envelope-from <[email protected]>)
	id 1wp2LE-00000001gg1-48ty;
	Wed, 29 Jul 2026 11:20:52 +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-interval
Debian: DAK
Debian-Changes: coq-interval_4.11.4-2_amd64.changes
Debian-Source: coq-interval
Debian-Version: 4.11.4-2
Debian-Architecture: source amd64
Debian-Suite: unstable
Debian-Archive-Action: accept
MIME-Version: 1.0
Subject: Bug#1045076: fixed in coq-interval 4.11.4-2
Content-Type: multipart/signed; micalg="pgp-sha256";
 protocol="application/pgp-signature";
 boundary="===============0209625433672938217=="
Message-Id: <[email protected]>
Date: Wed, 29 Jul 2026 11:20:52 +0000

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

Source: coq-interval
Source-Version: 4.11.4-2
Done: Julien Puydt <[email protected]>

We believe that the bug you reported is fixed in the latest version of
coq-interval, 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-interval 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 09:13:11 +0200
Source: coq-interval
Binary: libcoq-interval
Architecture: source amd64
Version: 4.11.4-2
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <[email protected]>
Changed-By: Julien Puydt <[email protected]>
Description:
 libcoq-interval - interval arithmetic for Coq
Closes: 1045076
Changes:
 coq-interval (4.11.4-2) unstable; urgency=3Dmedium
 .
   * Fix compilation with recent Coq/Rocq.
   * Fix source build after build (Closes: #1045076).
Checksums-Sha1:
 b62a8c9e2910aa72a5c0cd6d6c2ed8fc1c6d9012 2213 coq-interval_4.11.4-2.dsc
 8bf2b4b79c93006fea48563bd2483be932cceb26 346599 coq-interval_4.11.4.orig.tar=
.gz
 fd0a15b3cb832fc01c3aeea93ee5c80c736de8b6 10368 coq-interval_4.11.4-2.debian.=
tar.xz
 8a0d6664c5acdde70062a326777de74761594d49 7679 coq-interval_4.11.4-2_amd64.bu=
ildinfo
 3396d3099d4ad7bc55a5c5c108a48d876f9ce55b 6448212 libcoq-interval_4.11.4-2_am=
d64.deb
Checksums-Sha256:
 bb7fc4bd251a1464d22136959d570380e33af35c3642598c02465f0f077fadbe 2213 coq-in=
terval_4.11.4-2.dsc
 f2e0c6ee1bd781db896d032a6e5dbac5b19ee1f8b0ef364b4d272be9c921d66c 346599 coq-=
interval_4.11.4.orig.tar.gz
 a8acd01947ae08be9e9161da2e228337833d7b2cf3d651ea58c5583e5ef5a1f7 10368 coq-i=
nterval_4.11.4-2.debian.tar.xz
 75d262d1c3f5a17e84a8a11e09cb0d6c60a7cadc11e560e85a03ee86e2d068c2 7679 coq-in=
terval_4.11.4-2_amd64.buildinfo
 fbcf5e0b160c67afd1c0d2f6d8fc025ff75e8dba684f5e6b138e431fbfb2f1a8 6448212 lib=
coq-interval_4.11.4-2_amd64.deb
Files:
 da1f6761c60cf62b802eed869f155cdc 2213 ocaml optional coq-interval_4.11.4-2.d=
sc
 62fb47fa58c6ce854ea3bf9534a9b648 346599 ocaml optional coq-interval_4.11.4.o=
rig.tar.gz
 90f55917b7f0fd228eb55ac323ee3681 10368 ocaml optional coq-interval_4.11.4-2.=
debian.tar.xz
 2cc998751cac3028c61f00975b0e466e 7679 ocaml optional coq-interval_4.11.4-2_a=
md64.buildinfo
 268bd1196b477ff97c9664a3bffe4d65 6448212 ocaml optional libcoq-interval_4.11=
.4-2_amd64.deb

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpp3ZkZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdoGD/45KBJ2chptspVAMlJ5yWFp
Gaczqe6l71I09DmHE/CVjlH4icjqDGljzxJCoueUgqrSyRcvvnV3BKY1mv5iX5Mv
17/qaEKQ7ryPCR9sENuTKDT+m9CIVxZ7lTuCKGpOwsK65Ae8mLztxAO6eNBgv9IU
RCE9VvX6YSg9RnBY4zaAxVNR75hNcBBrOceCu7SkBtM6OjyV8hFbwIMLYIYFm4XD
DWZ/63/511wueGw7hfSQafHGR+ZvuaDcKJihgAKN8BO6R4Kg61nRDcHmVS7wG3A4
uTB3liWCi5LLwgDiFXNqeN02S8O4X5Q8UecvrOobAxHddU+FFGWCj2ZJkuP+Wauz
gC4+PWQ4PVyPoHMyL03dxFtRpGu5winL1Zv7MHEnzRiRgYMojn5LQcw+CYev19GT
O7NbQROFbKpWiT6Eo+5EsuNUdL6hfNUXrSShB/qxmeh7HlFrhVXO4/APYIc9meyf
UAdAhaQUPn+ZAxJ1ycaQ6sl1ixGwJ/+MPLYz1UVWLhqWco5vGUqhniz8TofAczI4
A/J2cDD1agc1huzviPzwSqKM72zfmOIaA24N0uskzyFbc5uZ6lH7BZMmhx42ACBV
dJqK14xsXRCiVhi/PTQhqKWkeaDe56TtQGFC45Nghgns3b94FYhtzYnoHlMWfPFR
C+2r2wGO6YMLjGOJKs0YDQ=3D=3D
=3D4aqE
-----END PGP SIGNATURE-----


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

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCamniFAAKCRCb9qggYcy5
IbgBAP9yIBgyu316nPfGbb/WUJReImhialdztxc/YFlV44s15gD/d0bn6jmmXzj5
Ur8HWahZpHVoK2ET7O/L/9A868BbYQU=
=Rkgk
-----END PGP SIGNATURE-----

--===============0209625433672938217==--
------------=_1785324182-3105418-0--