On Mon, Dec 30, 2019 at 08:00:12PM -0500, John Scott wrote: > Unfortunately CoqIDE wasn't rebuilt for Buster. CoqIDE 8.10 supports lablgtk3 though so it can be reintroduced Coq 8.10.2, with coqide enabled, was uploaded yesterday. It now has to go through the NEW queue since it includes a new binary package. -Ralf.