Bug#1046969: why3: Fails to build source after successful build

To: submit@bugs.debian.org
Subject: Bug#1046969: why3: Fails to build source after successful build
From: Lucas Nussbaum <lucas@debian.org>
Date: Sun, 13 Aug 2023 21:21:33 +0200
Message-id: <[🔎] 1691954493.394065.1285086.nullmailer@grub.nussbaum.fr>
Reply-to: Lucas Nussbaum <lucas@debian.org>, 1046969@bugs.debian.org
Source: why3
Version: 1.5.1-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 why3
> dpkg-buildpackage: info: source version 1.5.1-1
> dpkg-buildpackage: info: source distribution unstable
> dpkg-buildpackage: info: source changed by Ralf Treinen <treinen@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.
Reply to:
Prev by Date: Bug#1046963: ocaml-uucd: Fails to build source after successful build
Next by Date: Bug#1047026: ocaml-reins: Fails to build source after successful build
Previous by thread: Bug#1046963: ocaml-uucd: Fails to build source after successful build
Next by thread: Bug#1047026: ocaml-reins: Fails to build source after successful build
Index(es):
- Date
- Thread