Le 27/01/2019 à 09:17, Lars Dölle a écrit : > I write to ask why coqide is not longer packaged and > whether the situation is intended to be permanent. This is due to the dependency on gtksourceview2, which is obsolete. Upstream is working on a switch to lablgtk3/gtksourceview3, so this is not permanent. Cheers, -- Stéphane