Bug#269927: coqide segfaults on startup

[Samuel Mimram <samuel.mimram@ens-lyon.org>]

Hello,

I just figured out that you do not have the last version of labgtk2.0-0 
(which is 2.4.9-1). Just in case, could you try to upgrade to the last 
version and check if this solves the problem?

Thanks,

Samuel.


Duraid Madina wrote:
> Package: coqide
> Version: 8.0pl1-3
> Severity: important

[...]

> ii  libgtk2.0-0                 2.4.4-2      The GTK+ graphical user interface