Source: coqprime Version: 8.17-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 coqprime > dpkg-buildpackage: info: source version 8.17-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 > 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.
