>>> clingo: Building community/clingo 5.8.0-r0 (using abuild 3.16.0_rc4-r0) started Mon, 03 Nov 2025 14:30:20 +0000 >>> clingo: Validating /home/buildozer/aports/community/clingo/APKBUILD... >>> clingo: Analyzing dependencies... >>> clingo: Installing for build: build-base !clasp python3-dev cmake samurai ( 1/15) Installing gdbm (1.26-r0) ( 2/15) Installing xz-libs (5.8.1-r0) ( 3/15) Installing mpdecimal (4.0.1-r0) ( 4/15) Installing libpanelw (6.5_p20251010-r0) ( 5/15) Installing python3 (3.12.12-r0) ( 6/15) Installing python3-pycache-pyc0 (3.12.12-r0) ( 7/15) Installing pyc (3.12.12-r0) ( 8/15) Installing python3-pyc (3.12.12-r0) ( 9/15) Installing python3-dev (3.12.12-r0) (10/15) Installing libarchive (3.8.2-r0) (11/15) Installing rhash-libs (1.4.6-r0) (12/15) Installing libuv (1.51.0-r0) (13/15) Installing cmake (4.1.2-r0) (14/15) Installing samurai (1.2-r7) (15/15) Installing .makedepends-clingo (20251103.143026) busybox-1.37.0-r24.trigger: Executing script... OK: 487 MiB in 166 packages >>> clingo: Cleaning up srcdir >>> clingo: Cleaning up pkgdir >>> clingo: Cleaning up tmpdir >>> clingo: Fetching https://distfiles.alpinelinux.org/distfiles/v3.23/clingo-5.8.0.tar.gz Connecting to distfiles.alpinelinux.org (172.105.82.32:443) saving to '/var/cache/distfiles/v3.23/clingo-5.8.0.tar.gz.part' clingo-5.8.0.tar.gz. 7% |** | 335k 0:00:12 ETA clingo-5.8.0.tar.gz. 100% |********************************| 4391k 0:00:00 ETA '/var/cache/distfiles/v3.23/clingo-5.8.0.tar.gz.part' saved /var/cache/distfiles/v3.23/clingo-5.8.0.tar.gz: OK >>> clingo: Fetching https://distfiles.alpinelinux.org/distfiles/v3.23/clingo-5.8.0.tar.gz /var/cache/distfiles/v3.23/clingo-5.8.0.tar.gz: OK >>> clingo: Unpacking /var/cache/distfiles/v3.23/clingo-5.8.0.tar.gz... -- The C compiler identification is GNU 15.2.0 -- The CXX compiler identification is GNU 15.2.0 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/cc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Found Python: /usr/bin/python3.12 (found suitable version "3.12.12", minimum required is "3.6") found components: Interpreter Development Development.Module Development.Embed -- Could NOT find Lua (missing: LUA_LIBRARIES LUA_INCLUDE_DIR) (Required is at least version "5.0") -- Could NOT find BISON (missing: BISON_EXECUTABLE) (Required is at least version "2.5") -- Could NOT find RE2C (missing: RE2C_EXECUTABLE) (Required is at least version "0.101") -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success -- Found Threads: TRUE -- Performing Test CLINGO_USE_VERSION_SCRIPT -- Performing Test CLINGO_USE_VERSION_SCRIPT - Success -- Performing Test CLASP_HAS_WORKING_LIBATOMIC -- Performing Test CLASP_HAS_WORKING_LIBATOMIC - Success -- Potassco is not installed - using local copy -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) -- Configuring done (1.0s) -- Generating done (0.0s) -- Build files have been written to: /home/buildozer/aports/community/clingo/src/clingo-5.8.0/build [1/103] Building C object app/pyclingo/CMakeFiles/pyclingo.dir/_clingo.c.o [2/103] Building CXX object app/clingo/CMakeFiles/clingo.dir/main.cc.o [3/103] Building CXX object app/gringo/CMakeFiles/gringo.dir/main.cc.o [4/103] Building CXX object app/reify/CMakeFiles/reify.dir/main.cc.o [5/103] Building C object libpyclingo/CMakeFiles/libpyclingo.dir/pyclingo.c.o [6/103] Building C object libpyclingo/CMakeFiles/libpyclingo.dir/_clingo.c.o [7/103] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/scripts.cc.o [8/103] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/incmode.cc.o [9/103] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/gringo_options.cc.o [10/103] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/gringo_app.cc.o [11/103] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/control.cc.o [12/103] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/clingocontrol.cc.o [13/103] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/clingo_app.cc.o [14/103] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/astv2_unpool.cc.o [15/103] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/astv2_str.cc.o [16/103] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/astv2_parse.cc.o [17/103] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/astv2_build.cc.o [18/103] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/astv2.cc.o [19/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/theory.cc.o [20/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/statements.cc.o [21/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/statement.cc.o [22/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/output.cc.o [23/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/literals.cc.o [24/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/literal.cc.o [25/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/aggregates.cc.o [26/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/nongroundgrammar/grammar.cc.o [27/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/groundtermgrammar/grammar.cc.o [28/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/theory.cc.o [29/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/statement.cc.o [30/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/programbuilder.cc.o [31/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/program.cc.o [32/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/nongroundparser.cc.o [33/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/literals.cc.o [34/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/literal.cc.o [35/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/groundtermparser.cc.o [36/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/aggregates.cc.o [37/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/aggregate.cc.o [38/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/statements.cc.o [39/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/program.cc.o [40/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/literals.cc.o [41/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/literal.cc.o [42/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o [43/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/terms.cc.o [44/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/term.cc.o [45/103] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/symbol.cc.o [46/103] Building CXX object libreify/CMakeFiles/libreify.dir/src/program.cc.o [47/103] Building CXX object clasp/app/CMakeFiles/clasp.dir/main.cpp.o [48/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o [49/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o [50/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o [51/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/timer.cpp.o [52/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/statistics.cpp.o [53/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solver_types.cpp.o [54/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o [55/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solver.cpp.o [56/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o [57/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/shared_context.cpp.o [58/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/satelite.cpp.o [59/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/program_builder.cpp.o [60/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/parser.cpp.o [61/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o [62/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o [63/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/lookahead.cpp.o [64/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o [65/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/logic_program.cpp.o [66/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/heuristics.cpp.o [67/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/enumerator.cpp.o [68/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o [69/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/constraint.cpp.o [70/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clingo.cpp.o [71/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clause.cpp.o [72/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_output.cpp.o [73/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_options.cpp.o [74/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o [75/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_app.cpp.o [76/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o [77/103] Building CXX object clasp/src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o [78/103] Building CXX object clasp/libpotassco/app/CMakeFiles/lpconvert.dir/lpconvert.cpp.o [79/103] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o [80/103] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o [81/103] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o [82/103] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o [83/103] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o [84/103] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o [85/103] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o [86/103] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o [87/103] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o [88/103] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o [89/103] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o [90/103] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o /home/buildozer/aports/community/clingo/src/clingo-5.8.0/clasp/src/statistics.cpp: In function 'void Clasp::ClaspStatistics::Impl::destroyIfWritable(std::unordered_set::iterator)': /home/buildozer/aports/community/clingo/src/clingo-5.8.0/clasp/src/statistics.cpp:154:14: note: parameter passing for argument of type 'std::unordered_set::iterator' {aka 'std::_Hashtable, std::__detail::_Identity, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::iterator'} changed in GCC 7.1 154 | void destroyIfWritable(KeySet::iterator it) { | ^~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/15.2.0/bits/unordered_map.h:33, from /usr/include/c++/15.2.0/unordered_map:43, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/clasp/src/statistics.cpp:29: /usr/include/c++/15.2.0/bits/hashtable.h: In member function 'std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::iterator std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::erase(const_iterator) [with _Key = long long unsigned int; _Value = long long unsigned int; _Alloc = std::allocator; _ExtractKey = std::__detail::_Identity; _Equal = std::equal_to; _Hash = std::hash; _RangeHash = std::__detail::_Mod_range_hashing; _Unused = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits]': /usr/include/c++/15.2.0/bits/hashtable.h:2553:5: note: parameter passing for argument of type 'std::_Hashtable, std::__detail::_Identity, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator' changed in GCC 7.1 2553 | _Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2554 | _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>:: | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In member function 'std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::iterator std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::erase(iterator) [with _Key = long long unsigned int; _Value = long long unsigned int; _Alloc = std::allocator; _ExtractKey = std::__detail::_Identity; _Equal = std::equal_to; _Hash = std::hash; _RangeHash = std::__detail::_Mod_range_hashing; _Unused = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits]', inlined from 'std::unordered_set<_Value, _Hash, _Pred, _Alloc>::iterator std::unordered_set<_Value, _Hash, _Pred, _Alloc>::erase(iterator) [with _Value = long long unsigned int; _Hash = std::hash; _Pred = std::equal_to; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/unordered_set.h:600:26, inlined from 'bool Clasp::ClaspStatistics::Impl::remove(const Clasp::StatisticObject&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/clasp/src/statistics.cpp:190:18, inlined from 'bool Clasp::ClaspStatistics::removeStat(const Clasp::StatisticObject&, bool)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/clasp/src/statistics.cpp:318:26: /usr/include/c++/15.2.0/bits/hashtable.h:1158:21: note: parameter passing for argument of type 'std::_Hashtable, std::__detail::_Identity, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator' changed in GCC 7.1 1158 | { return erase(const_iterator(__it)); } | ~~~~~^~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/15.2.0/vector:68, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/symbol.hh:40, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/backend.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libclingo/clingo/control.hh:29, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libclingo/clingo/incmode.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libclingo/src/incmode.cc:25: /usr/include/c++/15.2.0/bits/stl_vector.h: In constructor 'std::vector<_Tp, _Alloc>::vector(std::initializer_list<_Tp>, const allocator_type&) [with _Tp = Gringo::Symbol; _Alloc = std::allocator]': /usr/include/c++/15.2.0/bits/stl_vector.h:708:7: note: parameter passing for argument of type 'std::initializer_list' changed in GCC 7.1 708 | vector(initializer_list __l, | ^~~~~~ /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libclingo/src/incmode.cc: In member function 'void Gringo::{anonymous}::Incmode::run()': /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libclingo/src/incmode.cc:88:28: note: parameter passing for argument of type 'std::initializer_list' changed in GCC 7.1 88 | parts.push_back({"check", {Symbol::createNum(step)}}); | ~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libclingo/src/incmode.cc:90:54: note: parameter passing for argument of type 'std::initializer_list' changed in GCC 7.1 90 | ctl_.assignExternal(Symbol::createFun("query", {Symbol::createNum(step - 1)}), | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libclingo/src/incmode.cc:92:32: note: parameter passing for argument of type 'std::initializer_list' changed in GCC 7.1 92 | parts.push_back({"step", {Symbol::createNum(step)}}); | ~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libclingo/src/incmode.cc:97:50: note: parameter passing for argument of type 'std::initializer_list' changed in GCC 7.1 97 | ctl_.assignExternal(Symbol::createFun("query", {Symbol::createNum(step)}), Potassco::Value_t::True); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/15.2.0/bits/unordered_map.h:33, from /usr/include/c++/15.2.0/unordered_map:43, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/clasp/src/clingo.cpp:28: /usr/include/c++/15.2.0/bits/hashtable.h: In member function 'std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::iterator std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::erase(const_iterator) [with _Key = int; _Value = std::pair; _Alloc = std::allocator >; _ExtractKey = std::__detail::_Select1st; _Equal = std::equal_to; _Hash = std::hash; _RangeHash = std::__detail::_Mod_range_hashing; _Unused = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits]': /usr/include/c++/15.2.0/bits/hashtable.h:2553:5: note: parameter passing for argument of type 'std::_Hashtable, std::allocator >, std::__detail::_Select1st, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator' changed in GCC 7.1 2553 | _Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2554 | _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>:: | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In member function 'std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::iterator std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::erase(iterator) [with _Key = int; _Value = std::pair; _Alloc = std::allocator >; _ExtractKey = std::__detail::_Select1st; _Equal = std::equal_to; _Hash = std::hash; _RangeHash = std::__detail::_Mod_range_hashing; _Unused = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits]', inlined from 'std::unordered_map<_Key, _Tp, _Hash, _Pred, _Alloc>::iterator std::unordered_map<_Key, _Tp, _Hash, _Pred, _Alloc>::erase(iterator) [with _Key = int; _Tp = long long unsigned int; _Hash = std::hash; _Pred = std::equal_to; _Alloc = std::allocator >]' at /usr/include/c++/15.2.0/bits/unordered_map.h:817:26, inlined from 'void Clasp::ClingoPropagatorInit::History::add(const Clasp::ClingoPropagatorInit::Change&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/clasp/src/clingo.cpp:420:10, inlined from 'virtual void Clasp::ClingoPropagatorInit::unfreeze(Clasp::SharedContext&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/clasp/src/clingo.cpp:452:17: /usr/include/c++/15.2.0/bits/hashtable.h:1158:21: note: parameter passing for argument of type 'std::_Hashtable, std::allocator >, std::__detail::_Select1st, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator' changed in GCC 7.1 1158 | { return erase(const_iterator(__it)); } | ~~~~~^~~~~~~~~~~~~~~~~~~~~~ [91/103] Linking CXX static library lib/libpotassco.a [92/103] Linking CXX static library lib/libreify.a [93/103] Linking CXX executable bin/lpconvert [94/103] Linking CXX executable bin/reify In file included from /usr/include/c++/15.2.0/bits/stl_algo.h:61, from /usr/include/c++/15.2.0/algorithm:63, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/domain.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/aggregates.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/aggregates.cc:25: /usr/include/c++/15.2.0/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Distance = int; _Tp = Gringo::Output::LiteralId; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_heap.h:224:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 224 | __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex, | ^~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h: In function 'void std::__unguarded_linear_insert(_RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Val_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_algo.h:1751:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1751 | __unguarded_linear_insert(_RandomAccessIterator __last, | ^~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_algo.h:1771:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1771 | __insertion_sort(_RandomAccessIterator __first, | ^~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h:1771:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 In file included from /usr/include/c++/15.2.0/algorithm:62: /usr/include/c++/15.2.0/bits/stl_algobase.h: In function '_OI std::copy(_II, _II, _OI) [with _II = const Gringo::Output::LiteralId*; _OI = __gnu_cxx::__normal_iterator >]': /usr/include/c++/15.2.0/bits/stl_algobase.h:633:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 633 | copy(_II __first, _II __last, _OI __result) | ^~~~ In file included from /usr/include/c++/15.2.0/deque:67, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/domain.hh:30: /usr/include/c++/15.2.0/bits/stl_uninitialized.h: In function '_ForwardIterator std::__do_uninit_copy(_InputIterator, _Sentinel, _ForwardIterator) [with _InputIterator = move_iterator; _Sentinel = move_iterator; _ForwardIterator = Gringo::Output::LiteralId*]': /usr/include/c++/15.2.0/bits/stl_uninitialized.h:140:5: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 140 | __do_uninit_copy(_InputIterator __first, _Sentinel __last, | ^~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_uninitialized.h:140:5: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 /usr/include/c++/15.2.0/bits/stl_heap.h: In function 'void std::__pop_heap(_RandomAccessIterator, _RandomAccessIterator, _RandomAccessIterator, _Compare&) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_heap.h:254:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 254 | __pop_heap(_RandomAccessIterator __first, _RandomAccessIterator __last, | ^~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_heap.h:254:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/15.2.0/bits/stl_heap.h:254:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/15.2.0/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_algo.h:1877:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1877 | __introsort_loop(_RandomAccessIterator __first, | ^~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h:1877:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 In function 'void std::__sort_heap(_RandomAccessIterator, _RandomAccessIterator, _Compare&) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]', inlined from 'void std::__partial_sort(_RandomAccessIterator, _RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]' at /usr/include/c++/15.2.0/bits/stl_algo.h:1870:23, inlined from 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]' at /usr/include/c++/15.2.0/bits/stl_algo.h:1885:27: /usr/include/c++/15.2.0/bits/stl_heap.h:425:26: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 425 | std::__pop_heap(__first, __last, __last, __comp); | ~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_algo.h:1891:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1891 | std::__introsort_loop(__cut, __last, __depth_limit, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In function 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]', inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator >; _Compare = less]' at /usr/include/c++/15.2.0/bits/stl_algo.h:4874:18, inlined from 'void Gringo::sort_unique(T&, Less) [with T = std::vector; Less = std::less]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:263:14, inlined from 'void Gringo::sort_unique(T&) [with T = std::vector]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:270:16, inlined from 'Gringo::Output::ClauseId Gringo::Output::DomainData::clause(Gringo::Output::LitVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/literals.hh:923:20: /usr/include/c++/15.2.0/bits/stl_algo.h:1906:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1906 | std::__introsort_loop(__first, __last, | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~ 1907 | std::__lg(__last - __first) * 2, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 1908 | __comp); | ~~~~~~~ In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]' at /usr/include/c++/15.2.0/bits/stl_algo.h:1909:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator >; _Compare = less]' at /usr/include/c++/15.2.0/bits/stl_algo.h:4874:18, inlined from 'void Gringo::sort_unique(T&, Less) [with T = std::vector; Less = std::less]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:263:14, inlined from 'void Gringo::sort_unique(T&) [with T = std::vector]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:270:16, inlined from 'Gringo::Output::ClauseId Gringo::Output::DomainData::clause(Gringo::Output::LitVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/literals.hh:923:20: /usr/include/c++/15.2.0/bits/stl_algo.h:1818:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1818 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h:1823:30: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1823 | std::__insertion_sort(__first, __last, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Output::LiteralId*]', inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _Sentinel, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _Sentinel = move_iterator; _ForwardIterator = Gringo::Output::LiteralId*; _Tp = Gringo::Output::LiteralId]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:637:37, inlined from '_ForwardIterator std::__uninitialized_move_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Output::LiteralId*; _ForwardIterator = Gringo::Output::LiteralId*; _Allocator = allocator]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:649:41, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = const Gringo::Output::LiteralId*; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/vector.tcc:920:34, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = const Gringo::Output::LiteralId*; = void; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/stl_vector.h:1621:19, inlined from 'std::pair, bool> Gringo::array_set::Impl::insert(const Gringo::array_set::key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:204:26, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:141:42, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:139:33, inlined from 'Gringo::Output::ClauseId Gringo::Output::DomainData::clause(Gringo::Output::LitVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/literals.hh:924:31: /usr/include/c++/15.2.0/bits/stl_uninitialized.h:303:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 303 | return std::__do_uninit_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Output::LiteralId*]', inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _Sentinel, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _Sentinel = move_iterator; _ForwardIterator = Gringo::Output::LiteralId*; _Tp = Gringo::Output::LiteralId]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:637:37, inlined from '_ForwardIterator std::__uninitialized_move_if_noexcept_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Output::LiteralId*; _ForwardIterator = Gringo::Output::LiteralId*; _Allocator = allocator]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:664:2, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = const Gringo::Output::LiteralId*; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/vector.tcc:950:9, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = const Gringo::Output::LiteralId*; = void; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/stl_vector.h:1621:19, inlined from 'std::pair, bool> Gringo::array_set::Impl::insert(const Gringo::array_set::key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:204:26, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:141:42, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:139:33, inlined from 'Gringo::Output::ClauseId Gringo::Output::DomainData::clause(Gringo::Output::LitVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/literals.hh:924:31: /usr/include/c++/15.2.0/bits/stl_uninitialized.h:303:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 303 | return std::__do_uninit_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Output::LiteralId*]', inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _Sentinel, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _Sentinel = move_iterator; _ForwardIterator = Gringo::Output::LiteralId*; _Tp = Gringo::Output::LiteralId]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:637:37, inlined from '_ForwardIterator std::__uninitialized_move_if_noexcept_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Output::LiteralId*; _ForwardIterator = Gringo::Output::LiteralId*; _Allocator = allocator]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:664:2, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = const Gringo::Output::LiteralId*; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/vector.tcc:958:9, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = const Gringo::Output::LiteralId*; = void; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/stl_vector.h:1621:19, inlined from 'std::pair, bool> Gringo::array_set::Impl::insert(const Gringo::array_set::key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:204:26, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:141:42, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:139:33, inlined from 'Gringo::Output::ClauseId Gringo::Output::DomainData::clause(Gringo::Output::LitVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/literals.hh:924:31: /usr/include/c++/15.2.0/bits/stl_uninitialized.h:303:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 303 | return std::__do_uninit_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/15.2.0/string:53, from /usr/include/c++/15.2.0/bits/locale_classes.h:42, from /usr/include/c++/15.2.0/bits/ios_base.h:43, from /usr/include/c++/15.2.0/ios:46, from /usr/include/c++/15.2.0/istream:42, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/clasp/clasp/parser.h:31, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libclingo/src/clingo_app.cc:25: /usr/include/c++/15.2.0/bits/stl_algobase.h: In function '_OI std::copy(_II, _II, _OI) [with _II = const Gringo::Symbol*; _OI = __gnu_cxx::__normal_iterator >]': /usr/include/c++/15.2.0/bits/stl_algobase.h:633:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 633 | copy(_II __first, _II __last, _OI __result) | ^~~~ /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/output.cc: In lambda function: /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/output.cc:469:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator > >' changed in GCC 7.1 469 | auto rule = [&](auto it, auto jt) { | ^ /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/output.cc:469:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator > >' changed in GCC 7.1 /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/output.cc: In member function 'void Gringo::Output::OutputBase::endGround(Gringo::Logger&)': /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/output.cc:480:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator > >' changed in GCC 7.1 480 | rule(jt, it); | ~~~~^~~~~~~~ /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/output.cc:486:21: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator > >' changed in GCC 7.1 486 | rule(it, jt); | ~~~~^~~~~~~~ [95/103] Linking CXX static library lib/libclasp.a [96/103] Linking CXX executable bin/clasp In file included from /usr/include/c++/15.2.0/bits/stl_algo.h:61, from /usr/include/c++/15.2.0/algorithm:63, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/domain.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/aggregates.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/statements.cc:26: /usr/include/c++/15.2.0/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Distance = int; _Tp = Gringo::Output::LiteralId; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_heap.h:224:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 224 | __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex, | ^~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h: In function 'void std::__unguarded_linear_insert(_RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Val_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_algo.h:1751:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1751 | __unguarded_linear_insert(_RandomAccessIterator __last, | ^~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_algo.h:1771:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1771 | __insertion_sort(_RandomAccessIterator __first, | ^~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h:1771:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 In file included from /usr/include/c++/15.2.0/bitset:51, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/logger.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/statements.cc:25: /usr/include/c++/15.2.0/bits/stl_algobase.h: In function '_OI std::copy(_II, _II, _OI) [with _II = const Gringo::Output::LiteralId*; _OI = __gnu_cxx::__normal_iterator >]': /usr/include/c++/15.2.0/bits/stl_algobase.h:633:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 633 | copy(_II __first, _II __last, _OI __result) | ^~~~ /usr/include/c++/15.2.0/bits/stl_algobase.h: In function '_OI std::copy(_II, _II, _OI) [with _II = const Gringo::Symbol*; _OI = __gnu_cxx::__normal_iterator >]': /usr/include/c++/15.2.0/bits/stl_algobase.h:633:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 In file included from /usr/include/c++/15.2.0/vector:74, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:40, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hashable.hh:29, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/term.hh:32, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/base.hh:30, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/domain.hh:31: /usr/include/c++/15.2.0/bits/vector.tcc: In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::_M_erase(iterator, iterator) [with _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]': /usr/include/c++/15.2.0/bits/vector.tcc:195:5: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 195 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/vector.tcc:195:5: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 In file included from /usr/include/c++/15.2.0/vector:68: In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::erase(const_iterator, const_iterator) [with _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]', inlined from 'virtual void Gringo::Output::Rule::translate(Gringo::Output::DomainData&, Gringo::Output::Translator&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/statements.cc:147:16: /usr/include/c++/15.2.0/bits/stl_vector.h:1824:24: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1824 | return _M_erase(__beg + (__first - __cbeg), __beg + (__last - __cbeg)); | ~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_vector.h: In constructor 'std::vector<_Tp, _Alloc>::vector(std::initializer_list<_Tp>, const allocator_type&) [with _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]': /usr/include/c++/15.2.0/bits/stl_vector.h:708:7: note: parameter passing for argument of type 'std::initializer_list' changed in GCC 7.1 708 | vector(initializer_list __l, | ^~~~~~ In file included from /usr/include/c++/15.2.0/memory:71, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/logger.hh:31: /usr/include/c++/15.2.0/bits/stl_uninitialized.h: In function '_ForwardIterator std::__do_uninit_copy(_InputIterator, _Sentinel, _ForwardIterator) [with _InputIterator = move_iterator; _Sentinel = move_iterator; _ForwardIterator = Gringo::Symbol*]': /usr/include/c++/15.2.0/bits/stl_uninitialized.h:140:5: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 140 | __do_uninit_copy(_InputIterator __first, _Sentinel __last, | ^~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_uninitialized.h:140:5: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 /usr/include/c++/15.2.0/bits/stl_uninitialized.h: In function '_ForwardIterator std::__do_uninit_copy(_InputIterator, _Sentinel, _ForwardIterator) [with _InputIterator = move_iterator; _Sentinel = move_iterator; _ForwardIterator = Gringo::Output::LiteralId*]': /usr/include/c++/15.2.0/bits/stl_uninitialized.h:140:5: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 /usr/include/c++/15.2.0/bits/stl_uninitialized.h:140:5: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 /usr/include/c++/15.2.0/bits/stl_heap.h: In function 'void std::__pop_heap(_RandomAccessIterator, _RandomAccessIterator, _RandomAccessIterator, _Compare&) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_heap.h:254:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 254 | __pop_heap(_RandomAccessIterator __first, _RandomAccessIterator __last, | ^~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_heap.h:254:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/15.2.0/bits/stl_heap.h:254:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/15.2.0/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_algo.h:1877:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1877 | __introsort_loop(_RandomAccessIterator __first, | ^~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h:1877:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 In function 'void std::__sort_heap(_RandomAccessIterator, _RandomAccessIterator, _Compare&) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]', inlined from 'void std::__partial_sort(_RandomAccessIterator, _RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]' at /usr/include/c++/15.2.0/bits/stl_algo.h:1870:23, inlined from 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]' at /usr/include/c++/15.2.0/bits/stl_algo.h:1885:27: /usr/include/c++/15.2.0/bits/stl_heap.h:425:26: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 425 | std::__pop_heap(__first, __last, __last, __comp); | ~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_algo.h:1891:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1891 | std::__introsort_loop(__cut, __last, __depth_limit, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In function 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]', inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator >; _Compare = less]' at /usr/include/c++/15.2.0/bits/stl_algo.h:4874:18, inlined from 'void Gringo::sort_unique(T&, Less) [with T = std::vector; Less = std::less]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:263:14, inlined from 'void Gringo::sort_unique(T&) [with T = std::vector]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:270:16, inlined from 'Gringo::Output::ClauseId Gringo::Output::DomainData::clause(Gringo::Output::LitVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/literals.hh:923:20: /usr/include/c++/15.2.0/bits/stl_algo.h:1906:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1906 | std::__introsort_loop(__first, __last, | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~ 1907 | std::__lg(__last - __first) * 2, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 1908 | __comp); | ~~~~~~~ In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]' at /usr/include/c++/15.2.0/bits/stl_algo.h:1909:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator >; _Compare = less]' at /usr/include/c++/15.2.0/bits/stl_algo.h:4874:18, inlined from 'void Gringo::sort_unique(T&, Less) [with T = std::vector; Less = std::less]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:263:14, inlined from 'void Gringo::sort_unique(T&) [with T = std::vector]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:270:16, inlined from 'Gringo::Output::ClauseId Gringo::Output::DomainData::clause(Gringo::Output::LitVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/literals.hh:923:20: /usr/include/c++/15.2.0/bits/stl_algo.h:1818:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1818 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h:1823:30: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1823 | std::__insertion_sort(__first, __last, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~ In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::erase(const_iterator, const_iterator) [with _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]', inlined from 'void Gringo::sort_unique(T&, Less) [with T = std::vector; Less = std::less]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:264:14, inlined from 'void Gringo::sort_unique(T&) [with T = std::vector]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:270:16, inlined from 'Gringo::Output::ClauseId Gringo::Output::DomainData::clause(Gringo::Output::LitVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/literals.hh:923:20: /usr/include/c++/15.2.0/bits/stl_vector.h:1824:24: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1824 | return _M_erase(__beg + (__first - __cbeg), __beg + (__last - __cbeg)); | ~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Output::LiteralId*]', inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _Sentinel, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _Sentinel = move_iterator; _ForwardIterator = Gringo::Output::LiteralId*; _Tp = Gringo::Output::LiteralId]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:637:37, inlined from '_ForwardIterator std::__uninitialized_move_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Output::LiteralId*; _ForwardIterator = Gringo::Output::LiteralId*; _Allocator = allocator]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:649:41, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = const Gringo::Output::LiteralId*; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/vector.tcc:920:34, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = const Gringo::Output::LiteralId*; = void; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/stl_vector.h:1621:19, inlined from 'std::pair, bool> Gringo::array_set::Impl::insert(const Gringo::array_set::key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:204:26, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:141:42, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:139:33, inlined from 'Gringo::Output::ClauseId Gringo::Output::DomainData::clause(Gringo::Output::LitVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/literals.hh:924:31: /usr/include/c++/15.2.0/bits/stl_uninitialized.h:303:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 303 | return std::__do_uninit_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Output::LiteralId*]', inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _Sentinel, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _Sentinel = move_iterator; _ForwardIterator = Gringo::Output::LiteralId*; _Tp = Gringo::Output::LiteralId]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:637:37, inlined from '_ForwardIterator std::__uninitialized_move_if_noexcept_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Output::LiteralId*; _ForwardIterator = Gringo::Output::LiteralId*; _Allocator = allocator]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:664:2, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = const Gringo::Output::LiteralId*; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/vector.tcc:950:9, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = const Gringo::Output::LiteralId*; = void; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/stl_vector.h:1621:19, inlined from 'std::pair, bool> Gringo::array_set::Impl::insert(const Gringo::array_set::key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:204:26, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:141:42, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:139:33, inlined from 'Gringo::Output::ClauseId Gringo::Output::DomainData::clause(Gringo::Output::LitVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/literals.hh:924:31: /usr/include/c++/15.2.0/bits/stl_uninitialized.h:303:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 303 | return std::__do_uninit_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Output::LiteralId*]', inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _Sentinel, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _Sentinel = move_iterator; _ForwardIterator = Gringo::Output::LiteralId*; _Tp = Gringo::Output::LiteralId]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:637:37, inlined from '_ForwardIterator std::__uninitialized_move_if_noexcept_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Output::LiteralId*; _ForwardIterator = Gringo::Output::LiteralId*; _Allocator = allocator]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:664:2, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = const Gringo::Output::LiteralId*; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/vector.tcc:958:9, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = const Gringo::Output::LiteralId*; = void; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/stl_vector.h:1621:19, inlined from 'std::pair, bool> Gringo::array_set::Impl::insert(const Gringo::array_set::key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:204:26, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:141:42, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:139:33, inlined from 'Gringo::Output::ClauseId Gringo::Output::DomainData::clause(Gringo::Output::LitVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/literals.hh:924:31: /usr/include/c++/15.2.0/bits/stl_uninitialized.h:303:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 303 | return std::__do_uninit_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Symbol*]', inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _Sentinel, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _Sentinel = move_iterator; _ForwardIterator = Gringo::Symbol*; _Tp = Gringo::Symbol]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:637:37, inlined from '_ForwardIterator std::__uninitialized_move_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Symbol*; _ForwardIterator = Gringo::Symbol*; _Allocator = allocator]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:649:41, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = const Gringo::Symbol*; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/vector.tcc:920:34, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = const Gringo::Symbol*; = void; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/stl_vector.h:1621:19, inlined from 'std::pair, bool> Gringo::array_set::Impl::insert(const Gringo::array_set::key_type&) [with Key = Gringo::Symbol; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:204:26, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Symbol; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:141:42, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Symbol; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:139:33, inlined from 'Gringo::Output::TupleId Gringo::Output::DomainData::tuple(const Gringo::SymVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/literals.hh:918:34, inlined from 'virtual void Gringo::Output::WeakConstraint::translate(Gringo::Output::DomainData&, Gringo::Output::Translator&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/statements.cc:382:18: /usr/include/c++/15.2.0/bits/stl_uninitialized.h:303:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 303 | return std::__do_uninit_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Symbol*]', inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _Sentinel, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _Sentinel = move_iterator; _ForwardIterator = Gringo::Symbol*; _Tp = Gringo::Symbol]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:637:37, inlined from '_ForwardIterator std::__uninitialized_move_if_noexcept_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Symbol*; _ForwardIterator = Gringo::Symbol*; _Allocator = allocator]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:664:2, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = const Gringo::Symbol*; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/vector.tcc:950:9, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = const Gringo::Symbol*; = void; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/stl_vector.h:1621:19, inlined from 'std::pair, bool> Gringo::array_set::Impl::insert(const Gringo::array_set::key_type&) [with Key = Gringo::Symbol; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:204:26, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Symbol; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:141:42, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Symbol; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:139:33, inlined from 'Gringo::Output::TupleId Gringo::Output::DomainData::tuple(const Gringo::SymVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/literals.hh:918:34, inlined from 'virtual void Gringo::Output::WeakConstraint::translate(Gringo::Output::DomainData&, Gringo::Output::Translator&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/statements.cc:382:18: /usr/include/c++/15.2.0/bits/stl_uninitialized.h:303:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 303 | return std::__do_uninit_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Symbol*]', inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _Sentinel, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _Sentinel = move_iterator; _ForwardIterator = Gringo::Symbol*; _Tp = Gringo::Symbol]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:637:37, inlined from '_ForwardIterator std::__uninitialized_move_if_noexcept_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Symbol*; _ForwardIterator = Gringo::Symbol*; _Allocator = allocator]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:664:2, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = const Gringo::Symbol*; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/vector.tcc:958:9, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = const Gringo::Symbol*; = void; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/stl_vector.h:1621:19, inlined from 'std::pair, bool> Gringo::array_set::Impl::insert(const Gringo::array_set::key_type&) [with Key = Gringo::Symbol; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:204:26, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Symbol; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:141:42, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Symbol; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:139:33, inlined from 'Gringo::Output::TupleId Gringo::Output::DomainData::tuple(const Gringo::SymVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/literals.hh:918:34, inlined from 'virtual void Gringo::Output::WeakConstraint::translate(Gringo::Output::DomainData&, Gringo::Output::Translator&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/statements.cc:382:18: /usr/include/c++/15.2.0/bits/stl_uninitialized.h:303:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 303 | return std::__do_uninit_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/statements.cc: In member function 'Gringo::Output::LitVec Gringo::Output::Translator::updateCond(Gringo::Output::DomainData&, const tsl::ordered_map >, Gringo::mix_hash >, std::equal_to, std::allocator > > >, std::vector > >, std::allocator > > > >, unsigned int>::value_type&)': /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/statements.cc:462:99: note: parameter passing for argument of type 'std::initializer_list' changed in GCC 7.1 462 | LiteralId includeOldCond = getEqualClause(data, *this, data.clause(LitVec{oldCond, newCond}), false, false); | ^ /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/statements.cc:463:98: note: parameter passing for argument of type 'std::initializer_list' changed in GCC 7.1 463 | excludeOldCond = getEqualClause(data, *this, data.clause(LitVec{oldCond.negate(), newCond}), true, false); | ^ /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/statements.cc:469:27: note: parameter passing for argument of type 'std::initializer_list' changed in GCC 7.1 469 | return {excludeOldCond}; | ^ In file included from /usr/include/c++/15.2.0/algorithm:63, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hashable.hh:29, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/term.hh:32, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/base.hh:30, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/term.cc:30: /usr/include/c++/15.2.0/bits/stl_algo.h: In function 'void std::__unguarded_linear_insert(_RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Val_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_algo.h:1751:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1751 | __unguarded_linear_insert(_RandomAccessIterator __last, | ^~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_algo.h:1771:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1771 | __insertion_sort(_RandomAccessIterator __first, | ^~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h:1771:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 In file included from /usr/include/c++/15.2.0/bits/stl_algo.h:61: /usr/include/c++/15.2.0/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Distance = int; _Tp = Gringo::IETerm; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_heap.h:224:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 224 | __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex, | ^~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_heap.h: In function 'void std::__pop_heap(_RandomAccessIterator, _RandomAccessIterator, _RandomAccessIterator, _Compare&) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_heap.h:254:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 254 | __pop_heap(_RandomAccessIterator __first, _RandomAccessIterator __last, | ^~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_heap.h:254:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/15.2.0/bits/stl_heap.h:254:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 In file included from /usr/include/c++/15.2.0/vector:74, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:40: /usr/include/c++/15.2.0/bits/vector.tcc: In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::_M_erase(iterator, iterator) [with _Tp = Gringo::IETerm; _Alloc = std::allocator]': /usr/include/c++/15.2.0/bits/vector.tcc:195:5: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 195 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/vector.tcc:195:5: note: parameter passing for argument of type 'std::vector::iterator' changed in GCC 7.1 /usr/include/c++/15.2.0/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_algo.h:1877:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1877 | __introsort_loop(_RandomAccessIterator __first, | ^~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h:1877:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 In function 'void std::__sort_heap(_RandomAccessIterator, _RandomAccessIterator, _Compare&) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]', inlined from 'void std::__partial_sort(_RandomAccessIterator, _RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]' at /usr/include/c++/15.2.0/bits/stl_algo.h:1870:23, inlined from 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]' at /usr/include/c++/15.2.0/bits/stl_algo.h:1885:27: /usr/include/c++/15.2.0/bits/stl_heap.h:425:26: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 425 | std::__pop_heap(__first, __last, __last, __comp); | ~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_algo.h:1891:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1891 | std::__introsort_loop(__cut, __last, __depth_limit, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/15.2.0/vector:68: In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::erase(const_iterator, const_iterator) [with _Tp = Gringo::IETerm; _Alloc = std::allocator]', inlined from 'void Gringo::IESolver::add(Gringo::IE, bool)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/term.cc:336:16: /usr/include/c++/15.2.0/bits/stl_vector.h:1824:24: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1824 | return _M_erase(__beg + (__first - __cbeg), __beg + (__last - __cbeg)); | ~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In function 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]', inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator >; _Compare = Gringo::IESolver::add(Gringo::IE, bool)::]' at /usr/include/c++/15.2.0/bits/stl_algo.h:4874:18, inlined from 'void Gringo::IESolver::add(Gringo::IE, bool)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/term.cc:339:14: /usr/include/c++/15.2.0/bits/stl_algo.h:1906:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1906 | std::__introsort_loop(__first, __last, | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~ 1907 | std::__lg(__last - __first) * 2, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 1908 | __comp); | ~~~~~~~ In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]' at /usr/include/c++/15.2.0/bits/stl_algo.h:1909:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator >; _Compare = Gringo::IESolver::add(Gringo::IE, bool)::]' at /usr/include/c++/15.2.0/bits/stl_algo.h:4874:18, inlined from 'void Gringo::IESolver::add(Gringo::IE, bool)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/term.cc:339:14: /usr/include/c++/15.2.0/bits/stl_algo.h:1818:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1818 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h:1823:30: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1823 | std::__insertion_sort(__first, __last, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~ In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::erase(const_iterator, const_iterator) [with _Tp = Gringo::IETerm; _Alloc = std::allocator]', inlined from 'void Gringo::IESolver::add(Gringo::IE, bool)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/term.cc:343:16: /usr/include/c++/15.2.0/bits/stl_vector.h:1824:24: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1824 | return _M_erase(__beg + (__first - __cbeg), __beg + (__last - __cbeg)); | ~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/15.2.0/string:53, from /usr/include/c++/15.2.0/bits/locale_classes.h:42, from /usr/include/c++/15.2.0/bits/ios_base.h:43, from /usr/include/c++/15.2.0/streambuf:45, from /usr/include/c++/15.2.0/bits/streambuf_iterator.h:37, from /usr/include/c++/15.2.0/iterator:68, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/clasp/clasp/util/pod_vector.h:27, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/clasp/clasp/pod_vector.h:28, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/clasp/clasp/literal.h:31, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/clasp/clasp/program_builder.h:33, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/clasp/clasp/clasp_facade.h:31, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libclingo/clingo/clingocontrol.hh:29, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libclingo/src/clingocontrol.cc:25: /usr/include/c++/15.2.0/bits/stl_algobase.h: In function '_OI std::copy(_II, _II, _OI) [with _II = const long long int*; _OI = __gnu_cxx::__normal_iterator >]': /usr/include/c++/15.2.0/bits/stl_algobase.h:633:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 633 | copy(_II __first, _II __last, _OI __result) | ^~~~ /usr/include/c++/15.2.0/bits/stl_algobase.h: In function '_OI std::copy(_II, _II, _OI) [with _II = const Gringo::Symbol*; _OI = __gnu_cxx::__normal_iterator >]': /usr/include/c++/15.2.0/bits/stl_algobase.h:633:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 In file included from /usr/include/c++/15.2.0/memory:71, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/clasp/clasp/util/pod_vector.h:28: /usr/include/c++/15.2.0/bits/stl_uninitialized.h: In function '_ForwardIterator std::__do_uninit_copy(_InputIterator, _Sentinel, _ForwardIterator) [with _InputIterator = move_iterator; _Sentinel = move_iterator; _ForwardIterator = long long int*]': /usr/include/c++/15.2.0/bits/stl_uninitialized.h:140:5: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 140 | __do_uninit_copy(_InputIterator __first, _Sentinel __last, | ^~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_uninitialized.h:140:5: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 In function '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = move_iterator; _ForwardIterator = long long int*]', inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _Sentinel, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _Sentinel = move_iterator; _ForwardIterator = long long int*; _Tp = long long int]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:637:37, inlined from '_ForwardIterator std::__uninitialized_move_if_noexcept_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = long long int*; _ForwardIterator = long long int*; _Allocator = allocator]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:664:2, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = const long long int*; _Tp = long long int; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/vector.tcc:950:9, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = const long long int*; = void; _Tp = long long int; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/stl_vector.h:1621:19, inlined from 'virtual bool Gringo::ClingoLib::onUnsat(const Clasp::Solver&, const Clasp::Model&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libclingo/src/clingocontrol.cc:1017:32: /usr/include/c++/15.2.0/bits/stl_uninitialized.h:303:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 303 | return std::__do_uninit_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = move_iterator; _ForwardIterator = long long int*]', inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _Sentinel, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _Sentinel = move_iterator; _ForwardIterator = long long int*; _Tp = long long int]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:637:37, inlined from '_ForwardIterator std::__uninitialized_move_if_noexcept_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = long long int*; _ForwardIterator = long long int*; _Allocator = allocator]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:664:2, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = const long long int*; _Tp = long long int; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/vector.tcc:958:9, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = const long long int*; = void; _Tp = long long int; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/stl_vector.h:1621:19, inlined from 'virtual bool Gringo::ClingoLib::onUnsat(const Clasp::Solver&, const Clasp::Model&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libclingo/src/clingocontrol.cc:1017:32: /usr/include/c++/15.2.0/bits/stl_uninitialized.h:303:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 303 | return std::__do_uninit_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/15.2.0/bits/stl_algo.h:61, from /usr/include/c++/15.2.0/algorithm:63, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/domain.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/aggregates.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/literals.cc:26: /usr/include/c++/15.2.0/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Distance = int; _Tp = Gringo::Symbol; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_heap.h:224:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 224 | __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex, | ^~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Distance = int; _Tp = Gringo::Output::LiteralId; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_heap.h:224:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/15.2.0/bits/stl_algo.h: In function 'void std::__unguarded_linear_insert(_RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Val_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_algo.h:1751:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1751 | __unguarded_linear_insert(_RandomAccessIterator __last, | ^~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h: In function 'void std::__unguarded_linear_insert(_RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Val_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_algo.h:1751:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/15.2.0/bits/stl_algo.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_algo.h:1771:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1771 | __insertion_sort(_RandomAccessIterator __first, | ^~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h:1771:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/15.2.0/bits/stl_algo.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_algo.h:1771:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/15.2.0/bits/stl_algo.h:1771:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 In file included from /usr/include/c++/15.2.0/bitset:51, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/logger.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/literals.cc:25: /usr/include/c++/15.2.0/bits/stl_algobase.h: In function '_OI std::copy(_II, _II, _OI) [with _II = const Gringo::Symbol*; _OI = __gnu_cxx::__normal_iterator >]': /usr/include/c++/15.2.0/bits/stl_algobase.h:633:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 633 | copy(_II __first, _II __last, _OI __result) | ^~~~ /usr/include/c++/15.2.0/bits/stl_algobase.h: In function '_OI std::copy(_II, _II, _OI) [with _II = const Gringo::Output::LiteralId*; _OI = __gnu_cxx::__normal_iterator >]': /usr/include/c++/15.2.0/bits/stl_algobase.h:633:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/15.2.0/bits/stl_heap.h: In function 'void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator, pair >*, vector, pair > > >; _Distance = int; _Tp = pair, pair >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter, pair > > >]': /usr/include/c++/15.2.0/bits/stl_heap.h:224:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator, std::pair >*, std::vector, std::pair > > >' changed in GCC 7.1 224 | __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex, | ^~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h: In function 'void std::__unguarded_linear_insert(_RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator, pair >*, vector, pair > > >; _Compare = __gnu_cxx::__ops::_Val_comp_iter, pair > > >]': /usr/include/c++/15.2.0/bits/stl_algo.h:1751:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator, std::pair >*, std::vector, std::pair > > >' changed in GCC 7.1 1751 | __unguarded_linear_insert(_RandomAccessIterator __last, | ^~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h: In function 'void std::__insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator, pair >*, vector, pair > > >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter, pair > > >]': /usr/include/c++/15.2.0/bits/stl_algo.h:1771:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator, std::pair >*, std::vector, std::pair > > >' changed in GCC 7.1 1771 | __insertion_sort(_RandomAccessIterator __first, | ^~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h:1771:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator, std::pair >*, std::vector, std::pair > > >' changed in GCC 7.1 In file included from /usr/include/c++/15.2.0/memory:71, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/logger.hh:31: /usr/include/c++/15.2.0/bits/stl_uninitialized.h: In function '_ForwardIterator std::__do_uninit_copy(_InputIterator, _Sentinel, _ForwardIterator) [with _InputIterator = move_iterator; _Sentinel = move_iterator; _ForwardIterator = Gringo::Symbol*]': /usr/include/c++/15.2.0/bits/stl_uninitialized.h:140:5: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 140 | __do_uninit_copy(_InputIterator __first, _Sentinel __last, | ^~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_uninitialized.h:140:5: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 In file included from /usr/include/c++/15.2.0/vector:68, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:40, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hashable.hh:29, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/term.hh:32, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/base.hh:30, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/domain.hh:31: /usr/include/c++/15.2.0/bits/stl_vector.h: In function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::erase(const_iterator, const_iterator) [with _Tp = Gringo::Symbol; _Alloc = std::allocator]': /usr/include/c++/15.2.0/bits/stl_vector.h:1820:7: note: parameter passing for argument of type 'std::vector::const_iterator' changed in GCC 7.1 1820 | erase(const_iterator __first, const_iterator __last) | ^~~~~ /usr/include/c++/15.2.0/bits/stl_vector.h:1820:7: note: parameter passing for argument of type 'std::vector::const_iterator' changed in GCC 7.1 /usr/include/c++/15.2.0/bits/stl_uninitialized.h: In function '_ForwardIterator std::__do_uninit_copy(_InputIterator, _Sentinel, _ForwardIterator) [with _InputIterator = move_iterator; _Sentinel = move_iterator; _ForwardIterator = Gringo::Output::LiteralId*]': /usr/include/c++/15.2.0/bits/stl_uninitialized.h:140:5: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 140 | __do_uninit_copy(_InputIterator __first, _Sentinel __last, | ^~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_uninitialized.h:140:5: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 /usr/include/c++/15.2.0/bits/stl_heap.h: In function 'void std::__pop_heap(_RandomAccessIterator, _RandomAccessIterator, _RandomAccessIterator, _Compare&) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_heap.h:254:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 254 | __pop_heap(_RandomAccessIterator __first, _RandomAccessIterator __last, | ^~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_heap.h:254:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/15.2.0/bits/stl_heap.h:254:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/15.2.0/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_algo.h:1877:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1877 | __introsort_loop(_RandomAccessIterator __first, | ^~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h:1877:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 In function 'void std::__sort_heap(_RandomAccessIterator, _RandomAccessIterator, _Compare&) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]', inlined from 'void std::__partial_sort(_RandomAccessIterator, _RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]' at /usr/include/c++/15.2.0/bits/stl_algo.h:1870:23, inlined from 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]' at /usr/include/c++/15.2.0/bits/stl_algo.h:1885:27: /usr/include/c++/15.2.0/bits/stl_heap.h:425:26: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 425 | std::__pop_heap(__first, __last, __last, __comp); | ~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_algo.h:1891:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1891 | std::__introsort_loop(__cut, __last, __depth_limit, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_heap.h: In function 'void std::__pop_heap(_RandomAccessIterator, _RandomAccessIterator, _RandomAccessIterator, _Compare&) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_heap.h:254:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 254 | __pop_heap(_RandomAccessIterator __first, _RandomAccessIterator __last, | ^~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_heap.h:254:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/15.2.0/bits/stl_heap.h:254:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 /usr/include/c++/15.2.0/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_algo.h:1877:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1877 | __introsort_loop(_RandomAccessIterator __first, | ^~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h:1877:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 In function 'void std::__sort_heap(_RandomAccessIterator, _RandomAccessIterator, _Compare&) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]', inlined from 'void std::__partial_sort(_RandomAccessIterator, _RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]' at /usr/include/c++/15.2.0/bits/stl_algo.h:1870:23, inlined from 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]' at /usr/include/c++/15.2.0/bits/stl_algo.h:1885:27: /usr/include/c++/15.2.0/bits/stl_heap.h:425:26: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 425 | std::__pop_heap(__first, __last, __last, __comp); | ~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]': /usr/include/c++/15.2.0/bits/stl_algo.h:1891:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1891 | std::__introsort_loop(__cut, __last, __depth_limit, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In function 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]', inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator >; _Compare = less]' at /usr/include/c++/15.2.0/bits/stl_algo.h:4874:18, inlined from 'void Gringo::sort_unique(T&, Less) [with T = std::vector; Less = std::less]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:263:14, inlined from 'void Gringo::sort_unique(T&) [with T = std::vector]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:270:16, inlined from 'Gringo::Output::AssignmentAggregateData::Values Gringo::Output::AssignmentAggregateData::values() const' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/literals.cc:499:24: /usr/include/c++/15.2.0/bits/stl_algo.h:1906:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1906 | std::__introsort_loop(__first, __last, | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~ 1907 | std::__lg(__last - __first) * 2, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 1908 | __comp); | ~~~~~~~ In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]' at /usr/include/c++/15.2.0/bits/stl_algo.h:1909:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator >; _Compare = less]' at /usr/include/c++/15.2.0/bits/stl_algo.h:4874:18, inlined from 'void Gringo::sort_unique(T&, Less) [with T = std::vector; Less = std::less]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:263:14, inlined from 'void Gringo::sort_unique(T&) [with T = std::vector]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:270:16, inlined from 'Gringo::Output::AssignmentAggregateData::Values Gringo::Output::AssignmentAggregateData::values() const' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/literals.cc:499:24: /usr/include/c++/15.2.0/bits/stl_algo.h:1818:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1818 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h:1823:30: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1823 | std::__insertion_sort(__first, __last, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~ In function 'void Gringo::sort_unique(T&, Less) [with T = std::vector; Less = std::less]', inlined from 'void Gringo::sort_unique(T&) [with T = std::vector]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:270:16, inlined from 'Gringo::Output::AssignmentAggregateData::Values Gringo::Output::AssignmentAggregateData::values() const' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/literals.cc:499:24: /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:264:14: note: parameter passing for argument of type 'std::vector::const_iterator' changed in GCC 7.1 264 | vec.erase( | ~~~~~~~~~^ 265 | std::unique(vec.begin(), vec.end(), [less](E const &a, E const &b) { return !less(a, b) && !less(b, a); }), | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 266 | vec.end()); | ~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_heap.h: In function 'void std::__pop_heap(_RandomAccessIterator, _RandomAccessIterator, _RandomAccessIterator, _Compare&) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator, pair >*, vector, pair > > >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter, pair > > >]': /usr/include/c++/15.2.0/bits/stl_heap.h:254:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator, std::pair >*, std::vector, std::pair > > >' changed in GCC 7.1 254 | __pop_heap(_RandomAccessIterator __first, _RandomAccessIterator __last, | ^~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_heap.h:254:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator, std::pair >*, std::vector, std::pair > > >' changed in GCC 7.1 /usr/include/c++/15.2.0/bits/stl_heap.h:254:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator, std::pair >*, std::vector, std::pair > > >' changed in GCC 7.1 In function 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]', inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator >; _Compare = less]' at /usr/include/c++/15.2.0/bits/stl_algo.h:4874:18, inlined from 'void Gringo::sort_unique(T&, Less) [with T = std::vector; Less = std::less]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:263:14, inlined from 'void Gringo::sort_unique(T&) [with T = std::vector]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:270:16, inlined from 'Gringo::Output::ClauseId Gringo::Output::DomainData::clause(Gringo::Output::LitVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/literals.hh:923:20: /usr/include/c++/15.2.0/bits/stl_algo.h:1906:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1906 | std::__introsort_loop(__first, __last, | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~ 1907 | std::__lg(__last - __first) * 2, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 1908 | __comp); | ~~~~~~~ In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter >]' at /usr/include/c++/15.2.0/bits/stl_algo.h:1909:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator >; _Compare = less]' at /usr/include/c++/15.2.0/bits/stl_algo.h:4874:18, inlined from 'void Gringo::sort_unique(T&, Less) [with T = std::vector; Less = std::less]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:263:14, inlined from 'void Gringo::sort_unique(T&) [with T = std::vector]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:270:16, inlined from 'Gringo::Output::ClauseId Gringo::Output::DomainData::clause(Gringo::Output::LitVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/literals.hh:923:20: /usr/include/c++/15.2.0/bits/stl_algo.h:1818:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1818 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h:1823:30: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 1823 | std::__insertion_sort(__first, __last, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Output::LiteralId*]', inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _Sentinel, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _Sentinel = move_iterator; _ForwardIterator = Gringo::Output::LiteralId*; _Tp = Gringo::Output::LiteralId]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:637:37, inlined from '_ForwardIterator std::__uninitialized_move_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Output::LiteralId*; _ForwardIterator = Gringo::Output::LiteralId*; _Allocator = allocator]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:649:41, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = const Gringo::Output::LiteralId*; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/vector.tcc:920:34, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = const Gringo::Output::LiteralId*; = void; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/stl_vector.h:1621:19, inlined from 'std::pair, bool> Gringo::array_set::Impl::insert(const Gringo::array_set::key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:204:26, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:141:42, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:139:33, inlined from 'Gringo::Output::ClauseId Gringo::Output::DomainData::clause(Gringo::Output::LitVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/literals.hh:924:31: /usr/include/c++/15.2.0/bits/stl_uninitialized.h:303:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 303 | return std::__do_uninit_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Output::LiteralId*]', inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _Sentinel, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _Sentinel = move_iterator; _ForwardIterator = Gringo::Output::LiteralId*; _Tp = Gringo::Output::LiteralId]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:637:37, inlined from '_ForwardIterator std::__uninitialized_move_if_noexcept_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Output::LiteralId*; _ForwardIterator = Gringo::Output::LiteralId*; _Allocator = allocator]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:664:2, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = const Gringo::Output::LiteralId*; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/vector.tcc:950:9, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = const Gringo::Output::LiteralId*; = void; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/stl_vector.h:1621:19, inlined from 'std::pair, bool> Gringo::array_set::Impl::insert(const Gringo::array_set::key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:204:26, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:141:42, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:139:33, inlined from 'Gringo::Output::ClauseId Gringo::Output::DomainData::clause(Gringo::Output::LitVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/literals.hh:924:31: /usr/include/c++/15.2.0/bits/stl_uninitialized.h:303:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 303 | return std::__do_uninit_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Output::LiteralId*]', inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _Sentinel, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _Sentinel = move_iterator; _ForwardIterator = Gringo::Output::LiteralId*; _Tp = Gringo::Output::LiteralId]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:637:37, inlined from '_ForwardIterator std::__uninitialized_move_if_noexcept_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Output::LiteralId*; _ForwardIterator = Gringo::Output::LiteralId*; _Allocator = allocator]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:664:2, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = const Gringo::Output::LiteralId*; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/vector.tcc:958:9, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = const Gringo::Output::LiteralId*; = void; _Tp = Gringo::Output::LiteralId; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/stl_vector.h:1621:19, inlined from 'std::pair, bool> Gringo::array_set::Impl::insert(const Gringo::array_set::key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:204:26, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:141:42, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Output::LiteralId; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:139:33, inlined from 'Gringo::Output::ClauseId Gringo::Output::DomainData::clause(Gringo::Output::LitVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/literals.hh:924:31: /usr/include/c++/15.2.0/bits/stl_uninitialized.h:303:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 303 | return std::__do_uninit_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Symbol*]', inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _Sentinel, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _Sentinel = move_iterator; _ForwardIterator = Gringo::Symbol*; _Tp = Gringo::Symbol]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:637:37, inlined from '_ForwardIterator std::__uninitialized_move_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Symbol*; _ForwardIterator = Gringo::Symbol*; _Allocator = allocator]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:649:41, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = const Gringo::Symbol*; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/vector.tcc:920:34, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = const Gringo::Symbol*; = void; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/stl_vector.h:1621:19, inlined from 'std::pair, bool> Gringo::array_set::Impl::insert(const Gringo::array_set::key_type&) [with Key = Gringo::Symbol; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:204:26, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Symbol; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:141:42, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Symbol; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:139:33, inlined from 'Gringo::Output::TupleId Gringo::Output::DomainData::tuple(const Gringo::SymVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/literals.hh:918:34: /usr/include/c++/15.2.0/bits/stl_uninitialized.h:303:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 303 | return std::__do_uninit_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Symbol*]', inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _Sentinel, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _Sentinel = move_iterator; _ForwardIterator = Gringo::Symbol*; _Tp = Gringo::Symbol]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:637:37, inlined from '_ForwardIterator std::__uninitialized_move_if_noexcept_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Symbol*; _ForwardIterator = Gringo::Symbol*; _Allocator = allocator]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:664:2, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = const Gringo::Symbol*; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/vector.tcc:950:9, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = const Gringo::Symbol*; = void; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/stl_vector.h:1621:19, inlined from 'std::pair, bool> Gringo::array_set::Impl::insert(const Gringo::array_set::key_type&) [with Key = Gringo::Symbol; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:204:26, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Symbol; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:141:42, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Symbol; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:139:33, inlined from 'Gringo::Output::TupleId Gringo::Output::DomainData::tuple(const Gringo::SymVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/literals.hh:918:34: /usr/include/c++/15.2.0/bits/stl_uninitialized.h:303:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 303 | return std::__do_uninit_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = move_iterator; _ForwardIterator = Gringo::Symbol*]', inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _Sentinel, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator; _Sentinel = move_iterator; _ForwardIterator = Gringo::Symbol*; _Tp = Gringo::Symbol]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:637:37, inlined from '_ForwardIterator std::__uninitialized_move_if_noexcept_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = Gringo::Symbol*; _ForwardIterator = Gringo::Symbol*; _Allocator = allocator]' at /usr/include/c++/15.2.0/bits/stl_uninitialized.h:664:2, inlined from 'void std::vector<_Tp, _Alloc>::_M_range_insert(iterator, _ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = const Gringo::Symbol*; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/vector.tcc:958:9, inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::insert(const_iterator, _InputIterator, _InputIterator) [with _InputIterator = const Gringo::Symbol*; = void; _Tp = Gringo::Symbol; _Alloc = std::allocator]' at /usr/include/c++/15.2.0/bits/stl_vector.h:1621:19, inlined from 'std::pair, bool> Gringo::array_set::Impl::insert(const Gringo::array_set::key_type&) [with Key = Gringo::Symbol; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:204:26, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Symbol; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:141:42, inlined from 'std::pair, bool> Gringo::array_set::insert(const key_type&) [with Key = Gringo::Symbol; Hash = std::hash; KeyEqual = std::equal_to]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:139:33, inlined from 'Gringo::Output::TupleId Gringo::Output::DomainData::tuple(const Gringo::SymVec&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/literals.hh:918:34: /usr/include/c++/15.2.0/bits/stl_uninitialized.h:303:37: note: parameter passing for argument of type 'std::move_iterator' changed in GCC 7.1 303 | return std::__do_uninit_copy(__first, __last, __result); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/literals.cc: In member function 'void Gringo::Output::AssignmentAggregateData::accumulate(Gringo::Output::DomainData&, const Gringo::Location&, const Gringo::SymVec&, Gringo::Output::LitVec&, Gringo::Logger&)': /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/literals.cc:456:30: note: parameter passing for argument of type 'std::vector::const_iterator' changed in GCC 7.1 456 | values_.erase(std::remove_if(values_.begin() + 1, values_.end(), [val](Symbol x) { return x >= val; }), | ~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 457 | values_.end()); | ~~~~~~~~~~~~~~ /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/literals.cc:469:30: note: parameter passing for argument of type 'std::vector::const_iterator' changed in GCC 7.1 469 | values_.erase(std::remove_if(values_.begin() + 1, values_.end(), [val](Symbol x) { return x <= val; }), | ~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 470 | values_.end()); | ~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator, pair >*, vector, pair > > >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter, pair > > >]': /usr/include/c++/15.2.0/bits/stl_algo.h:1877:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator, std::pair >*, std::vector, std::pair > > >' changed in GCC 7.1 1877 | __introsort_loop(_RandomAccessIterator __first, | ^~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h:1877:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator, std::pair >*, std::vector, std::pair > > >' changed in GCC 7.1 In function 'void std::__sort_heap(_RandomAccessIterator, _RandomAccessIterator, _Compare&) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator, pair >*, vector, pair > > >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter, pair > > >]', inlined from 'void std::__partial_sort(_RandomAccessIterator, _RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator, pair >*, vector, pair > > >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter, pair > > >]' at /usr/include/c++/15.2.0/bits/stl_algo.h:1870:23, inlined from 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator, pair >*, vector, pair > > >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter, pair > > >]' at /usr/include/c++/15.2.0/bits/stl_algo.h:1885:27: /usr/include/c++/15.2.0/bits/stl_heap.h:425:26: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator, std::pair >*, std::vector, std::pair > > >' changed in GCC 7.1 425 | std::__pop_heap(__first, __last, __last, __comp); | ~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator, pair >*, vector, pair > > >; _Size = int; _Compare = __gnu_cxx::__ops::_Iter_comp_iter, pair > > >]': /usr/include/c++/15.2.0/bits/stl_algo.h:1891:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator, std::pair >*, std::vector, std::pair > > >' changed in GCC 7.1 1891 | std::__introsort_loop(__cut, __last, __depth_limit, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In function 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator, pair >*, vector, pair > > >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter, pair > > >]', inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator, pair >*, vector, pair > > >; _Compare = less, pair > >]' at /usr/include/c++/15.2.0/bits/stl_algo.h:4874:18, inlined from 'void Gringo::sort_unique(T&, Less) [with T = std::vector, std::pair > >; Less = std::less, std::pair > >]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:263:14, inlined from 'void Gringo::sort_unique(T&) [with T = std::vector, std::pair > >]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:270:16, inlined from 'virtual Gringo::Output::LiteralId Gringo::Output::HeadAggregateLiteral::translate(Gringo::Output::Translator&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/literals.cc:1426:20: /usr/include/c++/15.2.0/bits/stl_algo.h:1906:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator, std::pair >*, std::vector, std::pair > > >' changed in GCC 7.1 1906 | std::__introsort_loop(__first, __last, | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~ 1907 | std::__lg(__last - __first) * 2, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 1908 | __comp); | ~~~~~~~ In function 'void std::__final_insertion_sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator, pair >*, vector, pair > > >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter, pair > > >]', inlined from 'void std::__sort(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator, pair >*, vector, pair > > >; _Compare = __gnu_cxx::__ops::_Iter_comp_iter, pair > > >]' at /usr/include/c++/15.2.0/bits/stl_algo.h:1909:31, inlined from 'void std::sort(_RAIter, _RAIter, _Compare) [with _RAIter = __gnu_cxx::__normal_iterator, pair >*, vector, pair > > >; _Compare = less, pair > >]' at /usr/include/c++/15.2.0/bits/stl_algo.h:4874:18, inlined from 'void Gringo::sort_unique(T&, Less) [with T = std::vector, std::pair > >; Less = std::less, std::pair > >]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:263:14, inlined from 'void Gringo::sort_unique(T&) [with T = std::vector, std::pair > >]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:270:16, inlined from 'virtual Gringo::Output::LiteralId Gringo::Output::HeadAggregateLiteral::translate(Gringo::Output::Translator&)' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/output/literals.cc:1426:20: /usr/include/c++/15.2.0/bits/stl_algo.h:1818:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator, std::pair >*, std::vector, std::pair > > >' changed in GCC 7.1 1818 | std::__insertion_sort(__first, __first + int(_S_threshold), __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h:1823:30: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator, std::pair >*, std::vector, std::pair > > >' changed in GCC 7.1 1823 | std::__insertion_sort(__first, __last, __comp); | ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~ /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/ground/statements.cc: In member function 'void Gringo::Ground::TheoryComplete::enqueue(Gringo::AbstractDomain::Iterator)': /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/ground/statements.cc:1680:6: note: parameter passing for argument of type 'Gringo::AbstractDomain::Iterator' {aka 'std::vector >::iterator'} changed in GCC 7.1 1680 | void TheoryComplete::enqueue(TheoryDomain::Iterator atom) { | ^~~~~~~~~~~~~~ /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/ground/statements.cc: In member function 'void Gringo::Ground::HeadAggregateComplete::enqueue(Gringo::AbstractDomain::Iterator)': /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/ground/statements.cc:2032:6: note: parameter passing for argument of type 'Gringo::AbstractDomain::Iterator' {aka 'std::vector >::iterator'} changed in GCC 7.1 2032 | void HeadAggregateComplete::enqueue(HeadAggregateDomain::Iterator atom) { | ^~~~~~~~~~~~~~~~~~~~~ /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/ground/statements.cc: In member function 'void Gringo::Ground::DisjunctionComplete::enqueue(Gringo::AbstractDomain::Iterator)': /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/ground/statements.cc:2345:6: note: parameter passing for argument of type 'Gringo::AbstractDomain::Iterator' {aka 'std::vector >::iterator'} changed in GCC 7.1 2345 | void DisjunctionComplete::enqueue(DisjunctionDomain::Iterator atom) { | ^~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/15.2.0/vector:74, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/graph.hh:29, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/ground/dependency.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/ground/literal.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/ground/literals.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/ground/statements.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/ground/statements.cc:25: /usr/include/c++/15.2.0/bits/vector.tcc: In member function 'void std::vector<_Tp, _Alloc>::_M_insert_aux(iterator, _Arg&&) [with _Arg = Gringo::IntervalSet::Interval; _Tp = Gringo::IntervalSet::Interval; _Alloc = std::allocator::Interval>]': /usr/include/c++/15.2.0/bits/vector.tcc:420:7: note: parameter passing for argument of type 'std::vector::Interval, std::allocator::Interval> >::iterator' changed in GCC 7.1 420 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/ground/statements.cc: In member function 'virtual void Gringo::Ground::HeadAggregateAccumulate::report(Gringo::Output::OutputBase&, Gringo::Logger&)': /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/ground/statements.cc:2013:22: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator > >' changed in GCC 7.1 2013 | complete_.enqueue(atm); | ~~~~~~~~~~~~~~~~~^~~~~ /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/ground/statements.cc: In member function 'void Gringo::Ground::DisjunctionAccumulate::reportHead(Gringo::Output::OutputBase&, Gringo::Logger&)': /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/ground/statements.cc:2505:22: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator > >' changed in GCC 7.1 2505 | complete_.enqueue(atm); | ~~~~~~~~~~~~~~~~~^~~~~ In file included from /usr/include/c++/15.2.0/algorithm:63, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/ground/dependency.hh:29: /usr/include/c++/15.2.0/bits/stl_algo.h: In function '_ForwardIterator std::__upper_bound(_ForwardIterator, _ForwardIterator, const _Tp&, _Compare) [with _ForwardIterator = __gnu_cxx::__normal_iterator::Interval*, vector::Interval, allocator::Interval> > >; _Tp = Gringo::IntervalSet::Interval; _Compare = __gnu_cxx::__ops::_Val_less_iter]': /usr/include/c++/15.2.0/bits/stl_algo.h:1981:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator::Interval*, std::vector::Interval, std::allocator::Interval> > >' changed in GCC 7.1 1981 | __upper_bound(_ForwardIterator __first, _ForwardIterator __last, | ^~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algo.h:1981:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator::Interval*, std::vector::Interval, std::allocator::Interval> > >' changed in GCC 7.1 In file included from /usr/include/c++/15.2.0/bits/forward_list.h:40, from /usr/include/c++/15.2.0/forward_list:42, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/graph.hh:28: /usr/include/c++/15.2.0/bits/stl_algobase.h: In function '_ForwardIterator std::__lower_bound(_ForwardIterator, _ForwardIterator, const _Tp&, _Compare) [with _ForwardIterator = __gnu_cxx::__normal_iterator::Interval*, vector::Interval, allocator::Interval> > >; _Tp = Gringo::IntervalSet::Interval; _Compare = __gnu_cxx::__ops::_Iter_less_val]': /usr/include/c++/15.2.0/bits/stl_algobase.h:1496:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator::Interval*, std::vector::Interval, std::allocator::Interval> > >' changed in GCC 7.1 1496 | __lower_bound(_ForwardIterator __first, _ForwardIterator __last, | ^~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/stl_algobase.h:1496:5: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator::Interval*, std::vector::Interval, std::allocator::Interval> > >' changed in GCC 7.1 In file included from /usr/include/c++/15.2.0/bits/unordered_map.h:33, from /usr/include/c++/15.2.0/unordered_map:43, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:39, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/hash_set.hh:31: /usr/include/c++/15.2.0/bits/hashtable.h: In member function 'std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::iterator std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::_M_emplace_multi(const_iterator, _Args&& ...) [with _Args = {Gringo::Sig, Gringo::GTerm*}; _Key = Gringo::Sig; _Value = std::pair; _Alloc = std::allocator >; _ExtractKey = std::__detail::_Select1st; _Equal = std::equal_to; _Hash = std::hash; _RangeHash = std::__detail::_Mod_range_hashing; _Unused = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits]': /usr/include/c++/15.2.0/bits/hashtable.h:2377:7: note: parameter passing for argument of type 'std::_Hashtable, std::allocator >, std::__detail::_Select1st, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::const_iterator' changed in GCC 7.1 2377 | _Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2378 | _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>:: | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/vector.tcc: In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::_M_erase(iterator, iterator) [with _Tp = Gringo::IntervalSet::Interval; _Alloc = std::allocator::Interval>]': /usr/include/c++/15.2.0/bits/vector.tcc:195:5: note: parameter passing for argument of type 'std::vector::Interval, std::allocator::Interval> >::iterator' changed in GCC 7.1 195 | vector<_Tp, _Alloc>:: | ^~~~~~~~~~~~~~~~~~~ /usr/include/c++/15.2.0/bits/vector.tcc:195:5: note: parameter passing for argument of type 'std::vector::Interval, std::allocator::Interval> >::iterator' changed in GCC 7.1 In function '_ForwardIterator std::lower_bound(_ForwardIterator, _ForwardIterator, const _Tp&) [with _ForwardIterator = __gnu_cxx::__normal_iterator::Interval*, vector::Interval, allocator::Interval> > >; _Tp = Gringo::IntervalSet::Interval]', inlined from 'void Gringo::IntervalSet::add(const Interval&) [with T = Gringo::Symbol]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/intervals.hh:109:39: /usr/include/c++/15.2.0/bits/stl_algobase.h:1544:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator::Interval*, std::vector::Interval, std::allocator::Interval> > >' changed in GCC 7.1 1544 | return std::__lower_bound(__first, __last, __val, | ~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~ 1545 | __gnu_cxx::__ops::__iter_less_val()); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_FIter std::upper_bound(_FIter, _FIter, const _Tp&) [with _FIter = __gnu_cxx::__normal_iterator::Interval*, vector::Interval, allocator::Interval> > >; _Tp = Gringo::IntervalSet::Interval]', inlined from 'void Gringo::IntervalSet::add(const Interval&) [with T = Gringo::Symbol]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/intervals.hh:113:43: /usr/include/c++/15.2.0/bits/stl_algo.h:2029:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator::Interval*, std::vector::Interval, std::allocator::Interval> > >' changed in GCC 7.1 2029 | return std::__upper_bound(__first, __last, __val, | ~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~ 2030 | __gnu_cxx::__ops::__val_less_iter()); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::_M_emplace_aux(const_iterator, _Args&& ...) [with _Args = {const Gringo::IntervalSet::Interval&}; _Tp = Gringo::IntervalSet::Interval; _Alloc = std::allocator::Interval>]', inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::emplace(const_iterator, _Args&& ...) [with _Args = {const Gringo::IntervalSet::Interval&}; _Tp = Gringo::IntervalSet::Interval; _Alloc = std::allocator::Interval>]' at /usr/include/c++/15.2.0/bits/stl_vector.h:1482:25, inlined from 'void Gringo::IntervalSet::add(const Interval&) [with T = Gringo::Symbol]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/intervals.hh:115:33: /usr/include/c++/15.2.0/bits/vector.tcc:408:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator::Interval*, std::vector::Interval, std::allocator::Interval> > >' changed in GCC 7.1 408 | _M_insert_aux(begin() + __n, std::move(__tmp._M_val())); | ~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/15.2.0/vector:68: In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::erase(const_iterator, const_iterator) [with _Tp = Gringo::IntervalSet::Interval; _Alloc = std::allocator::Interval>]', inlined from 'void Gringo::IntervalSet::add(const Interval&) [with T = Gringo::Symbol]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/intervals.hh:119:31: /usr/include/c++/15.2.0/bits/stl_vector.h:1824:24: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator::Interval*, std::vector::Interval, std::allocator::Interval> > >' changed in GCC 7.1 1824 | return _M_erase(__beg + (__first - __cbeg), __beg + (__last - __cbeg)); | ~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_ForwardIterator std::lower_bound(_ForwardIterator, _ForwardIterator, const _Tp&) [with _ForwardIterator = __gnu_cxx::__normal_iterator::Interval*, vector::Interval, allocator::Interval> > >; _Tp = Gringo::IntervalSet::Interval]', inlined from 'void Gringo::IntervalSet::remove(const Interval&) [with T = Gringo::Symbol]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/intervals.hh:127:39: /usr/include/c++/15.2.0/bits/stl_algobase.h:1544:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator::Interval*, std::vector::Interval, std::allocator::Interval> > >' changed in GCC 7.1 1544 | return std::__lower_bound(__first, __last, __val, | ~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~ 1545 | __gnu_cxx::__ops::__iter_less_val()); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In function '_FIter std::upper_bound(_FIter, _FIter, const _Tp&) [with _FIter = __gnu_cxx::__normal_iterator::Interval*, vector::Interval, allocator::Interval> > >; _Tp = Gringo::IntervalSet::Interval]', inlined from 'void Gringo::IntervalSet::remove(const Interval&) [with T = Gringo::Symbol]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/intervals.hh:129:43: /usr/include/c++/15.2.0/bits/stl_algo.h:2029:32: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator::Interval*, std::vector::Interval, std::allocator::Interval> > >' changed in GCC 7.1 2029 | return std::__upper_bound(__first, __last, __val, | ~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~ 2030 | __gnu_cxx::__ops::__val_less_iter()); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::_M_emplace_aux(const_iterator, _Args&& ...) [with _Args = {Gringo::IntervalSet::Interval&}; _Tp = Gringo::IntervalSet::Interval; _Alloc = std::allocator::Interval>]', inlined from 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::emplace(const_iterator, _Args&& ...) [with _Args = {Gringo::IntervalSet::Interval&}; _Tp = Gringo::IntervalSet::Interval; _Alloc = std::allocator::Interval>]' at /usr/include/c++/15.2.0/bits/stl_vector.h:1482:25, inlined from 'void Gringo::IntervalSet::remove(const Interval&) [with T = Gringo::Symbol]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/intervals.hh:142:37: /usr/include/c++/15.2.0/bits/vector.tcc:408:28: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator::Interval*, std::vector::Interval, std::allocator::Interval> > >' changed in GCC 7.1 408 | _M_insert_aux(begin() + __n, std::move(__tmp._M_val())); | ~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In member function 'std::vector<_Tp, _Alloc>::iterator std::vector<_Tp, _Alloc>::erase(const_iterator, const_iterator) [with _Tp = Gringo::IntervalSet::Interval; _Alloc = std::allocator::Interval>]', inlined from 'void Gringo::IntervalSet::remove(const Interval&) [with T = Gringo::Symbol]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/intervals.hh:147:31: /usr/include/c++/15.2.0/bits/stl_vector.h:1824:24: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator::Interval*, std::vector::Interval, std::allocator::Interval> > >' changed in GCC 7.1 1824 | return _M_erase(__beg + (__first - __cbeg), __beg + (__last - __cbeg)); | ~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/ground/statements.cc: In member function 'virtual void Gringo::Ground::TheoryAccumulate::report(Gringo::Output::OutputBase&, Gringo::Logger&)': /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/ground/statements.cc:1792:26: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator > >' changed in GCC 7.1 1792 | complete_.enqueue(atom); | ~~~~~~~~~~~~~~~~~^~~~~~ In member function 'std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::__ireturn_type std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::emplace(_Args&& ...) [with _Args = {Gringo::Sig, Gringo::GTerm*}; _Key = Gringo::Sig; _Value = std::pair; _Alloc = std::allocator >; _ExtractKey = std::__detail::_Select1st; _Equal = std::equal_to; _Hash = std::hash; _RangeHash = std::__detail::_Mod_range_hashing; _Unused = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits]', inlined from 'std::unordered_multimap<_Key, _Tp, _Hash, _Pred, _Alloc>::iterator std::unordered_multimap<_Key, _Tp, _Hash, _Pred, _Alloc>::emplace(_Args&& ...) [with _Args = {Gringo::Sig, Gringo::GTerm*}; _Key = Gringo::Sig; _Tp = Gringo::GTerm*; _Hash = std::hash; _Pred = std::equal_to; _Alloc = std::allocator >]' at /usr/include/c++/15.2.0/bits/unordered_map.h:1690:23, inlined from 'bool Gringo::Ground::Lookup::add(Gringo::GTerm&, Occ) [with Occ = std::pair, Gringo::Ground::HeadOccurrence>::Node*, unsigned int>]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/ground/dependency.hh:133:31, inlined from 'void Gringo::Ground::Dependency::depends(Node&, Gringo::Ground::BodyOccurrence&, bool) [with Stm = std::unique_ptr; HeadOcc = Gringo::Ground::HeadOccurrence]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/ground/dependency.hh:200:15: /usr/include/c++/15.2.0/bits/hashtable.h:1031:36: note: parameter passing for argument of type 'std::__detail::_Node_const_iterator, false, true>' changed in GCC 7.1 1031 | return _M_emplace_multi(cend(), std::forward<_Args>(__args)...); | ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In member function 'std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::__ireturn_type std::_Hashtable<_Key, _Value, _Alloc, _ExtractKey, _Equal, _Hash, _RangeHash, _Unused, _RehashPolicy, _Traits>::emplace(_Args&& ...) [with _Args = {Gringo::Sig, Gringo::GTerm*}; _Key = Gringo::Sig; _Value = std::pair; _Alloc = std::allocator >; _ExtractKey = std::__detail::_Select1st; _Equal = std::equal_to; _Hash = std::hash; _RangeHash = std::__detail::_Mod_range_hashing; _Unused = std::__detail::_Default_ranged_hash; _RehashPolicy = std::__detail::_Prime_rehash_policy; _Traits = std::__detail::_Hashtable_traits]', inlined from 'std::unordered_multimap<_Key, _Tp, _Hash, _Pred, _Alloc>::iterator std::unordered_multimap<_Key, _Tp, _Hash, _Pred, _Alloc>::emplace(_Args&& ...) [with _Args = {Gringo::Sig, Gringo::GTerm*}; _Key = Gringo::Sig; _Tp = Gringo::GTerm*; _Hash = std::hash; _Pred = std::equal_to; _Alloc = std::allocator >]' at /usr/include/c++/15.2.0/bits/unordered_map.h:1690:23, inlined from 'bool Gringo::Ground::Lookup::add(Gringo::GTerm&, Occ) [with Occ = std::pair, Gringo::Ground::HeadOccurrence>::Node*, unsigned int>]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/ground/dependency.hh:135:26, inlined from 'void Gringo::Ground::Dependency::depends(Node&, Gringo::Ground::BodyOccurrence&, bool) [with Stm = std::unique_ptr; HeadOcc = Gringo::Ground::HeadOccurrence]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/ground/dependency.hh:200:15: /usr/include/c++/15.2.0/bits/hashtable.h:1031:36: note: parameter passing for argument of type 'std::__detail::_Node_const_iterator, false, true>' changed in GCC 7.1 1031 | return _M_emplace_multi(cend(), std::forward<_Args>(__args)...); | ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/ground/statements.cc: In member function 'virtual void Gringo::Ground::DisjunctionRule::report(Gringo::Output::OutputBase&, Gringo::Logger&)': /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/src/ground/statements.cc:2235:22: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator > >' changed in GCC 7.1 2235 | complete_.enqueue(ret.first); | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~ /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh: In function 'size_t Gringo::hash_range(T, T) [with T = __gnu_cxx::__normal_iterator >]': /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:518:27: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 518 | template size_t hash_range(T begin, T end) { | ^~~~~~~~~~ /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:518:27: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 In file included from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/literals.hh:29, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/statements.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/output/output.hh:30, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/ground/instantiation.hh:28, from /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/ground/literal.hh:29: In member function 'std::size_t std::hash >::operator()(const Gringo::SymVec&) const [with Domain = Gringo::AbstractDomain]', inlined from 'size_t Gringo::mix_hash::operator()(const K&) const [with K = std::vector; T = Gringo::BindIndexEntry >; U = std::hash > >]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:204:36, inlined from 'std::size_t tsl::detail_ordered_hash::ordered_hash::hash_key(const K&) const [with K = std::vector; ValueType = Gringo::BindIndexEntry >; KeySelect = tsl::ordered_set >, Gringo::mix_hash >, std::hash > > >, std::equal_to, std::allocator > >, std::vector >, std::allocator > > >, unsigned int>::KeySelect; ValueSelect = void; Hash = Gringo::mix_hash >, std::hash > > >; KeyEqual = std::equal_to; Allocator = std::allocator > >; ValueTypeContainer = std::vector >, std::allocator > > >; IndexType = unsigned int]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/third_party/ordered-map/include/tsl/ordered_hash.h:1192:28, inlined from 'tsl::detail_ordered_hash::ordered_hash::iterator tsl::detail_ordered_hash::ordered_hash::find(const K&) [with K = std::vector; ValueType = Gringo::BindIndexEntry >; KeySelect = tsl::ordered_set >, Gringo::mix_hash >, std::hash > > >, std::equal_to, std::allocator > >, std::vector >, std::allocator > > >, unsigned int>::KeySelect; ValueSelect = void; Hash = Gringo::mix_hash >, std::hash > > >; KeyEqual = std::equal_to; Allocator = std::allocator > >; ValueTypeContainer = std::vector >, std::allocator > > >; IndexType = unsigned int]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/third_party/ordered-map/include/tsl/ordered_hash.h:871:16, inlined from 'tsl::ordered_set::iterator tsl::ordered_set::find(const K&) [with K = std::vector; KE = std::equal_to; typename std::enable_if::value>::type* = 0; Key = Gringo::BindIndexEntry >; Hash = Gringo::mix_hash >, std::hash > > >; KeyEqual = std::equal_to; Allocator = std::allocator > >; ValueTypeContainer = std::vector >, std::allocator > > >; IndexType = unsigned int]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/third_party/ordered-map/include/tsl/ordered_set.h:412:21, inlined from 'Gringo::BindIndex::OffsetRange Gringo::BindIndex::lookup(const Gringo::SValVec&, Gringo::BinderType, Gringo::Logger&) [with Domain = Gringo::AbstractDomain]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/domain.hh:215:27, inlined from 'Gringo::Ground::PosBinder::MatchRng Gringo::Ground::PosBinder::lookup<0, I ...>::operator()(std::tuple<_El0, _El ...>&, Gringo::BinderType, Gringo::Logger&) [with int ...I = {1}; Index = Gringo::BindIndex >&; LookupArgs = {std::vector, std::allocator > >}]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/ground/binders.hh:50:45, inlined from 'void Gringo::Ground::PosBinder::match(Gringo::Logger&) [with Index = Gringo::BindIndex >&; LookupArgs = {std::vector, std::allocator > >}]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/ground/binders.hh:56:81: /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/domain.hh:164:73: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 164 | size_t operator()(Gringo::SymVec const &e) const { return hash_range(e.begin(), e.end()); }; | ~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~ In member function 'std::size_t std::hash >::operator()(const Gringo::SymVec&) const [with Domain = Gringo::AbstractDomain]', inlined from 'size_t Gringo::mix_hash::operator()(const K&) const [with K = std::vector; T = Gringo::BindIndexEntry >; U = std::hash > >]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:204:36, inlined from 'std::size_t tsl::detail_ordered_hash::ordered_hash::hash_key(const K&) const [with K = std::vector; ValueType = Gringo::BindIndexEntry >; KeySelect = tsl::ordered_set >, Gringo::mix_hash >, std::hash > > >, std::equal_to, std::allocator > >, std::vector >, std::allocator > > >, unsigned int>::KeySelect; ValueSelect = void; Hash = Gringo::mix_hash >, std::hash > > >; KeyEqual = std::equal_to; Allocator = std::allocator > >; ValueTypeContainer = std::vector >, std::allocator > > >; IndexType = unsigned int]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/third_party/ordered-map/include/tsl/ordered_hash.h:1192:28, inlined from 'tsl::detail_ordered_hash::ordered_hash::iterator tsl::detail_ordered_hash::ordered_hash::find(const K&) [with K = std::vector; ValueType = Gringo::BindIndexEntry >; KeySelect = tsl::ordered_set >, Gringo::mix_hash >, std::hash > > >, std::equal_to, std::allocator > >, std::vector >, std::allocator > > >, unsigned int>::KeySelect; ValueSelect = void; Hash = Gringo::mix_hash >, std::hash > > >; KeyEqual = std::equal_to; Allocator = std::allocator > >; ValueTypeContainer = std::vector >, std::allocator > > >; IndexType = unsigned int]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/third_party/ordered-map/include/tsl/ordered_hash.h:871:16, inlined from 'tsl::ordered_set::iterator tsl::ordered_set::find(const K&) [with K = std::vector; KE = std::equal_to; typename std::enable_if::value>::type* = 0; Key = Gringo::BindIndexEntry >; Hash = Gringo::mix_hash >, std::hash > > >; KeyEqual = std::equal_to; Allocator = std::allocator > >; ValueTypeContainer = std::vector >, std::allocator > > >; IndexType = unsigned int]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/third_party/ordered-map/include/tsl/ordered_set.h:412:21, inlined from 'Gringo::BindIndex::OffsetRange Gringo::BindIndex::lookup(const Gringo::SValVec&, Gringo::BinderType, Gringo::Logger&) [with Domain = Gringo::AbstractDomain]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/domain.hh:215:27, inlined from 'Gringo::Ground::PosBinder::MatchRng Gringo::Ground::PosBinder::lookup<0, I ...>::operator()(std::tuple<_El0, _El ...>&, Gringo::BinderType, Gringo::Logger&) [with int ...I = {1}; Index = Gringo::BindIndex >&; LookupArgs = {std::vector, std::allocator > >}]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/ground/binders.hh:50:45, inlined from 'void Gringo::Ground::PosBinder::match(Gringo::Logger&) [with Index = Gringo::BindIndex >&; LookupArgs = {std::vector, std::allocator > >}]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/ground/binders.hh:56:81: /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/domain.hh:164:73: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 164 | size_t operator()(Gringo::SymVec const &e) const { return hash_range(e.begin(), e.end()); }; | ~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~ In member function 'std::size_t std::hash >::operator()(const Gringo::SymVec&) const [with Domain = Gringo::AbstractDomain]', inlined from 'size_t Gringo::mix_hash::operator()(const K&) const [with K = std::vector; T = Gringo::BindIndexEntry >; U = std::hash > >]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:204:36, inlined from 'std::size_t tsl::detail_ordered_hash::ordered_hash::hash_key(const K&) const [with K = std::vector; ValueType = Gringo::BindIndexEntry >; KeySelect = tsl::ordered_set >, Gringo::mix_hash >, std::hash > > >, std::equal_to, std::allocator > >, std::vector >, std::allocator > > >, unsigned int>::KeySelect; ValueSelect = void; Hash = Gringo::mix_hash >, std::hash > > >; KeyEqual = std::equal_to; Allocator = std::allocator > >; ValueTypeContainer = std::vector >, std::allocator > > >; IndexType = unsigned int]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/third_party/ordered-map/include/tsl/ordered_hash.h:1192:28, inlined from 'tsl::detail_ordered_hash::ordered_hash::iterator tsl::detail_ordered_hash::ordered_hash::find(const K&) [with K = std::vector; ValueType = Gringo::BindIndexEntry >; KeySelect = tsl::ordered_set >, Gringo::mix_hash >, std::hash > > >, std::equal_to, std::allocator > >, std::vector >, std::allocator > > >, unsigned int>::KeySelect; ValueSelect = void; Hash = Gringo::mix_hash >, std::hash > > >; KeyEqual = std::equal_to; Allocator = std::allocator > >; ValueTypeContainer = std::vector >, std::allocator > > >; IndexType = unsigned int]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/third_party/ordered-map/include/tsl/ordered_hash.h:871:16, inlined from 'tsl::ordered_set::iterator tsl::ordered_set::find(const K&) [with K = std::vector; KE = std::equal_to; typename std::enable_if::value>::type* = 0; Key = Gringo::BindIndexEntry >; Hash = Gringo::mix_hash >, std::hash > > >; KeyEqual = std::equal_to; Allocator = std::allocator > >; ValueTypeContainer = std::vector >, std::allocator > > >; IndexType = unsigned int]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/third_party/ordered-map/include/tsl/ordered_set.h:412:21, inlined from 'Gringo::BindIndex::OffsetRange Gringo::BindIndex::lookup(const Gringo::SValVec&, Gringo::BinderType, Gringo::Logger&) [with Domain = Gringo::AbstractDomain]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/domain.hh:215:27, inlined from 'Gringo::Ground::PosBinder::MatchRng Gringo::Ground::PosBinder::lookup<0, I ...>::operator()(std::tuple<_El0, _El ...>&, Gringo::BinderType, Gringo::Logger&) [with int ...I = {1}; Index = Gringo::BindIndex >&; LookupArgs = {std::vector, std::allocator > >}]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/ground/binders.hh:50:45, inlined from 'void Gringo::Ground::PosBinder::match(Gringo::Logger&) [with Index = Gringo::BindIndex >&; LookupArgs = {std::vector, std::allocator > >}]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/ground/binders.hh:56:81: /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/domain.hh:164:73: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 164 | size_t operator()(Gringo::SymVec const &e) const { return hash_range(e.begin(), e.end()); }; | ~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~ In member function 'std::size_t std::hash >::operator()(const Gringo::SymVec&) const [with Domain = Gringo::AbstractDomain]', inlined from 'size_t Gringo::mix_hash::operator()(const K&) const [with K = std::vector; T = Gringo::BindIndexEntry >; U = std::hash > >]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:204:36, inlined from 'std::size_t tsl::detail_ordered_hash::ordered_hash::hash_key(const K&) const [with K = std::vector; ValueType = Gringo::BindIndexEntry >; KeySelect = tsl::ordered_set >, Gringo::mix_hash >, std::hash > > >, std::equal_to, std::allocator > >, std::vector >, std::allocator > > >, unsigned int>::KeySelect; ValueSelect = void; Hash = Gringo::mix_hash >, std::hash > > >; KeyEqual = std::equal_to; Allocator = std::allocator > >; ValueTypeContainer = std::vector >, std::allocator > > >; IndexType = unsigned int]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/third_party/ordered-map/include/tsl/ordered_hash.h:1192:28, inlined from 'tsl::detail_ordered_hash::ordered_hash::iterator tsl::detail_ordered_hash::ordered_hash::find(const K&) [with K = std::vector; ValueType = Gringo::BindIndexEntry >; KeySelect = tsl::ordered_set >, Gringo::mix_hash >, std::hash > > >, std::equal_to, std::allocator > >, std::vector >, std::allocator > > >, unsigned int>::KeySelect; ValueSelect = void; Hash = Gringo::mix_hash >, std::hash > > >; KeyEqual = std::equal_to; Allocator = std::allocator > >; ValueTypeContainer = std::vector >, std::allocator > > >; IndexType = unsigned int]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/third_party/ordered-map/include/tsl/ordered_hash.h:871:16, inlined from 'tsl::ordered_set::iterator tsl::ordered_set::find(const K&) [with K = std::vector; KE = std::equal_to; typename std::enable_if::value>::type* = 0; Key = Gringo::BindIndexEntry >; Hash = Gringo::mix_hash >, std::hash > > >; KeyEqual = std::equal_to; Allocator = std::allocator > >; ValueTypeContainer = std::vector >, std::allocator > > >; IndexType = unsigned int]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/third_party/ordered-map/include/tsl/ordered_set.h:412:21, inlined from 'Gringo::BindIndex::OffsetRange Gringo::BindIndex::lookup(const Gringo::SValVec&, Gringo::BinderType, Gringo::Logger&) [with Domain = Gringo::AbstractDomain]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/domain.hh:215:27, inlined from 'Gringo::Ground::PosBinder::MatchRng Gringo::Ground::PosBinder::lookup<0, I ...>::operator()(std::tuple<_El0, _El ...>&, Gringo::BinderType, Gringo::Logger&) [with int ...I = {1}; Index = Gringo::BindIndex >&; LookupArgs = {std::vector, std::allocator > >}]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/ground/binders.hh:50:45, inlined from 'void Gringo::Ground::PosBinder::match(Gringo::Logger&) [with Index = Gringo::BindIndex >&; LookupArgs = {std::vector, std::allocator > >}]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/ground/binders.hh:56:81: /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/domain.hh:164:73: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 164 | size_t operator()(Gringo::SymVec const &e) const { return hash_range(e.begin(), e.end()); }; | ~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~ In member function 'std::size_t std::hash >::operator()(const Gringo::SymVec&) const [with Domain = Gringo::AbstractDomain]', inlined from 'size_t Gringo::mix_hash::operator()(const K&) const [with K = std::vector; T = Gringo::BindIndexEntry >; U = std::hash > >]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:204:36, inlined from 'std::size_t tsl::detail_ordered_hash::ordered_hash::hash_key(const K&) const [with K = std::vector; ValueType = Gringo::BindIndexEntry >; KeySelect = tsl::ordered_set >, Gringo::mix_hash >, std::hash > > >, std::equal_to, std::allocator > >, std::vector >, std::allocator > > >, unsigned int>::KeySelect; ValueSelect = void; Hash = Gringo::mix_hash >, std::hash > > >; KeyEqual = std::equal_to; Allocator = std::allocator > >; ValueTypeContainer = std::vector >, std::allocator > > >; IndexType = unsigned int]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/third_party/ordered-map/include/tsl/ordered_hash.h:1192:28, inlined from 'tsl::detail_ordered_hash::ordered_hash::iterator tsl::detail_ordered_hash::ordered_hash::find(const K&) [with K = std::vector; ValueType = Gringo::BindIndexEntry >; KeySelect = tsl::ordered_set >, Gringo::mix_hash >, std::hash > > >, std::equal_to, std::allocator > >, std::vector >, std::allocator > > >, unsigned int>::KeySelect; ValueSelect = void; Hash = Gringo::mix_hash >, std::hash > > >; KeyEqual = std::equal_to; Allocator = std::allocator > >; ValueTypeContainer = std::vector >, std::allocator > > >; IndexType = unsigned int]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/third_party/ordered-map/include/tsl/ordered_hash.h:871:16, inlined from 'tsl::ordered_set::iterator tsl::ordered_set::find(const K&) [with K = std::vector; KE = std::equal_to; typename std::enable_if::value>::type* = 0; Key = Gringo::BindIndexEntry >; Hash = Gringo::mix_hash >, std::hash > > >; KeyEqual = std::equal_to; Allocator = std::allocator > >; ValueTypeContainer = std::vector >, std::allocator > > >; IndexType = unsigned int]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/third_party/ordered-map/include/tsl/ordered_set.h:412:21, inlined from 'Gringo::BindIndex::OffsetRange Gringo::BindIndex::lookup(const Gringo::SValVec&, Gringo::BinderType, Gringo::Logger&) [with Domain = Gringo::AbstractDomain]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/domain.hh:215:27, inlined from 'Gringo::Ground::PosBinder::MatchRng Gringo::Ground::PosBinder::lookup<0, I ...>::operator()(std::tuple<_El0, _El ...>&, Gringo::BinderType, Gringo::Logger&) [with int ...I = {1}; Index = Gringo::BindIndex >&; LookupArgs = {std::vector, std::allocator > >}]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/ground/binders.hh:50:45, inlined from 'void Gringo::Ground::PosBinder::match(Gringo::Logger&) [with Index = Gringo::BindIndex >&; LookupArgs = {std::vector, std::allocator > >}]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/ground/binders.hh:56:81: /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/domain.hh:164:73: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 164 | size_t operator()(Gringo::SymVec const &e) const { return hash_range(e.begin(), e.end()); }; | ~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~ In member function 'std::size_t std::hash >::operator()(const Gringo::SymVec&) const [with Domain = Gringo::AbstractDomain]', inlined from 'size_t Gringo::mix_hash::operator()(const K&) const [with K = std::vector; T = Gringo::BindIndexEntry >; U = std::hash > >]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/utility.hh:204:36, inlined from 'std::size_t tsl::detail_ordered_hash::ordered_hash::hash_key(const K&) const [with K = std::vector; ValueType = Gringo::BindIndexEntry >; KeySelect = tsl::ordered_set >, Gringo::mix_hash >, std::hash > > >, std::equal_to, std::allocator > >, std::vector >, std::allocator > > >, unsigned int>::KeySelect; ValueSelect = void; Hash = Gringo::mix_hash >, std::hash > > >; KeyEqual = std::equal_to; Allocator = std::allocator > >; ValueTypeContainer = std::vector >, std::allocator > > >; IndexType = unsigned int]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/third_party/ordered-map/include/tsl/ordered_hash.h:1192:28, inlined from 'tsl::detail_ordered_hash::ordered_hash::iterator tsl::detail_ordered_hash::ordered_hash::find(const K&) [with K = std::vector; ValueType = Gringo::BindIndexEntry >; KeySelect = tsl::ordered_set >, Gringo::mix_hash >, std::hash > > >, std::equal_to, std::allocator > >, std::vector >, std::allocator > > >, unsigned int>::KeySelect; ValueSelect = void; Hash = Gringo::mix_hash >, std::hash > > >; KeyEqual = std::equal_to; Allocator = std::allocator > >; ValueTypeContainer = std::vector >, std::allocator > > >; IndexType = unsigned int]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/third_party/ordered-map/include/tsl/ordered_hash.h:871:16, inlined from 'tsl::ordered_set::iterator tsl::ordered_set::find(const K&) [with K = std::vector; KE = std::equal_to; typename std::enable_if::value>::type* = 0; Key = Gringo::BindIndexEntry >; Hash = Gringo::mix_hash >, std::hash > > >; KeyEqual = std::equal_to; Allocator = std::allocator > >; ValueTypeContainer = std::vector >, std::allocator > > >; IndexType = unsigned int]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/third_party/ordered-map/include/tsl/ordered_set.h:412:21, inlined from 'Gringo::BindIndex::OffsetRange Gringo::BindIndex::lookup(const Gringo::SValVec&, Gringo::BinderType, Gringo::Logger&) [with Domain = Gringo::AbstractDomain]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/domain.hh:215:27, inlined from 'Gringo::Ground::PosBinder::MatchRng Gringo::Ground::PosBinder::lookup<0, I ...>::operator()(std::tuple<_El0, _El ...>&, Gringo::BinderType, Gringo::Logger&) [with int ...I = {1}; Index = Gringo::BindIndex >&; LookupArgs = {std::vector, std::allocator > >}]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/ground/binders.hh:50:45, inlined from 'void Gringo::Ground::PosBinder::match(Gringo::Logger&) [with Index = Gringo::BindIndex >&; LookupArgs = {std::vector, std::allocator > >}]' at /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/ground/binders.hh:56:81: /home/buildozer/aports/community/clingo/src/clingo-5.8.0/libgringo/gringo/domain.hh:164:73: note: parameter passing for argument of type '__gnu_cxx::__normal_iterator >' changed in GCC 7.1 164 | size_t operator()(Gringo::SymVec const &e) const { return hash_range(e.begin(), e.end()); }; | ~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~ [97/103] Linking CXX static library lib/libgringo.a [98/103] Linking CXX shared library bin/libclingo.so.4.0 [99/103] Creating library symlink bin/libclingo.so.4 bin/libclingo.so [100/103] Linking C shared module bin/python/_clingo.cpython-312-arm-linux-musleabihf.so [101/103] Linking C static library lib/libpyclingo.a [102/103] Linking CXX executable bin/clingo [103/103] Linking CXX executable bin/gringo >>> clingo: Entering fakeroot... -- Install configuration: "None" -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/bin/lpconvert -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/bin/clasp -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/libclingo.so.4.0 -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/libclingo.so.4 -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/libclingo.so -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/include/clingo.hh -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/include/clingo.h -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/cmake/Clingo/ClingoTargets.cmake -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/cmake/Clingo/ClingoTargets-none.cmake -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/cmake/Clingo/ClingoConfig.cmake -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/cmake/Clingo/ClingoConfigVersion.cmake -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/bin/reify -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/bin/gringo -- Set non-toolchain portion of runtime path of "/home/buildozer/aports/community/clingo/pkg/clingo/usr/bin/gringo" to "" -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/bin/clingo -- Set non-toolchain portion of runtime path of "/home/buildozer/aports/community/clingo/pkg/clingo/usr/bin/clingo" to "" -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/python3.12/site-packages/clingo/_clingo.cpython-312-arm-linux-musleabihf.so -- Set non-toolchain portion of runtime path of "/home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/python3.12/site-packages/clingo/_clingo.cpython-312-arm-linux-musleabihf.so" to "" -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/python3.12/site-packages/clingo-5.8.0.dist-info/INSTALLER -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/python3.12/site-packages/clingo-5.8.0.dist-info/METADATA -- Up-to-date: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/python3.12/site-packages/clingo -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/python3.12/site-packages/clingo/__init__.py -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/python3.12/site-packages/clingo/core.py -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/python3.12/site-packages/clingo/statistics.py -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/python3.12/site-packages/clingo/solving.py -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/python3.12/site-packages/clingo/symbolic_atoms.py -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/python3.12/site-packages/clingo/_internal.py -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/python3.12/site-packages/clingo/propagator.py -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/python3.12/site-packages/clingo/script.py -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/python3.12/site-packages/clingo/theory_atoms.py -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/python3.12/site-packages/clingo/control.py -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/python3.12/site-packages/clingo/ast.py -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/python3.12/site-packages/clingo/theory.py -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/python3.12/site-packages/clingo/backend.py -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/python3.12/site-packages/clingo/symbol.py -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/python3.12/site-packages/clingo/__main__.py -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/python3.12/site-packages/clingo/util.py -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/python3.12/site-packages/clingo/configuration.py -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/python3.12/site-packages/clingo/application.py -- Installing: /home/buildozer/aports/community/clingo/pkg/clingo/usr/lib/python3.12/site-packages/clingo/py.typed >>> clingo-dev*: Running split function dev... 'usr/include' -> '/home/buildozer/aports/community/clingo/pkg/clingo-dev/usr/include' 'usr/lib/cmake' -> '/home/buildozer/aports/community/clingo/pkg/clingo-dev/usr/lib/cmake' 'usr/lib/libclingo.so' -> '/home/buildozer/aports/community/clingo/pkg/clingo-dev/usr/lib/libclingo.so' >>> clingo-dev*: Preparing subpackage clingo-dev... >>> clingo-dev*: Stripping binaries >>> clingo-dev*: Running postcheck for clingo-dev >>> clingo-libs*: Running split function libs... 'usr/lib/libclingo.so.4' -> '/home/buildozer/aports/community/clingo/pkg/clingo-libs/usr/lib/libclingo.so.4' 'usr/lib/libclingo.so.4.0' -> '/home/buildozer/aports/community/clingo/pkg/clingo-libs/usr/lib/libclingo.so.4.0' >>> clingo-libs*: Preparing subpackage clingo-libs... >>> clingo-libs*: Stripping binaries >>> clingo-libs*: Running postcheck for clingo-libs >>> py3-clingo*: Running split function py... 'usr/lib/python3.12' -> '/home/buildozer/aports/community/clingo/pkg/py3-clingo/usr/lib/python3.12' >>> py3-clingo*: Preparing subpackage py3-clingo... >>> py3-clingo*: Stripping binaries >>> py3-clingo*: Running postcheck for py3-clingo >>> clingo*: Running postcheck for clingo >>> clingo*: Preparing package clingo... >>> clingo*: Stripping binaries >>> clingo*: Scanning shared objects >>> clingo-dev*: Scanning shared objects >>> clingo-libs*: Scanning shared objects >>> py3-clingo*: Scanning shared objects >>> clingo-dev*: Tracing dependencies... clingo-libs=5.8.0-r0 >>> clingo-dev*: Package size: 379.3 KB >>> clingo-dev*: Compressing data... >>> clingo-dev*: Create checksum... >>> clingo-dev*: Create clingo-dev-5.8.0-r0.apk >>> clingo-libs*: Tracing dependencies... so:libc.musl-armv7.so.1 so:libgcc_s.so.1 so:libstdc++.so.6 >>> clingo-libs*: Package size: 1.9 MB >>> clingo-libs*: Compressing data... >>> clingo-libs*: Create checksum... >>> clingo-libs*: Create clingo-libs-5.8.0-r0.apk >>> clingo*: Tracing dependencies... !clasp so:libc.musl-armv7.so.1 so:libclingo.so.4 so:libgcc_s.so.1 so:libpython3.12.so.1.0 so:libstdc++.so.6 >>> clingo*: Package size: 1.4 MB >>> clingo*: Compressing data... >>> clingo*: Create checksum... >>> clingo*: Create clingo-5.8.0-r0.apk >>> py3-clingo*: Tracing dependencies... python3 python3~3.12 so:libc.musl-armv7.so.1 so:libclingo.so.4 >>> py3-clingo*: Package size: 511.0 KB >>> py3-clingo*: Compressing data... >>> py3-clingo*: Create checksum... >>> py3-clingo*: Create py3-clingo-5.8.0-r0.apk >>> clingo: Build complete at Mon, 03 Nov 2025 14:30:47 +0000 elapsed time 0h 0m 27s >>> clingo: Cleaning up srcdir >>> clingo: Cleaning up pkgdir >>> clingo: Cleaning up tmpdir >>> clingo: Uninstalling dependencies... ( 1/15) Purging .makedepends-clingo (20251103.143026) ( 2/15) Purging python3-dev (3.12.12-r0) ( 3/15) Purging python3-pyc (3.12.12-r0) ( 4/15) Purging python3-pycache-pyc0 (3.12.12-r0) ( 5/15) Purging pyc (3.12.12-r0) ( 6/15) Purging python3 (3.12.12-r0) ( 7/15) Purging cmake (4.1.2-r0) ( 8/15) Purging samurai (1.2-r7) ( 9/15) Purging gdbm (1.26-r0) (10/15) Purging libarchive (3.8.2-r0) (11/15) Purging libpanelw (6.5_p20251010-r0) (12/15) Purging libuv (1.51.0-r0) (13/15) Purging mpdecimal (4.0.1-r0) (14/15) Purging rhash-libs (1.4.6-r0) (15/15) Purging xz-libs (5.8.1-r0) busybox-1.37.0-r24.trigger: Executing script... OK: 382 MiB in 151 packages >>> clingo: Updating the community/armv7 repository index... >>> clingo: Signing the index...