Bug#269927: coqide segfaults on startup

[browaeys.alban@wanadoo.fr]

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 ?

Regards
Alban