Your message dated Mon, 12 Aug 2024 10:38:27 +0000
with message-id <e1sdsrx-002wbs...@fasolo.debian.org>
and subject line Bug#1046969: fixed in why3 1.7.2-1
has caused the Debian Bug report #1046969,
regarding why3: Fails to build source after successful build
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
1046969: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1046969
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
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.
--- End Message ---
--- Begin Message ---
Source: why3
Source-Version: 1.7.2-1
Done: Ralf Treinen <trei...@debian.org>
We believe that the bug you reported is fixed in the latest version of
why3, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 1046...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <trei...@debian.org> (supplier of updated why3 package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 12 Aug 2024 11:54:59 +0200
Source: why3
Architecture: source
Version: 1.7.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Ralf Treinen <trei...@debian.org>
Closes: 1046969
Changes:
why3 (1.7.2-1) unstable; urgency=medium
.
* New upstream release.
* debian/clean: add doc/.doctrees (closes: #1046969), remove cruft
* debian/watch: use release tags of INRIA's gitlab
* debian/rules: update url of external mathjax resources, which are
replaced by locally installed mathjax.
* The alt-ergo package is no longer in debian: drop it from Recommends,
and drop the corresponding as-installed test.
* Standards-Version 4.7.0 (no change)
Checksums-Sha1:
6a0c54f1346106b9cd57f88bc4d7a26b68933b1a 2639 why3_1.7.2-1.dsc
0d28c008f0427acc38af6a1f371dd85336dcdd55 6321645 why3_1.7.2.orig.tar.bz2
31a4cb5b6b33014d427a684c4cae593bf601b53f 18520 why3_1.7.2-1.debian.tar.xz
93cc58f4fe2ab4cb00812747d8ddc726defc93fe 16302 why3_1.7.2-1_source.buildinfo
Checksums-Sha256:
e075c0f6651a03c8637e954e7ea03d98bede080df9090ac3c1cc3ace83509e87 2639
why3_1.7.2-1.dsc
7598d0f8e740ce76a359fc0e6db21f3cf873aebe4fc80ce349d75aa21dd72305 6321645
why3_1.7.2.orig.tar.bz2
c4846e794570029460fdf85ec6800f88011c57e4af86b30e450dbac08f70b8bb 18520
why3_1.7.2-1.debian.tar.xz
5fe5b37603c2cc1c47ba653c0ce3e74d38c663c6bbb48c7d29f6ba5d7a359e3a 16302
why3_1.7.2-1_source.buildinfo
Files:
a97bfe3f52f202c250afd482469f7d67 2639 math optional why3_1.7.2-1.dsc
8db707cff5cc897d058011794985395b 6321645 math optional why3_1.7.2.orig.tar.bz2
43412abc32607f7e492ffc797cec5b37 18520 math optional why3_1.7.2-1.debian.tar.xz
a3697fd8b4e0798511ba451d7c1e9aa7 16302 math optional
why3_1.7.2-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAma54E0ACgkQdFxHZtTK
zf88BA//cxub10HwfM9HVIqzq5XTPjuOgPDzRpfPlyDGk8QxV7W1qCyA4N/60cma
uagw/BZkLGxQYSmxufJ9zpxz7Vu0uT/Tefm+LhS/ld37z7axPUwjtsLh8gVaXTx0
1IgUVq199tMf8kWmONX8QBl8crIZd3Aj37Ah5mIycQFllPZhYLGtRP7rMzOxw9l6
Ku8YOt1b7Rp8oWPNCF2Elyb1LuTPtThj9ogYvBYBKQPckuNnR8KMSQ/L+0oqWuU3
bUx1ajgKNbczQXHOu/lW+eV1+vz1iEYdMAAvPcji4W7VeCsMYd6SBYXoHJKSnAjM
tf2TQL1F8VrzDyQcUBLoC//FfakApyCodspXAhQD4gY4hh2aNr0BAnIhUvYXP7GI
ChX37V3lwB7IEeIyxi5RI9OpRUOBXsE/gstOFGGJlEZaj9Hl8K/3g6uLbpJA72Pm
KDtQF9TtEvetEJm3k+ZS+A9B+TTzPmjumC7FzMl0VDAHuiKp1c7eRs9x5+OnLdez
PyeJEjYfSBdfKsH5mLEH+4dJcegKz5tKIcmA4gBMnfUMEQXM4QHK8XRJ87XADy7S
HOJ80G6/dZH5Edhc86eGnrUwy0AIqXnkocc8Ke3phYc3g6Z/BRZkz7ng2XQL0GJw
6zKQgFG95SwJMGn0BR3fWkWsTSEGyTcvHwc/VFwf5FfNFDVL1kU=
=dgKj
-----END PGP SIGNATURE-----
pgpxQrSfMO5pA.pgp
Description: PGP signature
--- End Message ---
