Bug#1045073: marked as done (coq-stdpp: Fails to build source after successful build)
"Debian Bug Tracking System" <[email protected]> Tue, 28 Jul 2026 09:51:02 +0000
| Newsgroups | gmane.linux.debian.devel.ocaml |
|---|---|
| Message-ID | <handler.1045073.D1045073.17852321972219777.ackdone@bugs.debian.org> |
This is a multi-part message in MIME format... ------------=_1785232262-2220548-0 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your message dated Tue, 28 Jul 2026 09:49:54 +0000 with message-id <[email protected]> and subject line Bug#1045073: fixed in coq-stdpp 1.13.0-2 has caused the Debian Bug report #1045073, regarding coq-stdpp: 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 1045073: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=3D1045073 Debian Bug Tracking System Contact [email protected] with problems ------------=_1785232262-2220548-0 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by bugs.debian.org; 13 Aug 2023 18:14:49 +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,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, 318; hammy, 150; neutral, 311; 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]:48192) 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 1qVFc2-003flR-DX for [email protected]; Sun, 13 Aug 2023 18:14:49 +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=U3fx8jA+7kmCjHtl7F9TGIO+G2wpc+gly321W6rTZNA=; b=JwnVq0dKBDQH45ArMgZ9FZFYHI SHZeH60ya6Z170oRQ+fU2Ufp3TuF2tO/0CVijqZlhwDcqDB5v/4Kr63BhWVZHJSAO4ZbN8VvNSGWA BSMEB/0KgphWTbJXjuFd22hjztSzRC4ziBIxboQ21tgOeLQ6fUtixsVtHF3DYcsK1ESHJUEqXse/M MWFOTJHXKnda1upgmhQuOur8/4h/Y92x1+ys25iH0n8rmHCuMQ/+tC4vGFQ9eB+OfKwknCIxahep2 deg5AlCoeQeLwyfqIF4e5nKVedrR7D2uN+oYcFetkYdFW/87PmvqitgLlOuLOvc+FSPgv/BAcCp4l /61ZptaQ==; 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 1qVFc0-001oKF-AT for [email protected]; Sun, 13 Aug 2023 18:14:47 +0000 From: Lucas Nussbaum <[email protected]> To: [email protected] Subject: coq-stdpp: 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-stdpp Version: 1.8.0-4 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-stdpp > dpkg-buildpackage: info: source version 1.8.0-4 > 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 > debian/rules override_dh_auto_clean > make[1]: Entering directory '/<<PKGBUILDDIR>>' > # doesn't work like this > make[1]: Leaving directory '/<<PKGBUILDDIR>>' > dh_ocamlclean > dh_clean > dpkg-source -b . > dpkg-source: info: using source format '3.0 (quilt)' > dpkg-source: info: building coq-stdpp using existing ./coq-stdpp_1.8.0.orig.tar.gz > dpkg-source: error: cannot represent change to .lia.cache: binary file contents changed > dpkg-source: error: add .lia.cache in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: error: cannot represent change to stdpp/base.vo: binary file contents changed > dpkg-source: error: add stdpp/base.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/base.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/base.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/binders.vo: binary file contents changed > dpkg-source: error: add stdpp/binders.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/binders.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/binders.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/boolset.vo: binary file contents changed > dpkg-source: error: add stdpp/boolset.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/boolset.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/boolset.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/coGset.vo: binary file contents changed > dpkg-source: error: add stdpp/coGset.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/coGset.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/coGset.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/coPset.vo: binary file contents changed > dpkg-source: error: add stdpp/coPset.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/coPset.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/coPset.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/countable.vo: binary file contents changed > dpkg-source: error: add stdpp/countable.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/countable.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/countable.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/decidable.vo: binary file contents changed > dpkg-source: error: add stdpp/decidable.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/decidable.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/decidable.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/fin.vo: binary file contents changed > dpkg-source: error: add stdpp/fin.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/fin.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/fin.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/fin_map_dom.vo: binary file contents changed > dpkg-source: error: add stdpp/fin_map_dom.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/fin_map_dom.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/fin_map_dom.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/fin_maps.vo: binary file contents changed > dpkg-source: error: add stdpp/fin_maps.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/fin_maps.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/fin_maps.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/fin_sets.vo: binary file contents changed > dpkg-source: error: add stdpp/fin_sets.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/fin_sets.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/fin_sets.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/finite.vo: binary file contents changed > dpkg-source: error: add stdpp/finite.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/finite.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/finite.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/functions.vo: binary file contents changed > dpkg-source: error: add stdpp/functions.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/functions.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/functions.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/gmap.vo: binary file contents changed > dpkg-source: error: add stdpp/gmap.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/gmap.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/gmap.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/gmultiset.vo: binary file contents changed > dpkg-source: error: add stdpp/gmultiset.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/gmultiset.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/gmultiset.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/hashset.vo: binary file contents changed > dpkg-source: error: add stdpp/hashset.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/hashset.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/hashset.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/hlist.vo: binary file contents changed > dpkg-source: error: add stdpp/hlist.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/hlist.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/hlist.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/infinite.vo: binary file contents changed > dpkg-source: error: add stdpp/infinite.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/infinite.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/infinite.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/lexico.vo: binary file contents changed > dpkg-source: error: add stdpp/lexico.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/lexico.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/lexico.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/list.vo: binary file contents changed > dpkg-source: error: add stdpp/list.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/list.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/list.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/list_numbers.vo: binary file contents changed > dpkg-source: error: add stdpp/list_numbers.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/list_numbers.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/list_numbers.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/listset.vo: binary file contents changed > dpkg-source: error: add stdpp/listset.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/listset.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/listset.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/listset_nodup.vo: binary file contents changed > dpkg-source: error: add stdpp/listset_nodup.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/listset_nodup.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/listset_nodup.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/mapset.vo: binary file contents changed > dpkg-source: error: add stdpp/mapset.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/mapset.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/mapset.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/namespaces.vo: binary file contents changed > dpkg-source: error: add stdpp/namespaces.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/namespaces.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/namespaces.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/nat_cancel.vo: binary file contents changed > dpkg-source: error: add stdpp/nat_cancel.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/nat_cancel.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/nat_cancel.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/natmap.vo: binary file contents changed > dpkg-source: error: add stdpp/natmap.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/natmap.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/natmap.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/nmap.vo: binary file contents changed > dpkg-source: error: add stdpp/nmap.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/nmap.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/nmap.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/numbers.vo: binary file contents changed > dpkg-source: error: add stdpp/numbers.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/numbers.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/numbers.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/option.vo: binary file contents changed > dpkg-source: error: add stdpp/option.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/option.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/option.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/options.vo: binary file contents changed > dpkg-source: error: add stdpp/options.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/options.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/options.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/orders.vo: binary file contents changed > dpkg-source: error: add stdpp/orders.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/orders.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/orders.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/pmap.vo: binary file contents changed > dpkg-source: error: add stdpp/pmap.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/pmap.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/pmap.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/prelude.vo: binary file contents changed > dpkg-source: error: add stdpp/prelude.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/prelude.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/prelude.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/pretty.vo: binary file contents changed > dpkg-source: error: add stdpp/pretty.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/pretty.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/pretty.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/proof_irrel.vo: binary file contents changed > dpkg-source: error: add stdpp/proof_irrel.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/proof_irrel.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/proof_irrel.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/propset.vo: binary file contents changed > dpkg-source: error: add stdpp/propset.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/propset.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/propset.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/relations.vo: binary file contents changed > dpkg-source: error: add stdpp/relations.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/relations.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/relations.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/sets.vo: binary file contents changed > dpkg-source: error: add stdpp/sets.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/sets.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/sets.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/sorting.vo: binary file contents changed > dpkg-source: error: add stdpp/sorting.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/sorting.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/sorting.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/streams.vo: binary file contents changed > dpkg-source: error: add stdpp/streams.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/streams.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/streams.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/stringmap.vo: binary file contents changed > dpkg-source: error: add stdpp/stringmap.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/stringmap.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/stringmap.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/strings.vo: binary file contents changed > dpkg-source: error: add stdpp/strings.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/strings.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/strings.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/tactics.vo: binary file contents changed > dpkg-source: error: add stdpp/tactics.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/tactics.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/tactics.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/telescopes.vo: binary file contents changed > dpkg-source: error: add stdpp/telescopes.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/telescopes.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/telescopes.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/vector.vo: binary file contents changed > dpkg-source: error: add stdpp/vector.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/vector.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/vector.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/well_founded.vo: binary file contents changed > dpkg-source: error: add stdpp/well_founded.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/well_founded.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/well_founded.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp/zmap.vo: binary file contents changed > dpkg-source: error: add stdpp/zmap.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp/zmap.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp/zmap.vos' will not be represented in diff > dpkg-source: error: cannot represent change to stdpp_unstable/bitblast.vo: binary file contents changed > dpkg-source: error: add stdpp_unstable/bitblast.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball > dpkg-source: warning: newly created empty file 'stdpp_unstable/bitblast.vok' will not be represented in diff > dpkg-source: warning: newly created empty file 'stdpp_unstable/bitblast.vos' will not be represented in diff > dpkg-source: warning: newly created empty file 'tests/bitblast.vo' will not be represented in diff > dpkg-source: warning: newly created empty file 'tests/eunify.vo' will not be represented in diff > dpkg-source: warning: newly created empty file 'tests/fin_maps.vo' will not be represented in diff > dpkg-source: warning: newly created empty file 'tests/gmap.vo' will not be represented in diff > dpkg-source: warning: newly created empty file 'tests/is_closed_term.vo' will not be represented in diff > dpkg-source: warning: newly created empty file 'tests/length.vo' will not be represented in diff > dpkg-source: warning: newly created empty file 'tests/list.vo' will not be represented in diff > dpkg-source: warning: newly created empty file 'tests/multiset_solver.vo' will not be represented in diff > dpkg-source: warning: newly created empty file 'tests/notation.vo' will not be represented in diff > dpkg-source: warning: newly created empty file 'tests/numbers.vo' will not be represented in diff > dpkg-source: warning: newly created empty file 'tests/pretty.vo' will not be represented in diff > dpkg-source: warning: newly created empty file 'tests/proper.vo' will not be represented in diff > dpkg-source: warning: newly created empty file 'tests/sets.vo' will not be represented in diff > dpkg-source: warning: newly created empty file 'tests/solve_ndisj.vo' will not be represented in diff > dpkg-source: warning: newly created empty file 'tests/tactics.vo' will not be represented in diff > dpkg-source: warning: newly created empty file 'tests/telescopes.vo' will not be represented in diff > dpkg-source: warning: newly created empty file 'tests/typeclasses.vo' will not be represented in diff > dpkg-source: warning: newly created empty file 'tests/universes.vo' will not be represented in diff > dpkg-source: error: unrepresentable changes to source > dpkg-buildpackage: error: dpkg-source -b . subprocess returned exit status 1 > > E: Command 'cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env -us -uc -rfakeroot -S' failed to run. The full build log is available from: http://qa-logs.debian.net/2023/08/13/coq-stdpp_1.8.0-4_unstable.log If you reassign this bug to another package, please mark it as 'affects'-ing this package. See https://www.debian.org/Bugs/server-control#affects If you fail to reproduce this, please provide a build log and diff it with mine so that we can identify if something relevant changed in the meantime. ------------=_1785232262-2220548-0 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 1045073-close) by bugs.debian.org; 28 Jul 2026 09:49:57 +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=-113.1 required=4.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FVGT_m_MULTI_ODD,HAS_BUG_NUMBER, MD5_SHA1_SUM,PGPSIGNATURE,RCVD_IN_DNSWL_MED,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, 104; 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 mitropoulos.debian.org ([2001:648:2ffc:deb:216:61ff:fe9d:958d]:37742) 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 1woeRh-009JSV-0S for [email protected]; Tue, 28 Jul 2026 09:49:57 +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 mitropoulos.debian.org with esmtps (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256) (Exim 4.96) (envelope-from <[email protected]>) id 1woeRf-00AWWN-0v for [email protected]; Tue, 28 Jul 2026 09:49:55 +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=suIOTZm1Izsu2zD3zPvcPhdvtSAagE1B9a4haDo3zzc=; b=smjpUuLOipTYu6WoNLNxJtnoNI jp3mfb7G/OT5oUgbiF9P2E2dKfGGqC+bLrWb41bK8lodwjAsK/bROVc4o/ycPXU4ZpdqA1EWh/nk9 z7G+fwHfdn16VZxtq1H8LU825XDulQlwQwjEc6Fie+F9WP2evd/MV5Lr35vyjq9cr2A3AG7OoXT4j L+VMPKaSi2fPYk2uK+bf6Qh9u1reVEKFW0kOJOSnai41JbpoVFA85VFUj1t/Zp17e4gsJpPaI425D or35qKrnjX0XH76LqWrBkIV9y1NyXwoOa5nnyJkny9Ia9G4dOjD63vZ9hnRRP34chpMlnino0OeRL q6QqwjXg==; Received: from dak by fasolo.debian.org with local (Exim 4.98.2) (envelope-from <[email protected]>) id 1woeRe-0000000Ea1v-0Srq; Tue, 28 Jul 2026 09:49:54 +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-stdpp Debian: DAK Debian-Changes: coq-stdpp_1.13.0-2_amd64.changes Debian-Source: coq-stdpp Debian-Version: 1.13.0-2 Debian-Architecture: source amd64 Debian-Suite: unstable Debian-Archive-Action: accept MIME-Version: 1.0 Subject: Bug#1045073: fixed in coq-stdpp 1.13.0-2 Content-Type: multipart/signed; micalg="pgp-sha256"; protocol="application/pgp-signature"; boundary="===============0132442189874040918==" Message-Id: <[email protected]> Date: Tue, 28 Jul 2026 09:49:54 +0000 --===============0132442189874040918== Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Source: coq-stdpp Source-Version: 1.13.0-2 Done: Julien Puydt <[email protected]> We believe that the bug you reported is fixed in the latest version of coq-stdpp, 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-stdpp 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: Mon, 27 Jul 2026 18:33:30 +0200 Source: coq-stdpp Binary: libcoq-stdpp Architecture: source amd64 Version: 1.13.0-2 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-stdpp - Extended standard library for Coq Closes: 1045073 Changes: coq-stdpp (1.13.0-2) unstable; urgency=3Dmedium . * Fix building source after a successful build (Closes: #1045073). Checksums-Sha1: d14c161ef23da815a84cdc7001ae1083484447e9 2082 coq-stdpp_1.13.0-2.dsc f7858a70cf82cb2868495b032d67c2a5610c6947 342787 coq-stdpp_1.13.0.orig.tar.gz a388f5862999dbb1e073ab6e42991c2a1cbf85d9 2884 coq-stdpp_1.13.0-2.debian.tar.= xz 30868b80b497767b81bd8e1ec3b9cdd0866e1178 6908 coq-stdpp_1.13.0-2_amd64.build= info 76c67bf7f034097b00312119d65f1abf06238c74 5282260 libcoq-stdpp_1.13.0-2_amd64= .deb Checksums-Sha256: 00fce5cbe387e445166f1ad3ed6fbe84f2a2c1ab4caff84f6d0a23c7d1d812e7 2082 coq-st= dpp_1.13.0-2.dsc f5e99bf211d8a0508a4bdc83072fad07d65789016c1c7ae7e29b5392056d3ed6 342787 coq-= stdpp_1.13.0.orig.tar.gz c37f459b02b82f559971f402cd4417c44b536253baacf5b697acfe3fe090e789 2884 coq-st= dpp_1.13.0-2.debian.tar.xz ffca90eac72cffcee8eee4a18c3b415e2d5419fa7dd208255eb9c3b333f6f700 6908 coq-st= dpp_1.13.0-2_amd64.buildinfo 96b134957f2a663ed9b8f6b25eba2ff4bad81e4eec11fdbf520e57377b6d58a5 5282260 lib= coq-stdpp_1.13.0-2_amd64.deb Files: 535e252918ab93f3e449e855d4a84e33 2082 ocaml optional coq-stdpp_1.13.0-2.dsc 45ee699801c8697aa5a623694a55b1b0 342787 ocaml optional coq-stdpp_1.13.0.orig= .tar.gz 93080b1a7cdde028f9f6909dafc654ad 2884 ocaml optional coq-stdpp_1.13.0-2.debi= an.tar.xz 79bbc3c21c484d0275db2fd818631e10 6908 ocaml optional coq-stdpp_1.13.0-2_amd6= 4.buildinfo 5e6f07ec651de22ce657979cb8b082ef 5282260 ocaml optional libcoq-stdpp_1.13.0-= 2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpodv4ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUR86D/9sLT8oQIMqveFe4bs8I7gm dsROfnrKV3Y5XvVy+fPrhnwO+1qZgKkzq4rmNKI10PFh1u/VnWSKMuHjRN3j0SWl 0jxkhA1owVG32UQHRNgYNeyud3hXDPyQXT7Hhfbr3gGGS7O7vgN2zZVaO1CaStdo ieehgQrdWceEramCVYX5BsNJHF/afrRe9xFvmJaC1X7kBKtWWs5mNJHJrfjDl5R8 g4BDrDDDtOAPwQD1Pc4pGCCd+I4v+LZFUMSTT3otaLpv6jzN+0DreTiP5nj2gBYu cbpnJf6wn7xvzEy/0SJ7WjX4RFdBaHAk18DMQJiNe62m8mUWcmPsnFxqkR1uyAs5 YyDOBJDufZ2g2zM9wiBqfQkTrpUxBOHWBxh3uxlWNM+uHFS0k0ry+JEGoGcxgcns 68uonevyEqwRsLxSzFa2K3LjmWQM3joKPDdGUwCBrgGJ5AKQAWQIuZIfpmcdi+vY 7Z8h8lU9q7SU55v3u3xMa8lm95O6GHCUOuFkSRGPAyFrz9+VqE18e7sAiujIBlTo E5v61iHHPLP3xVDNYUp4VRmpw7jCtKNHNyWu9Xgd/dp3mK9t5tYxcAvgJ4fWKZz5 FACRzY+VWXQvse0GO4AwmJzlIxzngn9S12LxiWF/csxsxTJKUfEpCKvwtOQLRaYw 8Wd7pxR3BfZpcaq6A2aSTg=3D=3D =3DhbqN -----END PGP SIGNATURE----- --===============0132442189874040918== Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCamh7QgAKCRCb9qggYcy5 IYmDAP0Syk7PF/W86E8JQP2ZleuTWSgUrfkT4CfTqY4j+KqzAgD/XoAWzX/pQz1I W24e1ZtLlsa3vYUg5HioZRXgvn54qQY= =ONIQ -----END PGP SIGNATURE----- --===============0132442189874040918==-- ------------=_1785232262-2220548-0--