opam is marked for autoremoval from testing

[Debian testing autoremoval watch]

opam 2.0.5-1 is marked for autoremoval from testing on 2020-04-04

It (build-)depends on packages with these RC bugs:
951707: gringo: gringo ftbfs with Python 3.8
951842: gringo: gringo needs a new upstream, and fixes for python3.8