Processed: adding fixes, package still doesn't build
Processing control commands: > tags -1 + patch Bug #1061316 [src:gringo] gringo ftbfs with Python 3.12 as the default Added tag(s) patch. -- 1061316: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1061316 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
Processed: adding fixes, package still doesn't build
Processing control commands: > tags -1 + patch Bug #1054688 [src:gringo] gringo: FTBFS: main.cc:2:10: fatal error: catch2/catch.hpp: No such file or directory Added tag(s) patch. -- 1054688: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1054688 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
