Bug#1044267: coqprime: Fails to build source after successful build
Source: coqprime
Version: 8.17-1
Severity: minor
Tags: trixie sid ftbfs
User: lucas@debian.org
Usertags: ftbfs-sab-20230813 ftbfs-source-after-build
User: debian-qa@lists.debian.org
Usertags: qa-doublebuild
Hi,
This package fails to build a source package after a successful build
(dpkg-buildpackage ; dpkg-buildpackage -S).
This is probably a clear violation of Debian Policy section 4.9 (clean target),
but this is filed as severity:minor for now, because a discussion on
debian-devel showed that we might want to revisit the requirement of a working
'clean' target.
More information about this class of issues, included common problems and
solutions, is available at
https://wiki.debian.org/qa.debian.org/FTBFS/SourceAfterBuild
Relevant part of the build log:
> cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env -us -uc -rfakeroot -S
> ----------------------------------------------------------------------------------------------------------------------
>
> dpkg-buildpackage: info: source package coqprime
> dpkg-buildpackage: info: source version 8.17-1
> dpkg-buildpackage: info: source distribution unstable
> dpkg-buildpackage: info: source changed by Julien Puydt <jpuydt@debian.org>
> dpkg-source --before-build .
> debian/rules clean
> dh clean --with coq
> debian/rules override_dh_auto_clean
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> # doesn't work
> make[1]: Leaving directory '/<<PKGBUILDDIR>>'
> dh_clean
> dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building coqprime using existing ./coqprime_8.17.orig.tar.gz
> dpkg-source: warning: ignoring deletion of file src/Coqprime/PrimalityTest/Makefile.bak, use --include-removal to override
> dpkg-source: warning: ignoring deletion of file src/Coqprime/examples/t75/Makefile.bak, use --include-removal to override
> dpkg-source: warning: ignoring deletion of file src/Coqprime/examples/t100/Makefile.bak, use --include-removal to override
> dpkg-source: warning: ignoring deletion of file src/Coqprime/examples/t25/Makefile.bak, use --include-removal to override
> dpkg-source: warning: ignoring deletion of file src/Coqprime/examples/t50/Makefile.bak, use --include-removal to override
> 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 .nia.cache: binary file contents changed
> dpkg-source: error: add .nia.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 gencertif/certif.o: binary file contents changed
> dpkg-source: error: add gencertif/certif.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: executable mode 0755 of 'gencertif/config.status' will not be represented in diff
> dpkg-source: warning: executable mode 0755 of 'gencertif/configure' will not be represented in diff
> dpkg-source: error: cannot represent change to gencertif/factorize.o: binary file contents changed
> dpkg-source: error: add gencertif/factorize.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 gencertif/firstprimes: binary file contents changed
> dpkg-source: error: add gencertif/firstprimes in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: executable mode 0755 of 'gencertif/firstprimes' will not be represented in diff
> dpkg-source: error: cannot represent change to gencertif/firstprimes.o: binary file contents changed
> dpkg-source: error: add gencertif/firstprimes.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 gencertif/o2v: binary file contents changed
> dpkg-source: error: add gencertif/o2v in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: executable mode 0755 of 'gencertif/o2v' will not be represented in diff
> dpkg-source: error: cannot represent change to gencertif/parser.cmi: binary file contents changed
> dpkg-source: error: add gencertif/parser.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 gencertif/parser.cmo: binary file contents changed
> dpkg-source: error: add gencertif/parser.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 gencertif/pocklington: binary file contents changed
> dpkg-source: error: add gencertif/pocklington in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: executable mode 0755 of 'gencertif/pocklington' will not be represented in diff
> dpkg-source: error: cannot represent change to gencertif/pocklington.o: binary file contents changed
> dpkg-source: error: add gencertif/pocklington.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/Coqprime/List/Iterator.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/List/Iterator.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/Coqprime/List/Iterator.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/List/Iterator.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/List/ListAux.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/List/ListAux.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/Coqprime/List/ListAux.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/List/ListAux.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/List/Permutation.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/List/Permutation.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/Coqprime/List/Permutation.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/List/Permutation.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/List/UList.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/List/UList.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/Coqprime/List/UList.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/List/UList.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/List/ZProgression.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/List/ZProgression.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/Coqprime/List/ZProgression.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/List/ZProgression.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/N/ChineseRem.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/N/ChineseRem.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/Coqprime/N/ChineseRem.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/N/ChineseRem.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/N/NatAux.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/N/NatAux.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/Coqprime/N/NatAux.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/N/NatAux.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/PrimalityTest/Cyclic.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/PrimalityTest/Cyclic.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/Coqprime/PrimalityTest/Cyclic.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/PrimalityTest/Cyclic.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/PrimalityTest/EGroup.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/PrimalityTest/EGroup.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/Coqprime/PrimalityTest/EGroup.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/PrimalityTest/EGroup.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/PrimalityTest/Euler.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/PrimalityTest/Euler.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/Coqprime/PrimalityTest/Euler.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/PrimalityTest/Euler.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/PrimalityTest/FGroup.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/PrimalityTest/FGroup.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/Coqprime/PrimalityTest/FGroup.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/PrimalityTest/FGroup.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/PrimalityTest/IGroup.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/PrimalityTest/IGroup.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/Coqprime/PrimalityTest/IGroup.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/PrimalityTest/IGroup.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/PrimalityTest/Lagrange.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/PrimalityTest/Lagrange.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/Coqprime/PrimalityTest/Lagrange.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/PrimalityTest/Lagrange.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/PrimalityTest/LucasLehmer.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/PrimalityTest/LucasLehmer.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/Coqprime/PrimalityTest/LucasLehmer.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/PrimalityTest/LucasLehmer.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/PrimalityTest/PGroup.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/PrimalityTest/PGroup.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/Coqprime/PrimalityTest/PGroup.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/PrimalityTest/PGroup.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/PrimalityTest/Pepin.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/PrimalityTest/Pepin.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/Coqprime/PrimalityTest/Pepin.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/PrimalityTest/Pepin.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/PrimalityTest/Pocklington.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/PrimalityTest/Pocklington.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/Coqprime/PrimalityTest/Pocklington.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/PrimalityTest/Pocklington.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/PrimalityTest/PocklingtonCertificat.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/PrimalityTest/PocklingtonCertificat.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/Coqprime/PrimalityTest/PocklingtonCertificat.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/PrimalityTest/PocklingtonCertificat.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/PrimalityTest/Proth.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/PrimalityTest/Proth.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/Coqprime/PrimalityTest/Proth.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/PrimalityTest/Proth.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/PrimalityTest/Root.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/PrimalityTest/Root.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/Coqprime/PrimalityTest/Root.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/PrimalityTest/Root.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/PrimalityTest/Zp.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/PrimalityTest/Zp.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/Coqprime/PrimalityTest/Zp.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/PrimalityTest/Zp.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/Tactic/Tactic.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/Tactic/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/Coqprime/Tactic/Tactic.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/Tactic/Tactic.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/Z/Pmod.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/Z/Pmod.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/Coqprime/Z/Pmod.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/Z/Pmod.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/Z/Ppow.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/Z/Ppow.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/Coqprime/Z/Ppow.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/Z/Ppow.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/Z/ZCAux.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/Z/ZCAux.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/Coqprime/Z/ZCAux.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/Z/ZCAux.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/Z/ZCmisc.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/Z/ZCmisc.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/Coqprime/Z/ZCmisc.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/Z/ZCmisc.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/Z/ZSum.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/Z/ZSum.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/Coqprime/Z/ZSum.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/Z/ZSum.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/Z/Zmod.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/Z/Zmod.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/Coqprime/Z/Zmod.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/Z/Zmod.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/elliptic/GZnZ.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/elliptic/GZnZ.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/Coqprime/elliptic/GZnZ.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/elliptic/GZnZ.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/elliptic/SMain.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/elliptic/SMain.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/Coqprime/elliptic/SMain.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/elliptic/SMain.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/elliptic/ZEll.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/elliptic/ZEll.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/Coqprime/elliptic/ZEll.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/elliptic/ZEll.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/examples/BasePrimes.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/examples/BasePrimes.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/Coqprime/examples/BasePrimes.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/examples/BasePrimes.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/examples/PocklingtonRefl.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/examples/PocklingtonRefl.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/Coqprime/examples/PocklingtonRefl.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/examples/PocklingtonRefl.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/num/Bits.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/num/Bits.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/Coqprime/num/Bits.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/num/Bits.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/num/Int63Compat.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/num/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/Coqprime/num/Int63Compat.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/num/Int63Compat.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/num/Lucas.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/num/Lucas.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/Coqprime/num/Lucas.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/num/Lucas.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/num/MEll.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/num/MEll.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/Coqprime/num/MEll.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/num/MEll.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/num/Mod_op.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/num/Mod_op.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/Coqprime/num/Mod_op.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/num/Mod_op.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/num/NEll.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/num/NEll.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/Coqprime/num/NEll.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/num/NEll.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/num/Pock.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/num/Pock.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/Coqprime/num/Pock.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/num/Pock.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/num/W.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/num/W.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/Coqprime/num/W.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/num/W.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Coqprime/num/montgomery.vo: binary file contents changed
> dpkg-source: error: add src/Coqprime/num/montgomery.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/Coqprime/num/montgomery.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Coqprime/num/montgomery.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/coqprime_8.17-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.
Reply to: