Processed: brial: Patch to get the package back to building

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> user debian-python at lists.debian.org
Setting user to debian-python at lists.debian.org (was maxy at debian.org).
> usertags 1143644 python3.15
There were no usertags set.
Usertags are now: python3.15.
> tags 1143644 patch
Bug #1143644 [src:brial] brial: FTBFS: /usr/include/c++/16/bits/stl_numeric.h:168:29: error: no match for call to '(polybori::AddEliminationDegree<long unsigned int>) (std::remove_reference<long unsigned int&>::type, boost::iterators::detail::iterator_facade_base<polybori::CTermIter<polybori::CTermStack<polybori::CCuddNavigator, std::forward_iterator_tag, polybori::internal_tag>, polybori::CTermGenerator<int> >, int, std::forward_iterator_tag, int, long int, false, false>::reference)'
Added tag(s) patch.
> retitle 1143644 brial: FTBFS with GCC 16
Bug #1143644 [src:brial] brial: FTBFS: /usr/include/c++/16/bits/stl_numeric.h:168:29: error: no match for call to '(polybori::AddEliminationDegree<long unsigned int>) (std::remove_reference<long unsigned int&>::type, boost::iterators::detail::iterator_facade_base<polybori::CTermIter<polybori::CTermStack<polybori::CCuddNavigator, std::forward_iterator_tag, polybori::internal_tag>, polybori::CTermGenerator<int> >, int, std::forward_iterator_tag, int, long int, false, false>::reference)'
Changed Bug title to 'brial: FTBFS with GCC 16' from 'brial: FTBFS: /usr/include/c++/16/bits/stl_numeric.h:168:29: error: no match for call to '(polybori::AddEliminationDegree<long unsigned int>) (std::remove_reference<long unsigned int&>::type, boost::iterators::detail::iterator_facade_base<polybori::CTermIter<polybori::CTermStack<polybori::CCuddNavigator, std::forward_iterator_tag, polybori::internal_tag>, polybori::CTermGenerator<int> >, int, std::forward_iterator_tag, int, long int, false, false>::reference)''.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
1143644: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1143644
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems