gringo 5.3.0-10 is marked for autoremoval from testing on 2020-04-04 It is affected by these RC bugs: 951707: gringo: gringo ftbfs with Python 3.8 951842: gringo: gringo needs a new upstream, and fixes for python3.8
-- debian-science-maintainers mailing list debian-science-maintainers@alioth-lists.debian.net https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers