gringo 5.3.0-10 is marked for autoremoval from testing on 2020-04-09 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