Processing control commands: > tags 963054 + pending Bug #963054 [src:gringo] Mark two more symbols as optional when building with -march=z13 on s390x Ignoring request to alter tags of bug #963054 to the same tags previously set > tags 1015422 + patch Bug #1015422 [src:gringo] gringo: ftbfs with LTO (link time optimization) enabled Ignoring request to alter tags of bug #1015422 to the same tags previously set > tags 1015422 + pending Bug #1015422 [src:gringo] gringo: ftbfs with LTO (link time optimization) enabled Ignoring request to alter tags of bug #1015422 to the same tags previously set > tags 1017161 + patch Bug #1017161 [src:gringo] gringo: FTBFS: catch.hpp:6415:41: error: array bound is not an integer constant before ‘]’ token Bug #1017319 [src:gringo] gringo: FTBFS: catch.hpp:6415:41: error: array bound is not an integer constant before ‘]’ token Ignoring request to alter tags of bug #1017161 to the same tags previously set Ignoring request to alter tags of bug #1017319 to the same tags previously set > tags 1017161 + pending Bug #1017161 [src:gringo] gringo: FTBFS: catch.hpp:6415:41: error: array bound is not an integer constant before ‘]’ token Bug #1017319 [src:gringo] gringo: FTBFS: catch.hpp:6415:41: error: array bound is not an integer constant before ‘]’ token Ignoring request to alter tags of bug #1017161 to the same tags previously set Ignoring request to alter tags of bug #1017319 to the same tags previously set > tags 1023682 + patch Bug #1023682 [src:gringo] gringo build depends on gcc-10 that should not be in bookworm Ignoring request to alter tags of bug #1023682 to the same tags previously set > tags 1023682 + pending Bug #1023682 [src:gringo] gringo build depends on gcc-10 that should not be in bookworm Ignoring request to alter tags of bug #1023682 to the same tags previously set
-- 1015422: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1015422 1017161: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1017161 1017319: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1017319 1023682: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1023682 963054: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=963054 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
