Processed: gringo: diff for NMU version 5.4.1-3.1

[Debian Bug Tracking System]

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 owner at bugs.debian.org with problems