Source: why3 Version: 1.5.1-1 Severity: minor Tags: trixie sid ftbfs User: lu...@debian.org Usertags: ftbfs-sab-20230813 ftbfs-source-after-build User: debian...@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 why3 > dpkg-buildpackage: info: source version 1.5.1-1 > dpkg-buildpackage: info: source distribution unstable > dpkg-buildpackage: info: source changed by Ralf Treinen <trei...@debian.org> > dpkg-source --before-build . > debian/rules clean > dh clean --with ocaml,tex > dh_auto_clean > make -j8 distclean > make[1]: Entering directory '/<<PKGBUILDDIR>>' > cmp -s src/tools/why3pp_sexp-dummy.ml src/tools/why3pp_sexp.ml || cp > src/tools/why3pp_sexp-dummy.ml src/tools/why3pp_sexp.ml > cmp -s src/ide/gtkcompat3.ml src/ide/gtkcompat.ml || cp src/ide/gtkcompat3.ml > src/ide/gtkcompat.ml > cmp -s src/util/mysexplib-dummy.ml src/util/mysexplib.ml || cp > src/util/mysexplib-dummy.ml src/util/mysexplib.ml > cmp -s src/util/mlmpfr_dummy.ml src/util/mlmpfr_wrapper.ml || cp > src/util/mlmpfr_dummy.ml src/util/mlmpfr_wrapper.ml > cmp -s src/util/dynlink_new.ml src/util/dynlink_wrapper.ml || cp > src/util/dynlink_new.ml src/util/dynlink_wrapper.ml > cmp -s src/session/compress_z.ml src/session/compress.ml || cp > src/session/compress_z.ml src/session/compress.ml > cmp -s src/util/recompat.ml src/util/re.ml || cp src/util/recompat.ml > src/util/re.ml > rm -f src/parser/parser_messages.ml.tmp src/parser/handcrafted.messages.temp > rm -f src/util/ppx_debug_optim > rm -f share/emacs/why3.elc > rm -f bin/why3* > rm -f src/server/logging.o src/server/arraylist.o src/server/options.o > src/server/queue.o src/server/readbuf.o src/server/request.o > src/server/proc.o src/server/writebuf.o src/server/server-unix.o > src/server/server-win.o src/server/cpulimit-unix.o src/server/cpulimit-win.o > lib/why3server lib/why3cpulimit > rm -f > rm -f lib/coq/BuiltIn.vo lib/coq/HighOrd.vo lib/coq/int/Exponentiation.vo > lib/coq/int/Abs.vo lib/coq/int/ComputerDivision.vo lib/coq/int/Div2.vo > lib/coq/int/EuclideanDivision.vo lib/coq/int/Int.vo lib/coq/int/MinMax.vo > lib/coq/int/Power.vo lib/coq/int/NumOf.vo lib/coq/bool/Bool.vo > lib/coq/real/Abs.vo lib/coq/real/ExpLog.vo lib/coq/real/FromInt.vo > lib/coq/real/MinMax.vo lib/coq/real/PowerInt.vo lib/coq/real/PowerReal.vo > lib/coq/real/Real.vo lib/coq/real/RealInfix.vo lib/coq/real/Square.vo > lib/coq/real/Trigonometry.vo lib/coq/number/Divisibility.vo > lib/coq/number/Gcd.vo lib/coq/number/Parity.vo lib/coq/number/Prime.vo > lib/coq/number/Coprime.vo lib/coq/set/Set.vo lib/coq/set/Cardinal.vo > lib/coq/set/Fset.vo lib/coq/set/FsetInduction.vo lib/coq/set/FsetInt.vo > lib/coq/set/FsetSum.vo lib/coq/set/SetApp.vo > lib/coq/set/SetAppInt.vo lib/coq/set/SetImp.vo lib/coq/set/SetImpInt.vo > lib/coq/map/Map.vo lib/coq/map/Const.vo lib/coq/map/Occ.vo > lib/coq/map/MapPermut.vo lib/coq/map/MapInjection.vo lib/coq/list/List.vo > lib/coq/list/Length.vo lib/coq/list/Mem.vo lib/coq/list/Nth.vo > lib/coq/list/NthLength.vo lib/coq/list/HdTl.vo lib/coq/list/NthHdTl.vo > lib/coq/list/Append.vo lib/coq/list/NthLengthAppend.vo > lib/coq/list/Reverse.vo lib/coq/list/HdTlNoOpt.vo lib/coq/list/NthNoOpt.vo > lib/coq/list/RevAppend.vo lib/coq/list/Combine.vo lib/coq/list/Distinct.vo > lib/coq/list/NumOcc.vo lib/coq/list/Permut.vo lib/coq/option/Option.vo > lib/coq/bv/Pow2int.vo lib/coq/bv/BV_Gen.vo > lib/coq/for_drivers/ComputerOfEuclideanDivision.vo lib/coq/BuiltIn.vd > lib/coq/HighOrd.vd lib/coq/int/Exponentiation.vd lib/coq/int/Abs.vd > lib/coq/int/ComputerDivision.vd > lib/coq/int/Div2.vd lib/coq/int/EuclideanDivision.vd lib/coq/int/Int.vd > lib/coq/int/MinMax.vd lib/coq/int/Power.vd lib/coq/int/NumOf.vd > lib/coq/bool/Bool.vd lib/coq/real/Abs.vd lib/coq/real/ExpLog.vd > lib/coq/real/FromInt.vd lib/coq/real/MinMax.vd lib/coq/real/PowerInt.vd > lib/coq/real/PowerReal.vd lib/coq/real/Real.vd lib/coq/real/RealInfix.vd > lib/coq/real/Square.vd lib/coq/real/Trigonometry.vd > lib/coq/number/Divisibility.vd lib/coq/number/Gcd.vd lib/coq/number/Parity.vd > lib/coq/number/Prime.vd lib/coq/number/Coprime.vd lib/coq/set/Set.vd > lib/coq/set/Cardinal.vd lib/coq/set/Fset.vd lib/coq/set/FsetInduction.vd > lib/coq/set/FsetInt.vd lib/coq/set/FsetSum.vd lib/coq/set/SetApp.vd > lib/coq/set/SetAppInt.vd lib/coq/set/SetImp.vd lib/coq/set/SetImpInt.vd > lib/coq/map/Map.vd lib/coq/map/Const.vd lib/coq/map/Occ.vd > lib/coq/map/MapPermut.vd lib/coq/map/MapInjection.vd lib/coq/list/List.vd > lib/coq/list/Length.vd lib/coq/list/Mem.vd lib/coq/list/Nth.vd > lib/coq/list/NthLength.vd lib/coq/list/HdTl.vd lib/coq/list/NthHdTl.vd > lib/coq/list/Append.vd lib/coq/list/NthLengthAppend.vd > lib/coq/list/Reverse.vd lib/coq/list/HdTlNoOpt.vd lib/coq/list/NthNoOpt.vd > lib/coq/list/RevAppend.vd lib/coq/list/Combine.vd lib/coq/list/Distinct.vd > lib/coq/list/NumOcc.vd lib/coq/list/Permut.vd lib/coq/option/Option.vd > lib/coq/bv/Pow2int.vd lib/coq/bv/BV_Gen.vd > lib/coq/for_drivers/ComputerOfEuclideanDivision.vd lib/coq/BuiltIn.glob > lib/coq/HighOrd.glob lib/coq/int/Exponentiation.glob lib/coq/int/Abs.glob > lib/coq/int/ComputerDivision.glob lib/coq/int/Div2.glob > lib/coq/int/EuclideanDivision.glob lib/coq/int/Int.glob > lib/coq/int/MinMax.glob > lib/coq/int/Power.glob lib/coq/int/NumOf.glob lib/coq/bool/Bool.glob > lib/coq/real/Abs.glob lib/coq/real/ExpLog.glob lib/coq/real/FromInt.glob > lib/coq/real/MinMax.glob lib/coq/real/PowerInt.glob > lib/coq/real/PowerReal.glob lib/coq/real/Real.glob > lib/coq/real/RealInfix.glob lib/coq/real/Square.glob > lib/coq/real/Trigonometry.glob lib/coq/number/Divisibility.glob > lib/coq/number/Gcd.glob lib/coq/number/Parity.glob lib/coq/number/Prime.glob > lib/coq/number/Coprime.glob lib/coq/set/Set.glob lib/coq/set/Cardinal.glob > lib/coq/set/Fset.glob lib/coq/set/FsetInduction.glob lib/coq/set/FsetInt.glob > lib/coq/set/FsetSum.glob lib/coq/set/SetApp.glob lib/coq/set/SetAppInt.glob > lib/coq/set/SetImp.glob lib/coq/set/SetImpInt.glob lib/coq/map/Map.glob > lib/coq/map/Const.glob lib/coq/map/Occ.glob lib/coq/map/MapPermut.glob > lib/coq/map/MapInjection.glob lib/coq/list/List.glob lib/coq/list/Length.glob > lib/coq/list/Mem.glob lib/coq/list/Nth.glob lib/coq/list/NthLength.glob > lib/coq/list/HdTl.glob lib/coq/list/NthHdTl.glob lib/coq/list/Append.glob > lib/coq/list/NthLengthAppend.glob lib/coq/list/Reverse.glob > lib/coq/list/HdTlNoOpt.glob lib/coq/list/NthNoOpt.glob > lib/coq/list/RevAppend.glob lib/coq/list/Combine.glob > lib/coq/list/Distinct.glob lib/coq/list/NumOcc.glob lib/coq/list/Permut.glob > lib/coq/option/Option.glob lib/coq/bv/Pow2int.glob lib/coq/bv/BV_Gen.glob > lib/coq/for_drivers/ComputerOfEuclideanDivision.glob lib/coq/version \ > lib/coq/.BuiltIn.aux lib/coq/.HighOrd.aux > lib/coq/int/.Exponentiation.aux lib/coq/int/.Abs.aux > lib/coq/int/.ComputerDivision.aux lib/coq/int/.Div2.aux > lib/coq/int/.EuclideanDivision.aux lib/coq/int/.Int.aux > lib/coq/int/.MinMax.aux lib/coq/int/.Power.aux lib/coq/int/.NumOf.aux > lib/coq/bool/.Bool.aux lib/coq/real/.Abs.aux lib/coq/real/.ExpLog.aux > lib/coq/real/.FromInt.aux lib/coq/real/.MinMax.aux lib/coq/real/.PowerInt.aux > lib/coq/real/.PowerReal.aux lib/coq/real/.Real.aux > lib/coq/real/.RealInfix.aux lib/coq/real/.Square.aux > lib/coq/real/.Trigonometry.aux lib/coq/number/.Divisibility.aux > lib/coq/number/.Gcd.aux lib/coq/number/.Parity.aux lib/coq/number/.Prime.aux > lib/coq/number/.Coprime.aux lib/coq/set/.Set.aux lib/coq/set/.Cardinal.aux > lib/coq/set/.Fset.aux lib/coq/set/.FsetInduction.aux lib/coq/set/.FsetInt.aux > lib/coq/set/.FsetSum.aux lib/coq/set/.SetApp.aux lib/coq/set/.SetAppInt.aux > lib/coq/set/.SetImp.aux lib/coq/set/.SetImpInt.aux lib/coq/map/.Map.aux > lib/coq/map/.Const.aux lib/coq/map/.Occ.aux lib/coq/map/.MapPermut.aux > lib/coq/map/.MapInjection.aux lib/coq/list/.List.aux lib/coq/list/.Length.aux > lib/coq/list/.Mem.aux lib/coq/list/.Nth.aux lib/coq/list/.NthLength.aux > lib/coq/list/.HdTl.aux lib/coq/list/.NthHdTl.aux lib/coq/list/.Append.aux > lib/coq/list/.NthLengthAppend.aux lib/coq/list/.Reverse.aux > lib/coq/list/.HdTlNoOpt.aux lib/coq/list/.NthNoOpt.aux > lib/coq/list/.RevAppend.aux lib/coq/list/.Combine.aux > lib/coq/list/.Distinct.aux lib/coq/list/.NumOcc.aux lib/coq/list/.Permut.aux > lib/coq/option/.Option.aux lib/coq/bv/.Pow2int.aux lib/coq/bv/.BV_Gen.aux > lib/coq/for_drivers/.ComputerOfEuclideanDivision.aux > rm -f drivers/coq-realizations.aux > rm -f lib/pvs/version > rm -f drivers/pvs-realizations.aux > rm -f lib/isabelle/ROOT lib/isabelle/why3.ML lib/isabelle/Why3_BV.thy > lib/isabelle/Why3_Map.thy > rm -f drivers/isabelle-realizations.aux > rm -f bin/isabelle_client.byte bin/isabelle_client.opt bin/isabelle_client > rm -f src/trywhy3/trywhy3.js src/trywhy3/trywhy3.byte \ > src/trywhy3/why3_worker.js src/trywhy3/why3_worker.byte \ > trywhy3.tar.gz > rm -rf bench/infer/*.out > rm -rf bench/check-ce/*.out > rm -rf doc/html doc/latex > rm -rf doc/generated/*.dot > rm -f doc/apidoc/* > rm -f doc/stdlibdoc/* > rm -f share/Makefile.config > rm -f src/util/re.ml src/util/config.ml src/util/rc.ml src/util/lexlib.ml > src/util/mysexplib.ml src/util/json_parser.mli src/util/json_parser.ml > src/util/json_lexer.ml src/util/mlmpfr_wrapper.ml src/util/dynlink_wrapper.ml > src/parser/lexer.ml src/core/parser_tokens.mli src/core/parser_tokens.ml > src/parser/parser.mli src/parser/parser.ml src/parser/parser_messages.ml > src/driver/driver_parser.mli src/driver/driver_parser.ml > src/driver/driver_lexer.ml src/driver/sexp.ml src/session/compress.ml > src/session/xml.ml src/session/strategy_parser.ml src/util/re.ml > plugins/tptp/tptp_lexer.ml plugins/tptp/tptp_parser.ml > plugins/tptp/tptp_parser.mli plugins/python/py_lexer.ml > plugins/python/py_parser.ml plugins/python/py_parser.mli > plugins/microc/mc_lexer.ml plugins/microc/mc_parser.ml > plugins/microc/mc_parser.mli > plugins/cfg/cfg_lexer.ml plugins/cfg/cfg_parser.ml plugins/cfg/cfg_parser.mli > plugins/parser/dimacs.ml src/tools/why3wc.ml src/ide/gtkcompat.ml > src/tools/why3pp_sexp.ml src/why3doc/doc_lexer.ml src/trywhy3/json_base.ml > src/trywhy3/json_parser.ml src/trywhy3/json_lexer.ml > src/trywhy3/json_base.mli src/trywhy3/json_parser.mli > src/trywhy3/json_lexer.mli > rm -f src/*.a src/*.cma src/*.cmx src/*.cmi src/*.cmxa src/*.cmxs src/*.cmt > src/*.cmti src/*.o src/*.cmo src/*.annot src/*.dep src/*.conflicts; rm -f > src/util/*.a src/util/*.cma src/util/*.cmx src/util/*.cmi src/util/*.cmxa > src/util/*.cmxs src/util/*.cmt src/util/*.cmti src/util/*.o src/util/*.cmo > src/util/*.annot src/util/*.dep src/util/*.conflicts; rm -f src/core/*.a > src/core/*.cma src/core/*.cmx src/core/*.cmi src/core/*.cmxa src/core/*.cmxs > src/core/*.cmt src/core/*.cmti src/core/*.o src/core/*.cmo src/core/*.annot > src/core/*.dep src/core/*.conflicts; rm -f src/driver/*.a src/driver/*.cma > src/driver/*.cmx src/driver/*.cmi src/driver/*.cmxa src/driver/*.cmxs > src/driver/*.cmt src/driver/*.cmti src/driver/*.o src/driver/*.cmo > src/driver/*.annot src/driver/*.dep src/driver/*.conflicts; rm > -f src/mlw/*.a src/mlw/*.cma src/mlw/*.cmx src/mlw/*.cmi src/mlw/*.cmxa > src/mlw/*.cmxs src/mlw/*.cmt src/mlw/*.cmti src/mlw/*.o src/mlw/*.cmo > src/mlw/*.annot src/mlw/*.dep src/mlw/*.conflicts; rm -f src/extract/*.a > src/extract/*.cma src/extract/*.cmx src/extract/*.cmi src/extract/*.cmxa > src/extract/*.cmxs src/extract/*.cmt src/extract/*.cmti src/extract/*.o > src/extract/*.cmo src/extract/*.annot src/extract/*.dep > src/extract/*.conflicts; rm -f src/parser/*.a src/parser/*.cma > src/parser/*.cmx src/parser/*.cmi src/parser/*.cmxa src/parser/*.cmxs > src/parser/*.cmt src/parser/*.cmti src/parser/*.o src/parser/*.cmo > src/parser/*.annot src/parser/*.dep src/parser/*.conflicts; rm -f > src/transform/*.a src/transform/*.cma src/transform/*.cmx src/transform/*.cmi > src/transform/*.cmxa src/transform/*.cmxs > src/transform/*.cmt src/transform/*.cmti src/transform/*.o > src/transform/*.cmo src/transform/*.annot src/transform/*.dep > src/transform/*.conflicts; rm -f src/printer/*.a src/printer/*.cma > src/printer/*.cmx src/printer/*.cmi src/printer/*.cmxa src/printer/*.cmxs > src/printer/*.cmt src/printer/*.cmti src/printer/*.o src/printer/*.cmo > src/printer/*.annot src/printer/*.dep src/printer/*.conflicts; rm -f > src/session/*.a src/session/*.cma src/session/*.cmx src/session/*.cmi > src/session/*.cmxa src/session/*.cmxs src/session/*.cmt src/session/*.cmti > src/session/*.o src/session/*.cmo src/session/*.annot src/session/*.dep > src/session/*.conflicts; rm -f plugins/*.a plugins/*.cma plugins/*.cmx > plugins/*.cmi plugins/*.cmxa plugins/*.cmxs plugins/*.cmt plugins/*.cmti > plugins/*.o plugins/*.cmo plugins/*.annot > plugins/*.dep plugins/*.conflicts; rm -f plugins/parser/*.a > plugins/parser/*.cma plugins/parser/*.cmx plugins/parser/*.cmi > plugins/parser/*.cmxa plugins/parser/*.cmxs plugins/parser/*.cmt > plugins/parser/*.cmti plugins/parser/*.o plugins/parser/*.cmo > plugins/parser/*.annot plugins/parser/*.dep plugins/parser/*.conflicts; rm -f > plugins/printer/*.a plugins/printer/*.cma plugins/printer/*.cmx > plugins/printer/*.cmi plugins/printer/*.cmxa plugins/printer/*.cmxs > plugins/printer/*.cmt plugins/printer/*.cmti plugins/printer/*.o > plugins/printer/*.cmo plugins/printer/*.annot plugins/printer/*.dep > plugins/printer/*.conflicts; rm -f plugins/transform/*.a > plugins/transform/*.cma plugins/transform/*.cmx plugins/transform/*.cmi > plugins/transform/*.cmxa plugins/transform/*.cmxs plugins/transform/*.cmt > plugins/transform/*.cmti > plugins/transform/*.o plugins/transform/*.cmo plugins/transform/*.annot > plugins/transform/*.dep plugins/transform/*.conflicts; rm -f plugins/tptp/*.a > plugins/tptp/*.cma plugins/tptp/*.cmx plugins/tptp/*.cmi plugins/tptp/*.cmxa > plugins/tptp/*.cmxs plugins/tptp/*.cmt plugins/tptp/*.cmti plugins/tptp/*.o > plugins/tptp/*.cmo plugins/tptp/*.annot plugins/tptp/*.dep > plugins/tptp/*.conflicts; rm -f plugins/python/*.a plugins/python/*.cma > plugins/python/*.cmx plugins/python/*.cmi plugins/python/*.cmxa > plugins/python/*.cmxs plugins/python/*.cmt plugins/python/*.cmti > plugins/python/*.o plugins/python/*.cmo plugins/python/*.annot > plugins/python/*.dep plugins/python/*.conflicts; rm -f plugins/microc/*.a > plugins/microc/*.cma plugins/microc/*.cmx plugins/microc/*.cmi > plugins/microc/*.cmxa plugins/microc/*.cmxs > plugins/microc/*.cmt plugins/microc/*.cmti plugins/microc/*.o > plugins/microc/*.cmo plugins/microc/*.annot plugins/microc/*.dep > plugins/microc/*.conflicts; rm -f plugins/cfg/*.a plugins/cfg/*.cma > plugins/cfg/*.cmx plugins/cfg/*.cmi plugins/cfg/*.cmxa plugins/cfg/*.cmxs > plugins/cfg/*.cmt plugins/cfg/*.cmti plugins/cfg/*.o plugins/cfg/*.cmo > plugins/cfg/*.annot plugins/cfg/*.dep plugins/cfg/*.conflicts; rm -f > lib/plugins/*.a lib/plugins/*.cma lib/plugins/*.cmx lib/plugins/*.cmi > lib/plugins/*.cmxa lib/plugins/*.cmxs lib/plugins/*.cmt lib/plugins/*.cmti > lib/plugins/*.o lib/plugins/*.cmo lib/plugins/*.annot lib/plugins/*.dep > lib/plugins/*.conflicts; rm -f src/tools/*.a src/tools/*.cma src/tools/*.cmx > src/tools/*.cmi src/tools/*.cmxa src/tools/*.cmxs src/tools/*.cmt > src/tools/*.cmti src/tools/*.o > src/tools/*.cmo src/tools/*.annot src/tools/*.dep src/tools/*.conflicts; rm > -f src/ide/*.a src/ide/*.cma src/ide/*.cmx src/ide/*.cmi src/ide/*.cmxa > src/ide/*.cmxs src/ide/*.cmt src/ide/*.cmti src/ide/*.o src/ide/*.cmo > src/ide/*.annot src/ide/*.dep src/ide/*.conflicts; rm -f src/ide/*.a > src/ide/*.cma src/ide/*.cmx src/ide/*.cmi src/ide/*.cmxa src/ide/*.cmxs > src/ide/*.cmt src/ide/*.cmti src/ide/*.o src/ide/*.cmo src/ide/*.annot > src/ide/*.dep src/ide/*.conflicts; rm -f src/why3session/*.a > src/why3session/*.cma src/why3session/*.cmx src/why3session/*.cmi > src/why3session/*.cmxa src/why3session/*.cmxs src/why3session/*.cmt > src/why3session/*.cmti src/why3session/*.o src/why3session/*.cmo > src/why3session/*.annot src/why3session/*.dep src/why3session/*.conflicts; rm > -f src/isabelle-client/*.a src/isabelle-client/*.cma > src/isabelle-client/*.cmx src/isabelle-client/*.cmi > src/isabelle-client/*.cmxa src/isabelle-client/*.cmxs > src/isabelle-client/*.cmt src/isabelle-client/*.cmti src/isabelle-client/*.o > src/isabelle-client/*.cmo src/isabelle-client/*.annot > src/isabelle-client/*.dep src/isabelle-client/*.conflicts; rm -f > src/why3doc/*.a src/why3doc/*.cma src/why3doc/*.cmx src/why3doc/*.cmi > src/why3doc/*.cmxa src/why3doc/*.cmxs src/why3doc/*.cmt src/why3doc/*.cmti > src/why3doc/*.o src/why3doc/*.cmo src/why3doc/*.annot src/why3doc/*.dep > src/why3doc/*.conflicts; rm -f src/trywhy3/*.a src/trywhy3/*.cma > src/trywhy3/*.cmx src/trywhy3/*.cmi src/trywhy3/*.cmxa src/trywhy3/*.cmxs > src/trywhy3/*.cmt src/trywhy3/*.cmti src/trywhy3/*.o src/trywhy3/*.cmo > src/trywhy3/*.annot src/trywhy3/*.dep src/trywhy3/*.conflicts; > rm -f lib/why3/why3.a lib/why3/why3.cma lib/why3/why3.cmx lib/why3/why3.cmi > lib/why3/why3.cmxa lib/why3/why3.cmxs lib/why3/why3.cmt lib/why3/why3.cmti > lib/why3/why3.o lib/why3/why3.cmo lib/why3/why3.annot lib/why3/why3.dep > lib/why3/why3.conflicts; > rm -f config.status config.cache config.log \ > src/util/config.ml Makefile src/jessie/Makefile src/config.sh .merlin > src/jessie/.merlin lib/why3/META lib/coq/version lib/pvs/version > make[1]: Leaving directory '/<<PKGBUILDDIR>>' > dh_autoreconf_clean > dh_ocamlclean > dh_clean > dpkg-source -b . > dpkg-source: info: using source format '3.0 (quilt)' > dpkg-source: info: building why3 using existing ./why3_1.5.1.orig.tar.gz > dpkg-source: info: using patch list from debian/patches/series > dpkg-source: warning: ignoring deletion of file install-sh, use > --include-removal to override > dpkg-source: warning: ignoring deletion of file configure, use > --include-removal to override > dpkg-source: error: cannot represent change to doc/.doctrees/api.doctree: > binary file contents changed > dpkg-source: error: add doc/.doctrees/api.doctree in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to doc/.doctrees/changes.doctree: > binary file contents changed > dpkg-source: error: add doc/.doctrees/changes.doctree in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > doc/.doctrees/environment.pickle: binary file contents changed > dpkg-source: error: add doc/.doctrees/environment.pickle in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to doc/.doctrees/exec.doctree: > binary file contents changed > dpkg-source: error: add doc/.doctrees/exec.doctree in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > doc/.doctrees/foreword.doctree: binary file contents changed > dpkg-source: error: add doc/.doctrees/foreword.doctree in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > doc/.doctrees/genindex.doctree: binary file contents changed > dpkg-source: error: add doc/.doctrees/genindex.doctree in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to doc/.doctrees/index.doctree: > binary file contents changed > dpkg-source: error: add doc/.doctrees/index.doctree in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > doc/.doctrees/input_formats.doctree: binary file contents changed > dpkg-source: error: add doc/.doctrees/input_formats.doctree in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to doc/.doctrees/install.doctree: > binary file contents changed > dpkg-source: error: add doc/.doctrees/install.doctree in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to doc/.doctrees/itp.doctree: > binary file contents changed > dpkg-source: error: add doc/.doctrees/itp.doctree in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > doc/.doctrees/manpages.doctree: binary file contents changed > dpkg-source: error: add doc/.doctrees/manpages.doctree in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > doc/.doctrees/starting.doctree: binary file contents changed > dpkg-source: error: add doc/.doctrees/starting.doctree in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > doc/.doctrees/syntaxref.doctree: binary file contents changed > dpkg-source: error: add doc/.doctrees/syntaxref.doctree in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > doc/.doctrees/technical.doctree: binary file contents changed > dpkg-source: error: add doc/.doctrees/technical.doctree in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to doc/.doctrees/vcgen.doctree: > binary file contents changed > dpkg-source: error: add doc/.doctrees/vcgen.doctree in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to doc/.doctrees/whyml.doctree: > binary file contents changed > dpkg-source: error: add doc/.doctrees/whyml.doctree in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > doc/.doctrees/zebibliography.doctree: binary file contents changed > dpkg-source: error: add doc/.doctrees/zebibliography.doctree in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: error: cannot represent change to > doc/ext/__pycache__/why3.cpython-311.pyc: binary file contents changed > dpkg-source: error: add doc/ext/__pycache__/why3.cpython-311.pyc in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > 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/why3_1.5.1-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.