Bug#920589: coqide is not longer packaged for amd64
Control: block -1 by 885677
On Sun, Jan 27, 2019 at 01:12:47PM +0100, Stéphane Glondu wrote:
> 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.
gtksourceview2 will be in buster, so for buster this caan be fixed
by reverting the removal.
> Cheers,
cu
Adrian
--
"Is there not promise of rain?" Ling Tan asked suddenly out
of the darkness. There had been need of rain for many days.
"Only a promise," Lao Er said.
Pearl S. Buck - Dragon Seed
Reply to: