Bug#951707: gringo ftbfs with Python 3.8

Package: gringo Followup-For: Bug #951707 User: ubuntu-de...@lists.ubuntu.com Usertags: origin-ubuntu focal ubuntu-patch Please find attached a patch for this issue, which has been uploaded to Ubuntu. This debdiff also includes fixes to the packaging to cause it to use the default python3 at buil

Bug#951707: gringo ftbfs with Python 3.8

Package: src:gringo Version: 5.3.0-10 Severity: important Tags: sid bullseye User: debian-pyt...@lists.debian.org Usertags: python3.8 gringo ftbfs with Python 3.8: [...] packages/tmp/p/gringo-5.3.0/libclingo/clingo.hh:3871:32: warning: catching polymorphic type ‘struct Clingo::Control::ground(Cli