Processing commands for cont...@bugs.debian.org: > merge 1017161 1017319 Bug #1017161 [src:gringo] gringo: FTBFS: catch.hpp:6415:41: error: array bound is not an integer constant before ‘]’ token Bug #1017161 [src:gringo] gringo: FTBFS: catch.hpp:6415:41: error: array bound is not an integer constant before ‘]’ token Marked as found in versions gringo/5.4.1-3. Bug #1017319 [src:gringo] gringo: FTBFS: catch.hpp:6415:41: error: array bound is not an integer constant before ‘]’ token Merged 1017161 1017319 > thanks Stopping processing here.
Please contact me if you need assistance. -- 1017161: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1017161 1017319: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1017319 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
