ocaml-qcheck is marked for autoremoval from testing

[Debian testing autoremoval watch]

ocaml-qcheck 0.11-1 is marked for autoremoval from testing on 2020-04-09

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