Hi, Gringo has an RC bug which causes an FTBFS. While the package is fixed in Unstable, its migration to testing is blocked by python3.6 at the moment. I'd like to fix Gringo in testing to avoid removal of many OCaml packages from testing. The fix is pretty straightfotward as you can see here: https://salsa.debian.org/science-team/gringo/commit/1d04ff7026aa95cbd963cdd4e5fdd0d1606c08f0 May I proceed with the upload? Cheers, -- Mehdi