Bug#269927: coqide segfaults on startup

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

Tags: unreproducible

Hi,

browaeys.alban@wanadoo.fr wrote:
> Hi 
>
> This is a followup for bug :
> http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=269927
>
>
> > Samuel Mimram wrote:
> >
> > > 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?
> >
> > OK, I'll try that and let you know how it goes!
> >
> > Duraid
>
> Did you ever had an answer which was not forwarded to the bts ?
> Else may i tag this bug unreproducible or close it ?

No I did not get any reply.

I'm tagging this bug unreproducible. I've put Duraid in Cc of this mail. 
If I don't get any reply in a week or so I'll close this bug report.

Thanks for reminding this to me.

Regards,

Sam.