[continued from previous message]
src/plugins/wp/Passive.cm* src/plugins/wp/Splitter.cm* src/plugins/wp/LogicBuiltins.cm* src/plugins/wp/Definitions.cm* src/plugins/wp/Cmath.cm* src/plugins/wp/Cint.cm* src/plugins/wp/Cfloat.cm* src/plugins/wp/Vset.cm* src/plugins/wp/Vlist.cm* src/
plugins/wp/Cstring.cm* src/plugins/wp/Cvalues.cm* src/plugins/wp/Letify.cm* src/plugins/wp/Cleaning.cm* src/plugins/wp/Mstate.cm* src/plugins/wp/Conditions.cm* src/plugins/wp/Filtering.cm* src/plugins/wp/Plang.cm* src/plugins/wp/Pcfg.cm* src/plugins/wp/
Pcond.cm* src/plugins/wp/CodeSemantics.cm* src/plugins/wp/LogicCompiler.cm* src/plugins/wp/LogicSemantics.cm* src/plugins/wp/LogicAssigns.cm* src/plugins/wp/Sigma.cm* src/plugins/wp/MemLoader.cm* src/plugins/wp/MemDebug.cm* src/plugins/wp/MemEmpty.cm*
src/plugins/wp/MemZeroAlias.cm* src/plugins/wp/MemVar.cm*
src/plugins/wp/MemMemory.cm* src/plugins/wp/MemTyped.cm* src/plugins/wp/MemRegion.cm* src/plugins/wp/MemVal.cm* src/plugins/wp/wpReached.cm* src/plugins/wp/wpRTE.cm* src/plugins/wp/wpTarget.cm* src/plugins/wp/CfgCompiler.cm* src/plugins/wp/
StmtSemantics.cm* src/plugins/wp/VCS.cm* src/plugins/wp/script.cm* src/plugins/wp/wpo.cm* src/plugins/wp/wpReport.cm* src/plugins/wp/Footprint.cm* src/plugins/wp/Tactical.cm* src/plugins/wp/Strategy.cm* src/plugins/wp/TacClear.cm* src/plugins/wp/TacSplit.
cm* src/plugins/wp/TacChoice.cm* src/plugins/wp/TacRange.cm* src/plugins/wp/TacInduction.cm* src/plugins/wp/TacArray.cm* src/plugins/wp/TacCompound.cm* src/plugins/wp/TacUnfold.cm* src/plugins/wp/TacHavoc.cm* src/plugins/wp/TacInstance.cm* src/plugins/wp/
TacLemma.cm* src/plugins/wp/TacFilter.cm* src/plugins/wp/TacCut.cm*
src/plugins/wp/WpTac.cm* src/plugins/wp/TacNormalForm.cm* src/plugins/wp/TacRewrite.cm* src/plugins/wp/TacBitwised.cm* src/plugins/wp/TacBitrange.cm* src/plugins/wp/TacBittest.cm* src/plugins/wp/TacModMask.cm* src/plugins/wp/TacShift.cm* src/plugins/wp/
TacSequence.cm* src/plugins/wp/TacCongruence.cm* src/plugins/wp/TacOverflow.cm* src/plugins/wp/Auto.cm* src/plugins/wp/ProofSession.cm* src/plugins/wp/ProofScript.cm* src/plugins/wp/ProofEngine.cm* src/plugins/wp/ProverTask.cm* src/plugins/wp/filter_
axioms.cm* src/plugins/wp/Cache.cm* src/plugins/wp/ProverWhy3.cm* src/plugins/wp/driver.cm* src/plugins/wp/prover.cm* src/plugins/wp/ProverSearch.cm* src/plugins/wp/ProverScript.cm* src/plugins/wp/Factory.cm* src/plugins/wp/cfgInit.cm* src/plugins/wp/
cfgAnnot.cm* src/plugins/wp/cfgInfos.cm* src/plugins/wp/cfgCalculus.cm*
src/plugins/wp/cfgDump.cm* src/plugins/wp/cfgWP.cm* src/plugins/wp/cfgGenerator.cm* src/plugins/wp/Generator.cm* src/plugins/wp/register.cm* src/plugins/wp/VC.cm* src/plugins/wp/GuiConfig.cm* src/plugins/wp/GuiList.cm* src/plugins/wp/GuiSequent.cm* src/
plugins/wp/GuiProver.cm* src/plugins/wp/GuiTactic.cm* src/plugins/wp/GuiProof.cm* src/plugins/wp/GuiComposer.cm* src/plugins/wp/GuiGoal.cm* src/plugins/wp/GuiSource.cm* src/plugins/wp/GuiPanel.cm* src/plugins/wp/GuiNavigator.cm*
rm -f src/plugins/wp/rformat.annot src/plugins/wp/wprop.annot src/plugins/wp/wp_parameters.annot src/plugins/wp/wp_error.annot src/plugins/wp/Why3Provers.annot src/plugins/wp/Context.annot src/plugins/wp/Warning.annot src/plugins/wp/dyncall.annot src/
plugins/wp/ctypes.annot src/plugins/wp/clabels.annot src/plugins/wp/AssignsCompleteness.annot src/plugins/wp/MemoryContext.annot src/plugins/wp/wpContext.annot src/plugins/wp/LogicUsage.annot src/plugins/wp/RefUsage.annot src/plugins/wp/Layout.annot src/
plugins/wp/Region.annot src/plugins/wp/RegionAnnot.annot src/plugins/wp/RegionAccess.annot src/plugins/wp/RegionDump.annot src/plugins/wp/RegionAnalysis.annot src/plugins/wp/normAtLabels.annot src/plugins/wp/wpPropId.annot src/plugins/wp/Lang.annot src/
plugins/wp/Repr.annot src/plugins/wp/Matrix.annot
src/plugins/wp/Passive.annot src/plugins/wp/Splitter.annot src/plugins/wp/LogicBuiltins.annot src/plugins/wp/Definitions.annot src/plugins/wp/Cmath.annot src/plugins/wp/Cint.annot src/plugins/wp/Cfloat.annot src/plugins/wp/Vset.annot src/plugins/wp/
Vlist.annot src/plugins/wp/Cstring.annot src/plugins/wp/Cvalues.annot src/plugins/wp/Letify.annot src/plugins/wp/Cleaning.annot src/plugins/wp/Mstate.annot src/plugins/wp/Conditions.annot src/plugins/wp/Filtering.annot src/plugins/wp/Plang.annot src/
plugins/wp/Pcfg.annot src/plugins/wp/Pcond.annot src/plugins/wp/CodeSemantics.annot src/plugins/wp/LogicCompiler.annot src/plugins/wp/LogicSemantics.annot src/plugins/wp/LogicAssigns.annot src/plugins/wp/Sigma.annot src/plugins/wp/MemLoader.annot src/
plugins/wp/MemDebug.annot src/plugins/wp/MemEmpty.annot
src/plugins/wp/MemZeroAlias.annot src/plugins/wp/MemVar.annot src/plugins/wp/MemMemory.annot src/plugins/wp/MemTyped.annot src/plugins/wp/MemRegion.annot src/plugins/wp/MemVal.annot src/plugins/wp/wpReached.annot src/plugins/wp/wpRTE.annot src/plugins/
wp/wpTarget.annot src/plugins/wp/CfgCompiler.annot src/plugins/wp/StmtSemantics.annot src/plugins/wp/VCS.annot src/plugins/wp/script.annot src/plugins/wp/wpo.annot src/plugins/wp/wpReport.annot src/plugins/wp/Footprint.annot src/plugins/wp/Tactical.annot
src/plugins/wp/Strategy.annot src/plugins/wp/TacClear.annot src/plugins/wp/TacSplit.annot src/plugins/wp/TacChoice.annot src/plugins/wp/TacRange.annot src/plugins/wp/TacInduction.annot src/plugins/wp/TacArray.annot src/plugins/wp/TacCompound.annot src/
plugins/wp/TacUnfold.annot src/plugins/wp/TacHavoc.annot
src/plugins/wp/TacInstance.annot src/plugins/wp/TacLemma.annot src/plugins/wp/TacFilter.annot src/plugins/wp/TacCut.annot src/plugins/wp/WpTac.annot src/plugins/wp/TacNormalForm.annot src/plugins/wp/TacRewrite.annot src/plugins/wp/TacBitwised.annot src/
plugins/wp/TacBitrange.annot src/plugins/wp/TacBittest.annot src/plugins/wp/TacModMask.annot src/plugins/wp/TacShift.annot src/plugins/wp/TacSequence.annot src/plugins/wp/TacCongruence.annot src/plugins/wp/TacOverflow.annot src/plugins/wp/Auto.annot src/
plugins/wp/ProofSession.annot src/plugins/wp/ProofScript.annot src/plugins/wp/ProofEngine.annot src/plugins/wp/ProverTask.annot src/plugins/wp/filter_axioms.annot src/plugins/wp/Cache.annot src/plugins/wp/ProverWhy3.annot src/plugins/wp/driver.annot src/
plugins/wp/prover.annot src/plugins/wp/ProverSearch.annot
src/plugins/wp/ProverScript.annot src/plugins/wp/Factory.annot src/plugins/wp/cfgInit.annot src/plugins/wp/cfgAnnot.annot src/plugins/wp/cfgInfos.annot src/plugins/wp/cfgCalculus.annot src/plugins/wp/cfgDump.annot src/plugins/wp/cfgWP.annot src/plugins/
wp/cfgGenerator.annot src/plugins/wp/Generator.annot src/plugins/wp/register.annot src/plugins/wp/VC.annot src/plugins/wp/GuiConfig.annot src/plugins/wp/GuiList.annot src/plugins/wp/GuiSequent.annot src/plugins/wp/GuiProver.annot src/plugins/wp/GuiTactic.
annot src/plugins/wp/GuiProof.annot src/plugins/wp/GuiComposer.annot src/plugins/wp/GuiGoal.annot src/plugins/wp/GuiSource.annot src/plugins/wp/GuiPanel.annot src/plugins/wp/GuiNavigator.annot
rm -f src/plugins/wp/rformat.o src/plugins/wp/wprop.o src/plugins/wp/wp_parameters.o src/plugins/wp/wp_error.o src/plugins/wp/Why3Provers.o src/plugins/wp/Context.o src/plugins/wp/Warning.o src/plugins/wp/dyncall.o src/plugins/wp/ctypes.o src/plugins/
wp/clabels.o src/plugins/wp/AssignsCompleteness.o src/plugins/wp/MemoryContext.o src/plugins/wp/wpContext.o src/plugins/wp/LogicUsage.o src/plugins/wp/RefUsage.o src/plugins/wp/Layout.o src/plugins/wp/Region.o src/plugins/wp/RegionAnnot.o src/plugins/wp/
RegionAccess.o src/plugins/wp/RegionDump.o src/plugins/wp/RegionAnalysis.o src/plugins/wp/normAtLabels.o src/plugins/wp/wpPropId.o src/plugins/wp/Lang.o src/plugins/wp/Repr.o src/plugins/wp/Matrix.o src/plugins/wp/Passive.o src/plugins/wp/Splitter.o src/
plugins/wp/LogicBuiltins.o src/plugins/wp/Definitions.o
src/plugins/wp/Cmath.o src/plugins/wp/Cint.o src/plugins/wp/Cfloat.o src/plugins/wp/Vset.o src/plugins/wp/Vlist.o src/plugins/wp/Cstring.o src/plugins/wp/Cvalues.o src/plugins/wp/Letify.o src/plugins/wp/Cleaning.o src/plugins/wp/Mstate.o src/plugins/wp/
Conditions.o src/plugins/wp/Filtering.o src/plugins/wp/Plang.o src/plugins/wp/Pcfg.o src/plugins/wp/Pcond.o src/plugins/wp/CodeSemantics.o src/plugins/wp/LogicCompiler.o src/plugins/wp/LogicSemantics.o src/plugins/wp/LogicAssigns.o src/plugins/wp/Sigma.o
src/plugins/wp/MemLoader.o src/plugins/wp/MemDebug.o src/plugins/wp/MemEmpty.o src/plugins/wp/MemZeroAlias.o src/plugins/wp/MemVar.o src/plugins/wp/MemMemory.o src/plugins/wp/MemTyped.o src/plugins/wp/MemRegion.o src/plugins/wp/MemVal.o src/plugins/wp/
wpReached.o src/plugins/wp/wpRTE.o src/plugins/wp/wpTarget.o
src/plugins/wp/CfgCompiler.o src/plugins/wp/StmtSemantics.o src/plugins/wp/VCS.o src/plugins/wp/script.o src/plugins/wp/wpo.o src/plugins/wp/wpReport.o src/plugins/wp/Footprint.o src/plugins/wp/Tactical.o src/plugins/wp/Strategy.o src/plugins/wp/
TacClear.o src/plugins/wp/TacSplit.o src/plugins/wp/TacChoice.o src/plugins/wp/TacRange.o src/plugins/wp/TacInduction.o src/plugins/wp/TacArray.o src/plugins/wp/TacCompound.o src/plugins/wp/TacUnfold.o src/plugins/wp/TacHavoc.o src/plugins/wp/TacInstance.
o src/plugins/wp/TacLemma.o src/plugins/wp/TacFilter.o src/plugins/wp/TacCut.o src/plugins/wp/WpTac.o src/plugins/wp/TacNormalForm.o src/plugins/wp/TacRewrite.o src/plugins/wp/TacBitwised.o src/plugins/wp/TacBitrange.o src/plugins/wp/TacBittest.o src/
plugins/wp/TacModMask.o src/plugins/wp/TacShift.o
src/plugins/wp/TacSequence.o src/plugins/wp/TacCongruence.o src/plugins/wp/TacOverflow.o src/plugins/wp/Auto.o src/plugins/wp/ProofSession.o src/plugins/wp/ProofScript.o src/plugins/wp/ProofEngine.o src/plugins/wp/ProverTask.o src/plugins/wp/filter_
axioms.o src/plugins/wp/Cache.o src/plugins/wp/ProverWhy3.o src/plugins/wp/driver.o src/plugins/wp/prover.o src/plugins/wp/ProverSearch.o src/plugins/wp/ProverScript.o src/plugins/wp/Factory.o src/plugins/wp/cfgInit.o src/plugins/wp/cfgAnnot.o src/
plugins/wp/cfgInfos.o src/plugins/wp/cfgCalculus.o src/plugins/wp/cfgDump.o src/plugins/wp/cfgWP.o src/plugins/wp/cfgGenerator.o src/plugins/wp/Generator.o src/plugins/wp/register.o src/plugins/wp/VC.o src/plugins/wp/GuiConfig.o src/plugins/wp/GuiList.o
src/plugins/wp/GuiSequent.o src/plugins/wp/GuiProver.o
src/plugins/wp/GuiTactic.o src/plugins/wp/GuiProof.o src/plugins/wp/GuiComposer.o src/plugins/wp/GuiGoal.o src/plugins/wp/GuiSource.o src/plugins/wp/GuiPanel.o src/plugins/wp/GuiNavigator.o
rm -f src/plugins/wp/*~ src/plugins/wp/*.cm* src/plugins/wp/*.o src/plugins/wp/*.annot
rm -f
rm -f -f src/plugins/wp/Wp.check_mli_exists
rm -f tests/*/*.byte tests/*/*.opt tests/*/*.cm* \
tests/dynamic/.cm* tests/*/*~ tests/*/#*
rm -f tests/*/result/*.*
rm -f frama_c_journal*
rm -f *.log
rm -f /<<PKGBUILDDIR>>/lib/plugins/*.mli /<<PKGBUILDDIR>>/lib/plugins/*.cm* /<<PKGBUILDDIR>>/lib/plugins/*.o /<<PKGBUILDDIR>>/lib/plugins/META.*
rm -f /<<PKGBUILDDIR>>/lib/plugins/top/*.mli /<<PKGBUILDDIR>>/lib/plugins/top/*.cm* /<<PKGBUILDDIR>>/lib/plugins/top/*.o /<<PKGBUILDDIR>>/lib/plugins/top/*.a
rm -f /<<PKGBUILDDIR>>/lib/plugins/gui/*.mli /<<PKGBUILDDIR>>/lib/plugins/gui/*.cm* /<<PKGBUILDDIR>>/lib/plugins/gui/*.o /<<PKGBUILDDIR>>/lib/plugins/gui/*.a
rm -f lib/*.cm* lib/*.o lib/fc/*.cm* lib/fc/*.o lib/gui/*.cm* lib/*.cm*
for d in . ptests /<<PKGBUILDDIR>>/lib/plugins src/plugins/pdg_types src/plugins/value_types src/libraries/stdlib src/libraries/utils src/libraries/project src/libraries/datatype src/kernel_internals/parsing src/kernel_internals/typing src/kernel_
internals/runtime src/kernel_services/parsetree src/kernel_services/ast_data src/kernel_services/ast_queries src/kernel_services/ast_printing src/kernel_services/ast_building src/kernel_services/cmdline_parameters src/kernel_services/plugin_entry_points
src/kernel_services/abstract_interp src/kernel_services/visitors src/kernel_services/analysis src/kernel_services/ast_transformations src/plugins/gui src/plugins/gui share; do \
rm -f $d/*.cm* $d/*.o $d/*.a $d/*.annot $d/*~ $d/*.output \
$d/*.annot $d/\#*; \
done
rm -f src/kernel_internals/parsing/clexer.ml src/kernel_internals/parsing/cparser.ml src/kernel_internals/parsing/cparser.mli src/kernel_internals/parsing/logic_lexer.ml src/kernel_internals/parsing/logic_parser.ml src/kernel_internals/parsing/logic_
parser.mli src/kernel_internals/parsing/logic_preprocess.ml src/plugins/gui/GSourceView.ml src/plugins/gui/GSourceView.mli src/plugins/gui/dgraph_helper.ml src/plugins/gui/gtk_compat.ml src/plugins/gui/gtk_compat.ml src/kernel_internals/runtime/fc_config.
ml src/libraries/utils/json.ml src/libraries/stdlib/transitioning.ml lib/fc/META.frama-c share/frama-c.rc ptests/ptests_config.ml tests/ptests_config tests/spec/preprocess_dos.c
rm -f bin/toplevel.byte bin/viewer.byte \
bin/ptests.byte bin/*.opt bin/toplevel.top
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
rm -f -rf lib .depend
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_ocamlclean
dh_clean
dpkg-source -b .
dpkg-source: info: using source format '3.0 (quilt)'
dpkg-source: info: building frama-c using existing ./frama-c_20220511-manganese.orig.tar.gz
dpkg-source: info: using patch list from debian/patches/series
dpkg-source: warning: ignoring deletion of directory lib
dpkg-source: warning: ignoring deletion of directory lib/gui
dpkg-source: warning: ignoring deletion of directory lib/plugins
dpkg-source: info: local changes detected, the modified files are:
frama-c-20220511-manganese/share/Makefile.dynamic_config
frama-c-20220511-manganese/src/plugins/aorai/Makefile
frama-c-20220511-manganese/src/plugins/aorai/aorai_eva_analysis.ml
frama-c-20220511-manganese/src/plugins/aorai/ltllexer.ml
frama-c-20220511-manganese/src/plugins/aorai/ltlparser.ml
frama-c-20220511-manganese/src/plugins/aorai/ltlparser.mli
frama-c-20220511-manganese/src/plugins/aorai/ltlparser.output
frama-c-20220511-manganese/src/plugins/aorai/promelalexer.ml
frama-c-20220511-manganese/src/plugins/aorai/promelalexer_withexps.ml
frama-c-20220511-manganese/src/plugins/aorai/promelaparser.ml
frama-c-20220511-manganese/src/plugins/aorai/promelaparser.mli
frama-c-20220511-manganese/src/plugins/aorai/promelaparser.output
frama-c-20220511-manganese/src/plugins/aorai/promelaparser_withexps.ml
frama-c-20220511-manganese/src/plugins/aorai/promelaparser_withexps.mli
frama-c-20220511-manganese/src/plugins/aorai/promelaparser_withexps.output
frama-c-20220511-manganese/src/plugins/aorai/tests/ptests_config
frama-c-20220511-manganese/src/plugins/aorai/tests/test_config_prove
frama-c-20220511-manganese/src/plugins/aorai/yalexer.ml
frama-c-20220511-manganese/src/plugins/aorai/yaparser.ml
frama-c-20220511-manganese/src/plugins/aorai/yaparser.mli
frama-c-20220511-manganese/src/plugins/aorai/yaparser.output
frama-c-20220511-manganese/src/plugins/dive/Makefile
frama-c-20220511-manganese/src/plugins/e-acsl/Makefile
frama-c-20220511-manganese/src/plugins/e-acsl/doc/doxygen/doxygen.cfg
frama-c-20220511-manganese/src/plugins/e-acsl/src/local_config.ml
frama-c-20220511-manganese/src/plugins/e-acsl/tests/ptests_config
frama-c-20220511-manganese/src/plugins/instantiate/Makefile
frama-c-20220511-manganese/src/plugins/instantiate/tests/ptests_config
frama-c-20220511-manganese/src/plugins/loop_analysis/Makefile
frama-c-20220511-manganese/src/plugins/markdown-report/Makefile
frama-c-20220511-manganese/src/plugins/nonterm/Makefile
frama-c-20220511-manganese/src/plugins/nonterm/tests/ptests_config
frama-c-20220511-manganese/src/plugins/obfuscator/Makefile
frama-c-20220511-manganese/src/plugins/report/Makefile
frama-c-20220511-manganese/src/plugins/report/tests/ptests_config
frama-c-20220511-manganese/src/plugins/security_slicing/Makefile
frama-c-20220511-manganese/src/plugins/server/Makefile
frama-c-20220511-manganese/src/plugins/server/Server.mli
frama-c-20220511-manganese/src/plugins/studia/Makefile
frama-c-20220511-manganese/src/plugins/value/Eva.mli
frama-c-20220511-manganese/src/plugins/variadic/Makefile
frama-c-20220511-manganese/src/plugins/variadic/tests/ptests_config
frama-c-20220511-manganese/src/plugins/wp/Makefile
frama-c-20220511-manganese/src/plugins/wp/driver.ml
frama-c-20220511-manganese/src/plugins/wp/rformat.ml
frama-c-20220511-manganese/src/plugins/wp/script.ml
frama-c-20220511-manganese/src/plugins/wp/tests/ptests_config
dpkg-source: error: aborting due to unexpected upstream changes, see /tmp/frama-c_20220511-manganese-4.diff.QcX40D
dpkg-source: info: Hint: make sure the version in debian/changelog matches the unpacked source tree
dpkg-source: info: you can integrate the local changes with dpkg-source --commit
dpkg-buildpackage: error: dpkg-source -b . subprocess returned exit status 2
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/frama-c_20220511-manganese-4_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.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)