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.
